///
Julgue os próximos itens, relacionados à lógica proposicional, considerando os símbolos lógicos comuns e as letras maiúsculas como representativas de proposições simples.
A proposição lógica a seguir é uma tautologia.
~ (Q → P) ˅ [(~B) ˅ (~C)] ↔ ~[(B ˄ C) ˄ (Q → P)]