| 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 |
