FB18 - Das Forum für Informatik

fb18.de / Bachelorstudieng / PM Formale Informatik

aufgabe 7.3

aufgabe 7.3 2007-05-20 19:34
Anonymer User
formelmenge:

{D=>(AvAvC),(C^D)=>(AvB),D,not((AvB)^D)}

klauselform:

{notD,A,B,C} {notC,notD,A,B} {D} {notA,notB,notD}

dann mit linearer resolution auf erfüllbarkeit prüfen.

da bekomme ich dann die klausel {notD} raus

stimmt das so oder mache ich was falsch?

RE: aufgabe 7.3 2007-05-20 19:55
Anonymer User
ich hab irgendwie die leere Menge raus…..also ist die Formel unerfüllbar oder????

RE: aufgabe 7.3 2007-05-20 20:19
Anonymer User
ich habe irgendwo einen fehler, weiss nich wo, kann mal jemand die richtige klauselmenge angeben bitte?

RE: aufgabe 7.3 2007-05-20 22:10
Jan
{notA,notB,notD}

Ist die Klausel hier nicht falsch?

Wenn man "not((AvB)^D)" hat, wird das mit de Morgan doch "(notA ^ notB) v notD".
Das ist zwar keine Klausel, aber ich wüsste nicht, wie man die umformen soll, so dass das obige herauskommt.

RE: aufgabe 7.3 2007-05-20 22:19
Anonymer User
{notA,notB,notD}

Ist die Klausel hier nicht falsch?

Wenn man "not((AvB)^D)" hat, wird das mit de Morgan doch "(notA ^ notB) v notD".
Das ist zwar keine Klausel, aber ich wüsste nicht, wie man die umformen soll, so dass das obige herauskommt.

wie bringe ich das dann in klauselform?

RE: aufgabe 7.3 2007-05-20 22:22
Jan
genau das ist grad mein problem

RE: aufgabe 7.3 2007-05-20 22:25
doodles
aus "(notA ^ notB) v notD" kann man doch wegen der Distributivität "(notA v notD) ^ (notB v notD)" machen

RE: aufgabe 7.3 2007-05-20 22:30
Jan
oh, danke! auf sowas naheliegendes komme ich natürlich wieder mal nicht.

RE: aufgabe 7.3 2007-05-20 22:40
Anonymer User
und ist die formel nun erfüllbar oder nicht….kriege eine leere menge raus…also unerfüllbar.

RE: aufgabe 7.3 2007-05-20 23:08
Anonymer User
ich bekomme am ende immernoch {notD} herraus. was mache ich falsch???

RE: aufgabe 7.3 2007-05-20 23:09
Anonymer User
ich bekomme am ende immernoch {notD} herraus. was mache ich falsch???


oh, neheme ich dann das notD mit dem D und bekomme die leere klausel? aber ist das dann noch linear?…