Die letzten 2 Beiträge |
Karlito |
Hallo,
du darfst immer nur eine Variable entfernen und du kannst die neu entstandenen Klauseln in die Resolution in den weiteren Schritten einbeziehen.
VG,
Karlito |
Rolf |
Resolution kurze Frage
Meine Frage:
Hi,
Ich sitze gerade an einer Resolutionsaufgabe.
! a || ! c || b
! a || ! b || ! c
! a || ! b || c
a || b || c
! a || ! b
! c || a || b
! b || ! c || a
! b || a || c
! a || b || c
!="-"
|| = oder
Meine Ideen:
Mein Problem ist ich kann ja nur immer eine Variable entfernen??
Ist das richtig?
Ich habe nur Klauseln die aus min. zwei Variablen bestehen.
Bei a || b || c und ! a || ! b bleibt c übrig aber jetzt bräuchte ich eine Klausel die aus nur einer Variable besteht. Da ich aber nur eine Klausel habe die aus zwei Variablen besteht bleibt immer was übrig und ich komme nie aus false?
Oder darf ich auch Klauselmengen benutzen die ich während des Vorganges Gebildet habe? |
|
|