Non-Equivalence as Equivalence with Negation