Texto associado
Legenda para os símbolos lógicos:
- v 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 somente se).
A classificação do resultado da tabela-verdade associada à fórmula
é: