Concurso:
PC-DF
Disciplina:
Raciocínio Lógico
Julgue o próximo item, relacionado à 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)]