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