( ¬ ∧¬ ) ⇒ ¬

The converse ( ¬ ⇒ ( ¬ ∧¬ )) follows from
Id If Then
139
68