单输出函数的覆盖C可分为三部分：覆盖且仅覆盖真值顶点的部分记作CON；覆盖且仅覆盖假值顶点的部分记作COFF，覆盖且仅覆盖不顾(don't care)顶点的部分记作CDC。我们知道：
CON ∪ COFF ∪ CDC = Un （ 4-10）
式中Un是全立方体：Un = XX…X…X
因此
CDC = Un # ( CON ∪ COFF )
COFF = Un # ( CON ∪ CDC )
CON = Un # (COFF ∪ CDC )
任何一部分可由其它两部分求出，所以原始数据中只要给出其中两部分即可。现在我们选用给定CON和COFF的方案。
实例：设输入变量为x1, x2和x3，输出变量为y，其对应的卡诺图和立方体图形示于图4.9，函数y的覆盖可以有多种形式，下述三种形式都是等价的：
因为无论哪一种形式所覆盖的真值顶点和假值顶点都相同。值得提醒的是，当输出变量y取值为u时，表示输入变量在这一组取值下对y没有任何规定，而不是说y的取值为任意值(don't care)。
|
图 4.9 例题中布尔函数的图形表示 |
