(ψ1 ∧ ψ2) durch (¬ψ1 ∨ ¬ψ2)

(ψ1 ∧ ψ2) durch (¬ψ1 ∨ ¬ψ2)