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?