在覆盖函数中的所有最小项的前提下,卡诺圈的个数达到最少.
在满足合并规律的前提下卡诺圈应尽可能大.
根据合并的需要,每个最小项可以被多个卡诺圈包围.
n个变量卡诺图中最小项的合并规律如下:
(1)卡诺圈中小方格的个数必须为2m个,m为小于或等于n的整数.
(2)卡诺圈中的2m个小方格有一定的排列规律,具体地说,它们含有m个不同变量,(n-m)个相同变量.
(3)卡诺圈中的2m个小方格对应的最小项可用(n-m)个变量的“与”项表示,该“与”项由这些最小项中的相同变量构成.
(4)当m=n时,卡诺圈包围了整个卡诺图,可用1表示,即n个变量的全部最小项之和为1.