Non-Equivalence as Disjunction of Conjunctions