Resolution

Neue Frage »

Auf diesen Beitrag antworten »
thanquol 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
 
Auf diesen Beitrag antworten »
?Oo?

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

Vertippt?
Auf diesen Beitrag antworten »
?Oo?

Ansonsten ist der Ansatz richtig
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »