Wer mir nicht glaubt, wird ersucht, die Wahrheitstabelle von φ∨ψ und die von ¬(¬φ∧¬ψ) zu vergleichen oder die beiden Argumente φ ∨ ψ ⊢¬(¬φ ∧¬ψ) und ¬(¬φ ∧¬ψ) ⊢ φ ∨ ψ herzuleiten. Die Feststellung, dass diese beiden Argumente gültig sind, ist als Satz von De Morgan bekannt (nach dem englischen Mathematiker Augustus De Morgan, 1806-1871).