很显然以 $x_i \ge j$ 这个条件的成立性作为 2 - SAT 的元素，但是当你真正去写时，你会发现你再接一个二元一次方程，但是二元一次方程的解算不出具体值。