---

Geschrieben von tobilalala am 12.02.2011 um 08:25:

  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.

---

Geschrieben von test am 26.05.2011 um 19:23:

 

Man kann keine 2 Sachen in einem Schritt resolvieren