几何相邻： 左右上下相接。
逻辑相邻：两个最小项只有一个变量是不同的。
如何将函数化简为最简的与或非式时，可以采用合并0的方式，即且~y的化简结果。
函数化简时，可以通过合并卡诺图中的1得到化简结果，也可以通过合并卡诺图中的0先求出~y的化简结果，然后再对~y求反得到y。
消除1，实现与-或式；消除0，实现与-或-非式
约束项：输入不可能出现的值.
由于每一组输入变量的取值都使一个，而且仅有一个最小项的值为1。如果要限定某些输入变量的取值不能出现时，可以用它们对应最小项恒等于0来表示。
无关项：输入变量的某些取值下，函数值是1还是0都可以，并不会影响电路功能 （例如：优先译码器）