Theorem T000819

∧ ¬ ∧ ¬ ⇒