von knf zu dnf |
06.11.2004, 22:11 | dlDaniel | Auf diesen Beitrag antworten » |
von knf zu dnf ich habe folgendes problem, und zwar sollen wir für logik 2 formeln in knf und dnf darstellen. knf ist kein problem, aber wie komme ich zur dnf? hier mal die eine der formeln: (! = nicht, /\ = und, \/ = oder) F = !( !A /\ B) /\ ((A \/ !C) /\ B) KNF: (A \/ !B) /\ (!A \/ B) /\ (C \/ B) und bei der DNF bin ich bisher soweit gekommen: !( (!A /\ B) \/ (B /\ A) \/ (B /\ !C) ) aber da stört ja das ! ganz am anfang... wie kriege ich das weg? bei der 2. aufgabe stecke ich beim selben problem, das ! am anfang nervt danke, daniel |
||
30.11.2006, 23:50 | drdreii | Auf diesen Beitrag antworten » |
am einfachsten ist es, du machst eine wertetabelle, und schreibst die formeln in knf und dnf einfach ab. ich hoffe du weißt, wie das geht. |
||
01.12.2006, 00:03 | kiste | Auf diesen Beitrag antworten » |
die wahrheitstabelle wäre eine möglichkeit aber bei einer Funktion höherer Arität undenkbar. Wende mehrmals das Distributivgesetz auf die KNF an: (A \/ B) /\ C = (A /\ C) \/ (B /\ C) solange bis alle Disjunktionen vor den Konjunktionen kommen Oder falls du es mit dem ! machen willst benutze die De Morgansche Gesetze |
|