Julgue o item a seguir, considerando que as proposições lógicas simples sejam representadas por letras maiúsculas e utilizem como conectivos lógicos os símbolos ˄ (conjunção), ˅ (disjunção), ⇒ (condicional) e ⇔ (bicondicional). 

A expressão (Q˄(P ⇒ Q)) ⇒ P˅Q é uma tautologia.