GAMS二元变量逻辑决策

Question

我的GAMS建模出现问题（线性问题，不允许二进制变量相乘）。 我想拥有三个二进制变量，其中第一个值取决于其他两个。

值表如下（v1 = x，如果（v2 = y 和 v3 = z））

 V1 | V2 | V3
----+----+----
  1 |  1 |  1
  0 |  1 |  0
  0 |  0 |  1
  0 |  0 |  0

因此，只有当v2和v3均为1时，v1才为1。如何将这种行为转化为v1，v2和v3是二进制变量的游戏方程式？

预先感谢

塞巴斯蒂安

Answer 1

以下三个等式一起可以解决问题：

e1.. v1 =g= v2 + v3 - 1;
e2.. v1 =l= v2;
e3.. v1 =l= v3;