How can not-equals be expressed as an inequality for a linear programming model I have this linear programming model I'm building but one of the constraints needs to specify that the solution's basic variables need to all be different from one another.  This is an integer linear program.
How can we rewrite, for example, this constraint:
$x_1 <> x_2$
using strictly the inequality operators which LP constraints require?
An obvious first step is to rewrite it and begin to simplify the expression as follows.
$(x_1 \le x_2)$ AND $(x_1 \ge x_2)$: This says $x_1 = x_2$ using the inequality operators
NOT $((x_1 \le x_2)$ AND $(x_1 \ge x_2))$: Simply negate the above to get $x_1 <> x_2$
Now you might say I can stop here but that outer NOT is a problem.  To write two separate constraints in an LP you have to get rid of that outer NOT operator.  The AND operator is automatically implied to join all the constraints in an LP (ie., constraint $A$ AND constraint $B$ AND constraint $C$ must all be satisfied in the feasible solutions.)
To get rid of the outer NOT operator we can use DeMorgan's Theorem but then we are stuck with an OR operator.   We prefer AND operators to join our constraints. Here is DMT's effect on our expression:
NOT $(x_1 \le x_2)$ OR NOT $(x_1 \ge x_2)$: DMT
$(x_1 > x_2)$ OR $(x_1 < x_2)$: Simplifying
This is now in the form
$A$ OR $B$
which is nice except like I said that "OR" operator is a pain in the neck, since for our constraints we need something in the form
$A$ AND $B$
How can a "not equals" inequality be transformed to be suitable for use in linear programs?
Is there such a transformation possible?
Thanks for reading.

Suppose $x_1,x_2$ could take only the three values $0,1,2$. Take the integer lattice and put a dot for each allowable combination. The relevant $3\times 3$ square will look like this ($1$ means dot, $0$ means no dot):
$$\begin{align*} &011 \\ &101 \\ &110 \end{align*}$$
Notice the "no dot" in the middle. Now take your IP and extend it to an LP. The feasible region must be convex. But there is no convex region in $\mathbb{R}^2$ that contains the $1$s above but not the $0$ in the center, since the $0$ is in the convex hull of the $1$s.
