///
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 é: