Theorem T000846

∧ ¬

The converse ( ∧ ¬ ) follows from these theorems:

Id If Then
T888
T776
T82
T704
T762 ¬
T63
T760