⊤ ¬ φ ∨ ψ φ ∨ ¬ ψ ¬ (φ ∧ ψ) φ ∨ ψ φ (φ ∨ ψ) ∧¬ (φ ∧ ψ) ¬ ψ ψ (φ ∧ ψ) ∨¬ (φ ∨ ψ) ¬ φ φ ∧ ψ ¬ φ ∧ ψ φ ∧ ¬ ψ ¬ (φ ∨ ψ) ⊥