Klauselmenge erfüllbar und unerfüllbar |
15.04.2017, 10:27 | Haevelin | Auf diesen Beitrag antworten » |
Klauselmenge erfüllbar und unerfüllbar a) Kann eine erfüllbare Klauselmenge unerfüllbar werden, wenn man eine Klausel hinzunimmt? Meine Antwort: ja; Bsp: Nimm zu {A,B}, {!A} noch {!B} hinzu b) Kann eine erfüllbare Klauselmenge unerfüllbar werden, wenn man eine Klausel entfernt? Meine Antwort: Nein; der Ableitungsbaum verkürzt sich um die Tiefe 1 aber dort taucht nach Definition die leere Formel nicht auf. c) Kann eine unerfüllbare Klauselmenge erfüllbar werden, wenn man eine Klausel hinzufügt? Meine Antwort: Nein; eine Teilmenge der Klauselmenge erzeugt schon die leere Formel d) Kann eine unerfüllbare Klauselmenge erfüllbar werden, wenn man eine Klausel entfernt? Meine Antwort: Ja; {A},{!A} ist unerfüllbar, aber {A} ist erfüllbar. |
||
15.04.2017, 11:34 | IfindU | Auf diesen Beitrag antworten » |
RE: Klauselmenge erfüllbar und unerfüllbar Stimmt |
|
Verwandte Themen
Die Beliebtesten » |
Die Größten » |
Die Neuesten » |