Category:Non-Equivalence as Disjunction of Conjunctions