卡诺图的化简函数
1．几个定义
蕴涵项：在函数的“与-或”表达式中,每个“与”项被称为该函数的蕴涵项(Implicant)。
显然，在函数卡诺图中，任何一个1方格所对应的最小项或者卡诺圈中的2m个1方格所对应的“与”项都是函数的蕴涵项。
质蕴涵项：若函数的一个蕴涵项不是该函数中其他蕴涵项的子集，则此蕴涵项称为质蕴涵项(Prime Implicant)，简称为质项。
显然，在函数卡诺图中，按照最小项合并规律，如果某个卡诺圈不可能被其他更大的卡诺圈包含，那么，该卡诺圈所对应的“与”项为质蕴涵项。
必要质蕴涵项：若函数的一个质蕴涵项包含有不被函数的其他任何质蕴涵项所包含的最小项，则此质蕴涵项被称为必要质蕴涵项(Essential Prime Implicant)，简称为必要质项。
在函数卡诺图中，若某个卡诺圈包含了不可能被任何其他卡诺圈包含的1方格，那么，该卡诺圈所对应的“与”项为必要质蕴涵项。
2．求函数最简“与-或”表达式
（1）一般步骤： 第一步：作出函数的卡诺图。
第二步：在卡诺图上圈出函数的全部质蕴涵项。按照卡诺图上最小项的合并规律，对函数F卡诺图中的1方格画卡诺圈。为了圈出全部质蕴涵项，画卡诺圈时在满足合并规律的前题下应尽可能大，若卡诺圈不可能被更大的卡诺圈包围，则对应的“与”项为质蕴涵项。
第三步：从全部质蕴涵项中找出所有必要质蕴涵项。在卡诺图上只被一个卡诺圈包围的最小项被称为必要最小项，包含必要最小项的质蕴涵项即必要质蕴涵项。为了保证所得结果无一遗漏地覆盖函数的所有最小项，函数表达式中必须包含所有必要质蕴涵项。
第四步：求出函数的最简质蕴涵项集。若函数的所有必要质蕴涵项尚不能覆盖卡诺图上的所有1方格，则从剩余质蕴涵项中找出最简的所需质蕴涵项，使它和必要质蕴涵项一起构成函数的最小覆盖。
归纳起来，卡诺图化简的原则是：
☆ 在覆盖函数中的所有最小项的前提下，卡诺圈的个数达到最少。
☆ 在满足合并规律的前提下卡诺圈应尽可能大。
☆ 根据合并的需要，每个最小项可以被多个卡诺圈包围。
3.求函数的最简“或-与”表达式
当需要求一个函数的最简“或-与”表达式时，可采用“两次取反法”。
具体如下：
☆ 先求出函数F的反函数F的最简“与-或”表达（合并卡诺图上的0方格）；
☆ 然后对F的最简“与-或”表达式取反，从而得到函数F的最简“或-与”表达式。
卡诺图化简逻辑函数具有方便、直观、容易掌握等优点。但依然带有试凑性。尤其当变量个数大于6时，画图以及对图形的识别都变得相当复杂。
