Klausurtext im PDF-Format - Fachgebiet Theoretische Informatik ...
Klausurtext im PDF-Format - Fachgebiet Theoretische Informatik ...
Klausurtext im PDF-Format - Fachgebiet Theoretische Informatik ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
AUFGABE 1.<br />
a) Zeigen Sie mittels Äquivalenzumformungen, dass die Formeln<br />
G = ((A ∧ ¬D) ∧ ((¬A ∧ ¬B) ∨ ¬(A → ¬C))) und<br />
H = (A ∧ (((¬D ∧ (¬A ∨ C)) ∧ (¬B ∨ A)) ∧ (¬B ∨ C)))<br />
semantisch äquivalent sind. Begründen Sie jeden Ihrer Umformungsschritte!<br />
(b) Geben Sie an, warum die Formel H aus Teilaufgabe a) eine Hornformel ist. Wenden<br />
Sie den Markierungsalgorithmus auf H an. Ist H erfüllbar Falls ja, geben<br />
Sie die vom Algorithmus konstruierte erfüllende Belegung an.<br />
1