Duas proposições são logicamente equivalentes quando são compostas pelas mesmas proposições simples e suas tabelas-verdade são idênticas. Em consequência, ao trocar certa proposição por outra equivalente, muda-se apenas o modo de dizê-la. Em relação às proposições logicamente equivalentes, julgue o item a seguir.

A → B ⇔ ¬B ∨ A