///
Considere as proposições simples P, Q e R, em que P é verdadeira, Q é falsa e R é verdadeira. Um analista precisa avaliar a expressão composta
(¬Q ^ P) → (P ^ R)
dentro de uma rotina de verificação interna.
Substituindo P, Q e R pelos seus valores lógicos e considerando apenas as proposições simples P, Q e R, quantas delas são verdadeiras antes da avaliação do conectivo de implicação?