0:00
ExperteLogische ÄquivalenzÄquivalenzprüfung

Ist der folgende Ausdruck eine Tautologie (immer wahr)?

(A → B) ∨ (B → A)