考察将业务逻辑转化为线性约束的能力。
题目要求：A和B互斥，或者都不用。
可能的组合是：(A=1, B=0), (A=0, B=1), (A=0, B=0)。
A选项 (=1) 强制必须选一个，排除了两者都关闭的情况。
B选项 (≥1) 强制至少选一个，且允许两者都选（如果变量非0/1），但在0/1规划下是“或”逻辑。
C选项 (≤1) 允许 (1,0), (0,1), (0,0)，但不允许 (1,1)，符合题目描述。
D选项是非线性约束，虽然逻辑对，但在MILP标准形式中是不允许的（需要线性化）。
