( ∧ ∧ ) ⇒ ¬