( ∧¬ ) ⇒

The converse ( ⇒ ( ∧¬ )) follows from
Id If Then
158 ¬
157