Com relação a lógica proposicional, julgue o item a seguir.

Uma tautologia é uma proposição composta em que seu valor lógico será sempre verdadeiro, independentemente do valor lógico das proposições que a estruturam. Nesse sentido, considerando-se p e q como proposições, a proposição composta !$ p \wedge q \leftrightarrow \, \sim \!(p \rightarrow \, \sim \!q) !$ é uma tautologia.