Folienskript zur Aussagenlogik (pdf)
Folienskript zur Aussagenlogik (pdf)
Folienskript zur Aussagenlogik (pdf)
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Normalformen (2)<br />
Kanonische Disjunktive Normalform (KDNF): Formel ist eine Disjunktion von Vollkonjunktionen<br />
von Literalen<br />
Formal: ∨ n<br />
i=1 (∧ m<br />
j=1 L i,j)<br />
Beispiel: ((p ∧ q) ∨ (p ∧ ¬q) ∨ (¬p ∧ q)) ist in KDNF, wenn die Menge der Aussagenvariablen<br />
{p, q} ist.<br />
Formeln in KNF oder DNF kann man auch als Mengen von Mengen von Literalen<br />
notieren.<br />
Beispiel:<br />
wird zu<br />
((p ∧ q) ∨ (p ∧ ¬q) ∨ (¬p ∧ q))<br />
{{p, q}, {p, ¬q}, {¬p, q}}<br />
21