Theorem T000642

¬ ∧ ∧ ¬ ⇒ ¬

The converse ( ¬ ⇒ ¬ ∧ ∧ ¬ ) does not hold, as witnessed by these counterexamples:

Id Name
S95
S139
, ,
S198