Ist der folgende Ausdruck erfüllbar?
(A ∨ B) ∧ (¬A ∨ B) ∧ (A ∨ ¬B) ∧ (¬A ∨ ¬B)
Die Leitfäden, die erklären, was diese Übung anwendet.
