0:00
ExpertLogisk EkvivalensEkvivalenskontroll

Är följande uttryck en tautologi (alltid sant)?

(A → B) ∨ (B → A)