---

Geschrieben von CharlieLB am 23.06.2013 um 06:34:

  DNF/KNF mit Implikation aus Wahrheitstafel

Meine Frage:
Hallihallo.

Ich muss in der Uni eine DNF und KNF aus einem gegebenen ausdruck erstellen. wie das geht weiß ich. ich frage mich nur, ob es möglich ist, das auch aus einer wahrheitstabelle abzulesen, wenn im Ausdruck Implikationen gegeben sind.

Meine Ideen:
Wenn im Anfangausdruck z.B. A XOR B steht, kann man einfach eine wahrheitstabelle erstellen und die lösungen ablesen.

ist das auch für A -> B möglich oder MUSS man die formel auf jeden fall umwandeln?

gruß

---

Geschrieben von Karlito am 23.06.2013 um 12:26:

 

Hallo,

ich verstehe dein Problem nicht. Wenn es bei XOR aus der Wahrheitstabelle ablesbar ist, warum soll es dann bei einer Implikation nicht ablesbar sein? Das Verfahren ist das selbe. Du musst nur wissen wie die Wahrheitstabelle der Implikation aussieht. Die Umwandlung ist eine Äquivalente Umformung. D.h. die Terme besitzen genau die selbe Wahrheitstabelle.

VG,

Karlito