需要为以下条件编写一组线性方程组：
Need to write a set of linear equations for following condition:
我有三个变量：A、B、C。
我想写出一组线性方程使得
如果 A、B、C 中至少有 2 个是 1，则 X = 1。
如果 A,B,C 中只有一个为一，则 X= 0。
如果全部为零，则 X = 0。
A,B,C 为二进制 (0,1)。
请为此提出一个线性方程。
谢谢。
X >= A + B - 1
X >= B + C - 1
X >= A + C - 1
X <= A + B
X <= B + C
X <= A + C
如评论中所述，您没有为 A=B=C=0 定义结果，但在那种情况下，X -> 0 通过检查定义。
实施
A+B+C ≥ 2 => X=1
A+B+C ≤ 1 => X=0
我们可以简单的写成：
2X ≤ A+B+C ≤ 2X+1
A,B,C,X ∈ {0,1}
实际上，您可能必须将三明治方程表示为两个不等式。
我有三个变量：A、B、C。
我想写出一组线性方程使得
如果 A、B、C 中至少有 2 个是 1，则 X = 1。
如果 A,B,C 中只有一个为一，则 X= 0。
如果全部为零，则 X = 0。
A,B,C 为二进制 (0,1)。
请为此提出一个线性方程。
谢谢。
X >= A + B - 1
X >= B + C - 1
X >= A + C - 1
X <= A + B
X <= B + C
X <= A + C
如评论中所述，您没有为 A=B=C=0 定义结果，但在那种情况下，X -> 0 通过检查定义。
实施
A+B+C ≥ 2 => X=1
A+B+C ≤ 1 => X=0
我们可以简单的写成：
2X ≤ A+B+C ≤ 2X+1
A,B,C,X ∈ {0,1}
实际上，您可能必须将三明治方程表示为两个不等式。