Allgemeingültigkeit einer Formel durch Resolution |
12.02.2011, 08:25 | Auf diesen Beitrag antworten » |
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. |
|
|
26.05.2011, 19:23 | Auf diesen Beitrag antworten » |
test | Man kann keine 2 Sachen in einem Schritt resolvieren |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|