( ∧¬ ∧¬ ) ⇒

The converse ( ⇒ ( ∧¬ ∧¬ )) does not hold, as witnessed by
Id Name
7
11