| tobilalala |
Allgemeingültigkeit einer Formel durch Resolution
Meine Frage:
Hallo zusammen,
folgende Frage: Weisen sie mittels Resolutionsmethode die Allgemeingültigkeit der Formel nach:
F=(X^Y)v(¬X^¬Y^Z)v(¬X^¬Z)v(Y^Z)v(X^¬Y)
Meine Ideen:
Meine bisherige Lösung sieht wie folgt aus.
F negieren und auf Unerfüllbarkeit prüfen. Folgende Klauseln:
{¬X,¬Y}{X,Y,¬Z}{X,Z}{¬Y,¬Z}{¬X,Y}.
Ich komme auch auf die leereMenge, aber ich muss dazu ?Z und ?Z miteinander resolvieren. (Da nur 3 Literale mit Z vorhanden).
Erste Frage: Darf ich das?? Zweite Frage: Kann ich bspw. (?X,?Y) mit (X,Y) zu () in einem Schritt resolvieren?
Vielen Dank. |
