Vereinfachen Sie den folgenden Ausdruck:
¬(A ∧ ¬B) ∧ ¬(¬A ∨ B)
Die Leitfäden, die erklären, was diese Übung anwendet.
