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 » |