Considere os conectivos lógicos usuais e assuma que as letras maiúsculas representam proposições lógicas simples. Com base nessas informações, julgue o item seguinte relativo à lógica proposicional.

A proposição lógica (P ⇒ Q) ⇔ ((∿P) ∨ Q) é uma tautologia.