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 ∨ C )