---

Geschrieben von Rolf am 11.12.2011 um 09:23:

  Resolution kurze Frage

Meine Frage:
Hi,

Ich sitze gerade an einer Resolutionsaufgabe.
! a || ! c || b
! a || ! b || ! c
! a || ! b || c
a || b || c
! a || ! b
! c || a || b
! b || ! c || a
! b || a || c
! a || b || c

!="-"
|| = oder




Meine Ideen:

Mein Problem ist ich kann ja nur immer eine Variable entfernen??
Ist das richtig?

Ich habe nur Klauseln die aus min. zwei Variablen bestehen.
Bei a || b || c und ! a || ! b bleibt c übrig aber jetzt bräuchte ich eine Klausel die aus nur einer Variable besteht. Da ich aber nur eine Klausel habe die aus zwei Variablen besteht bleibt immer was übrig und ich komme nie aus false?
Oder darf ich auch Klauselmengen benutzen die ich während des Vorganges Gebildet habe?

---

Geschrieben von Karlito am 12.12.2011 um 14:53:

 

Hallo,

du darfst immer nur eine Variable entfernen und du kannst die neu entstandenen Klauseln in die Resolution in den weiteren Schritten einbeziehen.

VG,

Karlito