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 ∧ C ) !$ \Leftrightarrow !$ (A ∧ B ) ∨ (B ∧ C )