Haevelin
Tripel-As
Dabei seit: 04.06.2013
Beiträge: 221
|
|
aussagenlogische Resolution |
|
Was ergibt die aussagenlogische Resolution der Klauseln {A,B} und {!A,!B}. Ich habe zunächst an die leere Menge gedacht, aber dann in einem Skript gefunden, dass das nicht die Lösung ist. Warum nicht?
|
|