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).