Min. bzw. Maxterme (Aussagenlogik)

Thread View: fido.ger.informatik

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Hans - Peter kr�ger Wed, 27 Dec 2000 18:59

#88

Author: Hans - Peter kr�ger
Date: Wed, 27 Dec 2000 18:59

20 lines
1757 bytes

howdy,

ich hab gerade erst mit dem Informatikstudium angefangen, und h�tte da eine
Frage zu dem eigentlich recht einfachen Thema Aussagenlogik.
Und zwar geht es um Min. bzw. Maxterme.
Soweit ich das verstanden habe sind diese Begriffe eng mit der kanonischen
KNF bzw. DNF verbunden.
Jede beliebige Aussagenformel kann in eine kanonische KNF umgewandelt
werden, und somit kann relativ einfach eine Wahrheitstafel aufgestellt
werden.
Tja, ich wei� aber einfach nicht so recht wie da jetzt die Min. bzw.
Maxterme reinpassen.
Hat dieses Thema auch irgendeine praktische Relevanz ? z.B. in der
Schaltalgebra ?

T�te mich freuen, wenn jemand was dazu sagen k�nnte.
Mein Script hilft mir da n�mlich nicht besonders weiter.

MfG
hp

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads