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