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.
Das Ergebnis unserer Umformung (die Hauptformel) lautet:<br />
(R 1 ∧ (¬R 1 ∨ ¬G ∨ R 2 ) ∧ (¬R 1 ∨ ¬R 2 ∨ G) ∧<br />
(G ∨ R 2 ∨ R 1 ) ∧ (¬R 2 ∨ ¬G ∨ R 1 ) ∧<br />
(¬R 2 ∨ ¬H ∨ I) ∧ (¬R 2 ∨ ¬I ∨ H) ∧<br />
(H ∨ I ∨ R 2 ) ∧ (¬I ∨ ¬H ∨ R 2 ))<br />
Die Liste ist leer, das Verfahren hat terminiert.<br />
29