2.2　逻辑运算与建模

逻辑运算又叫布尔运算，是指用数学的方法研究逻辑问题。逻辑运算的操作符叫作逻辑运算符。常见的逻辑运算符有：非（¬）、与（∧）、或（∨）和异或（⊕）等。一般情况下，逻辑运算可以等价地转换为数学模型。本节重点介绍以上逻辑运算的建模方法。为方便验证，我们提供了相应的Python调用COPT和Gurobi的验证代码。注意，若阅读本章中涉及的演示代码有困难，可先学习本书第III部分和第IV部分。