Category:Non-Equivalence as Conjunction of Disjunction with Negation of Conjunction