Resolution kurze Frage

Neue Frage »

Auf diesen Beitrag antworten »
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?
 
Auf diesen Beitrag antworten »
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
 
Neue Frage »
Antworten »


Verwandte Themen

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