Theorem T000247

∧ ⇒ ¬