( ¬ ∧¬ ) ⇒ ¬