数学建模与数学规划：方法、案例及编程实战（Python+COPT/Gurobi实现）
上QQ阅读APP看本书，新人免费读10天
设备和账号都新为新人
上一章目录下一章

2.2.1　逻辑非

命题P的否定为¬P。逻辑非的建模非常简单，引入0-1变量x和y，分别表示P和¬P的真值，二者的关系如下：

x=1-y

上一章目录下一章