( ∧¬ ) ⇒