Legenda para os símbolos lógicos:
• Δ Representa a disjunção exclusiva (ou...ou).
• ∨ Representa a disjunção inclusiva (ou).
• ∧ Representa a conjunção (e).
• ~ Representa a negação.
• → Representa o condicional (se...então).
• ↔ Representa o bicondicional (se e somentese).
Considere que o início da tabela-verdade da fórmula (P ∨ ~ Q → ~ P ∧ Q) é:
A alternativa correta para as respectivas linhas da avaliação do último conetivo dessa fórmula é:
