Theorem T000088

∧ ⇒ ¬