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.