Category:Non-Equivalence as Disjunction of Negated Implications