Python 如何将逻辑约束转换为一组线性（整数）约束？

我在论文中使用python Palm来解决一个线性整数规划问题，但论文中的一些约束是逻辑约束，例如逻辑或运算符

和逻辑和运算符

---

我想一旦你知道如何建模

z=x∧ y和z=x∨ y

（x、y、z都是二进制变量）您可以开始了

z=x∧ y

可以建模为：

   z ≤ x
   z ≤ y
   z ≥ x + y - 1

z=x∨ y

是

   z ≥ x
   z ≥ y
   z ≤ x + y 

---

编辑你的帖子，让它有一些问题并且更具体。谢谢你的回复，这对我很有帮助。