0:00
EspertoEquivalenza LogicaControllo di Equivalenza

La seguente espressione è una tautologia (sempre vera)?

(A → B) ∨ (B → A)