1 卡诺图的组成

几何相邻： 左右上下相接。

逻辑相邻：两个最小项只有一个变量是不同的。

如何将函数化简为最简的与或非式时，可以采用合并0的方式，即且~Y的化简结果。

函数化简时，可以通过合并卡诺图中的1得到化简结果，也可以通过合并卡诺图中的0先求出~Y的化简结果，然后再对~Y求反得到Y。

消除1，实现与-或式；消除0，实现与-或-非式

2 约束项 无关项 任意项

约束项：输入不可能出现的值.

由于每一组输入变量的取值都使一个，而且仅有一个最小项的值为1。如果要限定某些输入变量的取值不能出现时，可以用它们对应最小项恒等于0来表示。

无关项：输入变量的某些取值下，函数值是1还是0都可以，并不会影响电路功能 （例如：优先译码器）