Considerando os símbolos lógicos usuais e as representações das proposições lógicas por meio de letras maiúsculas, julgue o item seguinte, relacionado à lógica proposicional.

A proposição !$ [ ( P \wedge Q) \vee R] \vee Q \Leftrightarrow [P \vee R \vee Q] \wedge ( R \vee Q) !$ é uma tautologia.