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?