Theorem T000208

∧ ⇒ ¬