( ∧ ) ⇒ ¬