n变量不被化简：含有的最多的乘积项为2^(n-1),如两变量的最多有2个，三变量最多有4个，四变量最多有8个乘积项而不被化简。
无关项加入到化简中，有利于我们化简。就是因为乘积项增加，有利于化简。
无关项分为两类：①约束项：取值受到限制，不可能出现，和这些取值对应的最小项就称为约束项。
在逻辑函数中，对输入变量取值的限制，在这些取值下为1的最小项称为约束项
，所以约束项也是结果为1时的最小项。
②任意项：
无关项在化简逻辑函数中的应用 (dzkfw.com.cn)
1、逻辑变量之间的约束关系称为约束，即把不允许出现的对应组合对应的最小项称为约束项，约束项在不同的情况下用不同的字母来表示，在与或表达式当中用d来表示，在或与表达式当中用D来表示；
2、逻辑函数中，对应于变量的某些取值，函数的值可以是任意的，也就是说不影响函数值的输入，这些变量的取值对应的最小项称为任意项，任意项在用卡诺图设计电路非常有用，由于该项可以取1，也可以取0；
3、逻辑函数中，无关项是任意项和约束项的统称,是指在变量的某些取值下，函数的值是任意的，或者这些取值根本不会出现，这些变量取值所对应的最小项。在表达式中“无关项”用“d”表示，在真值表或卡诺图中用“×”号或“Φ”表示。
