( ∧¬ ∧¬ ) ⇒