实例：设代表布尔函数f的初始覆盖C为：
对应的二级与-或电路示于图4.10(a)，经过某种方法化简，得到一个新的覆盖M：
因为：
M∩COFF＝φ
且：
CON # M＝φ
所以M和C是等价的。对应于M的二级与-或电路示于图4.10(b)。
未经化简的电路总成本：cs(C) = 24
经过化简的电路总成本：cs(M) = 10
本节中心内容是把初始覆盖C最小化。设M代表所求的最小化覆盖，M应满足以下要求：
(1) M和C等价，即：
M∩COFF＝φ
CON # M＝φ
(2) M中所有元素都是质立方体。即；
设 mi∈M cj∈C
当 mi≠cj时： mi
cj(3) M的成本最低。
有时为了节省存贮空间和运算时间，把目标由最小化覆盖M降低为无冗余覆盖N，N应满足以下要求：
(1) N和C等价。
(2) N中所有元素都是质立方体。
(3) N中不存在冗余元素。即
{ni#(N-ni)}∩CON≠φ ni∈N
|
图4.10 函数f的电路实现 |
