( ∧ ) ⇒ ¬

The converse ( ¬ ⇒ ( ∧ )) follows from
Id If Then
249 ¬
248 ¬