Theorem T000642

¬ ∧ ¬ ⇒ ¬

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

Id Name
S62
S63
S198