Theorem T000088

∧ ⇒ ¬

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

Id Name
S39
S40
S41
,
S56
S113
S114
S116
S119
S140
S192
S206