卡诺图化简法

知识点

最小项的定义：一个函数的某个乘积项包含了函数的全部变量，其中每个变量都以原变量或反变量的形式出现，且仅出现一次，则这个乘积项称为该函数的一个标准积项，通常称为最小项。

最小项的表示方法：通常用来表示最小项。
下标i的确定方式：把最小项中原变量记为1，反变量记为0，当变量顺序确定后，可以按顺序排列成一个二进制数，则与这个二进制数相对应的十进制数，就是这个最小项的下标i。

最小项的的相邻性：任何两个最小项如果他们只有一个因子不同，其余因子都相同，则称这两个最小项为相邻最小项。

例如：m0和m1具有相邻性，m1和m2却没有，因为他们有两个不同的因子；m3和m4也不相邻，但是m3和m2相邻。

相邻的两个最小项之和可以合并一项，消去一个变量。如：

卡诺图（karnaugh map）

1. 卡诺图是由美国工程师卡诺（Karnaugh）首先提出的一种用来描述逻辑函数的特殊方格图。

2. 在这个方格图中，每一个方格代表逻辑函数的一个最小项，而且几何相邻（在几何位置上，上下或左右相邻）的小方格具有逻辑相邻性，即两相邻小方格所代表的最小项只有一个变量取值不同。

3. 对于有n个变量的逻辑函数，其最小项有2ⁿ 个。因此该逻辑函数的卡诺图由 2ⁿ 个小方格构成，每个小方格都满足逻辑相邻项的要求。

卡诺图化简法

卡诺图相邻性的特点保证了几何相邻两方格所代表的最小项只有一个变量不同。因此，若相邻的方格都为1（简称1格）时，则对应的最小项就可以合并。合并的结果是消去这个不同的变量，只保留相同的变量。这是图形化简法的依据。

综上所述，卡诺图具备以下特性：

• 卡诺图中两个相邻1格的最小项可以合并成一个与项，并消去一个变量。
• 卡诺图中四个相邻1格的最小项可以合并成一个与项，并消去两个变量。
• 卡诺图中八个相邻1格的最小项可以合并成一个与项，并消去三个变量。

首先，有这么几点需要明确：

1. 列出逻辑函数的最小项表达式，由最小项表达式确定变量的个数（如果最小项中缺少变量，应按例的方法补齐）。
2. 画出最小项表达式对应的卡诺图。
3. 将卡诺图中的1格画圈，一个也不能漏圈，否则最后得到的表达式就会与所给函数不等；1格允许被一个以上的圈所包围。
4. 圈的个数应尽可能得少。即在保证1格一个也不漏圈的前提下，圈的个数越少越好。因为一个圈和一个与项相对应，圈数越少，与或表达式的与项就越少。
5. 按照2k个方格来组合（即圈内的1格数必须为1，2，4，8等），圈的面积越大越好。因为圈越大，可消去的变量就越多，与项中的变量就越少。
6. 每个圈应至少包含一个新的1格，否则这个圈是多余的。
7. 用卡诺图化简所得到的最简与或式不是唯一的。