---

Geschrieben von thanquol am 26.05.2011 um 07:59:

  Resolution

Hi

Könnte mir vllt bitte jemand bei dem Beispiel helfen:
W={[a,-b,-c],[c,-b,-d],[b,-d],[d]}

Aufgabe: Gilt der Zusammengang W|=a^b ?


Ich habe die Anfrage a^b (ergibt [-a,-d]) negiert und zur WB hinzugefügt.
Somit erhalte ich folgende Klauseln:
{[b,-d],[c,-b,-d],[d],[a,-b,-c],[-a,-d]}

[-a,-d] und [d] ergibt:
[-a] und [a,-b,-c] ergibt:
[-b,-c] und [c,-b,-d] ergibt:
[-b,-d] und [b,-d] erbit:
[-d] und [d] ergibt:
leere Klausel

-> Zusammenhang gilt

Stimmt das so?
Danke,
lg

---

Geschrieben von ?Oo? am 27.05.2011 um 17:32:

 

-(a ^ b) != -a v -d

Vertippt?

---

Geschrieben von ?Oo? am 27.05.2011 um 17:34:

 

Ansonsten ist der Ansatz richtig