[Logik] Resolution

17.05.2014, 17:09	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")?

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »