我想在一组约束中使用Gurobi通过Python API表达 if then else 语句，其中B和A是二元决策变量。
以下是我坚持的陈述：
如果（B [r，u，v，x，y]）则 A [r，u，x]或A [r，v，y]
其他当A [r，u，x] = 1且A [r，v，x]时，设置B [r，u，v，x，y] == 0的值
我知道如何将的第一部分表达为：
B [r，u，v，x，y]＆gt; = A [r，u，x]
B [r，u，v，x，y]＆gt; = A [r，v，u]
但不确定如何制定约束：当A [r，u，x]和A [r，v，y]设为1时，B [r，u，v，x，y]为0在其他部分。
由于