A fórmula ~ P → Q ↔ (P ∧ ~ Q) é:
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).