von knf zu dnf

Neue Frage »

dlDaniel Auf diesen Beitrag antworten »
von knf zu dnf
hi
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
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.
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
Neue Frage »
Antworten »



Verwandte Themen