Ist der folgende Ausdruck eine Tautologie (immer wahr)?
(A → B) ∨ (B → A)
Die Leitfäden, die erklären, was diese Übung anwendet.