Theorem T000685

∧ ∧ ⇒ ¬