Aufgabe:
1. ( B V F)
2. ( -B V -F V E )
3. ( -E V -F ) ∧ ( B V -F )
Problem/Ansatz:
Sind die Aussagen konsistent miteinander?
Sorry! Ich habe falsch geschreiben. Jetzt ist die Frage korrekt.
Und ich brauche eine Lösung mit Einheitsresoluiton. Ich habe etwas gefunden aber bin nicht sicher.
Nimm an B und -F seien wahr. Dann sind alle Aussagen wahr.
Sorry! Ich habe falsch geschreiben. Jetzt ist die Frage korrekt.Und ich brauche eine Lösung mit Einheitsresoluiton. Ich habe etwas gefunden aber bin nicht sicher.
