But we can't do transformations with antiequations such as with equations. For example, let we have a system:

x1 != 0 (mod 3)

x2 != 2 (mod 3).

It has a solution (2; 0)

If we add the antiequations, we'll get this one:

x1+x2 != 2 (mod 3), but it's wrong for solution (2; 0) of the system!

Am I right?

*Edited by author 29.03.2011 00:53*