0:00
EkspertLogisk ÆkvivalensÆkvivalenscheck

Er følgende udtryk en tautologi (altid sand)?

(A → B) ∨ (B → A)