[Logik] Resolution

Neue Frage »

Torin Auf diesen Beitrag antworten »
[Logik] Resolution
Wie hatten als Aufgabe zu zeigen, dass die Formel in der ersten Zeile (zwischen den Klammern ist immer ein UND) unerfüllbar ist.

Ist die Resolution, die ich durchgeführt habe korrekt (d.h. darf man einzelne Klauseln zweimal "verwenden")?
Neue Frage »
Antworten »



Verwandte Themen

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