Resolution |
26.05.2011, 07:59 | 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 |
|
|
27.05.2011, 17:32 | Auf diesen Beitrag antworten » |
?Oo? | -(a ^ b) != -a v -d Vertippt? |
27.05.2011, 17:34 | Auf diesen Beitrag antworten » |
?Oo? | Ansonsten ist der Ansatz richtig |
|
Verwandte Themen
Die Beliebtesten » |
Die Größten » |
Die Neuesten » |
|