卡诺图化简中为什么有那些规则

卡诺图的一般化简我们都知道：

我们再看看约束项和任意项在化简中的利用：

任意项由于取值是任意的，所以我们可以认为这一项的值是1，当然可以参与化简。

再看约束项：

上图中的约束条件中的7项由于总和为0.所以将其添加在Y的后面，Y的取值不变：

因此约束项也可以参与卡诺图的化简。

卡诺图化简的原则：

下面解释上述规则的原因：

比如例2中，圈的面积不够大，导致两种化简方法的结果不一样，但是，我们在细看一下，错误方法得到的结果，通过利用

A=A+AB

A+A'B=A+AB+A'B=A+B

上面吸收律公式，可以看出错误方法得出的表达式和正确方法得出的表达式其实是一样的，但错误方法错误的地方就在于，其得出的逻辑表达式不是最简的。例题1的情况也是一样的。

例题3是圈的面积不够大；例题4是因为有一个圈没有一个新的1格子，从而导致化简的结果多出了一项，但也可以通过逻辑表达式化简的方法消除。

同时，我们注意到：

结果不唯一。

所以，

1：卡诺图化简过程中使用的各种方法和规则，其目的只有一个，那就是为了保证化简后得到的逻辑表达式是最简的。

2：卡诺图的化简和逻辑表达式的化简其实是一致的，只不过卡诺图提供了一种直观的图形形式便于观察而已。