tobilalala
unregistriert
 |
|
| 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.
|
|
12.02.2011 08:25 |
|
|
