卡诺图化简时的一般原则和规律：
1. 只能对
个相邻方格实施包围，包围圈越大，式子越简；
. 2 . 小方格可以重复包围，但每一包围必须含有一个未被包围过的方格，否则多余；
3. 包围“1”格得原函数，包围“0”格得反函数，经二次求反后分别可用“与非”逻辑和“或非”逻辑实现。
四、具有约束条件的逻辑函数的化简
1.什么样的逻辑函数称为具有约束的逻辑函数?
在许多逻辑问题中，逻辑变量与逻辑结果之间存在着某种限制、制约和约束的关系，如十字路口交通信号控制灯和汽车通行之间的关系。在任何时间，红、绿、黄三只灯中只允许有一只灯亮，而不允许同时有二只或以上的灯亮，来控制指挥汽车通行、停止和准备。令灯暗为“0”，亮为“1”，车停为“1”，行为“0”。“×”为不允许出现(受制约的)灯亮组合，则有如下真值表。A－红，B－绿，C－黄时真值表：从表看出：输入变量的
组合是不允许出现的，是制约关系，这些项的取值与函数的结果无关。所以，这些项称为无关项、约束项，或是任意项等。
2.具有约束条件的逻辑函数的表示方法
具有约束条件的逻辑函数，用最小项和约束项一起表示出来。
约束条件：
或
。
3.如何简化具有约束的逻辑函数
由于约束项的存在与函数的结果无关，因此，在化简时，约束项的取值可以当作“1”，也可以当作“0”处理，在卡诺图中用符号“×”表示，以表示和其它最小项区别。
