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