4.5 单输出函数质立方体的计算

4.5.3 广义星积求质立方体
　本节介绍的算法是对4.5.2节中介绍的算法的改进。请关注在那些方面作出了改进。
　　第一步 令　
第二步 i从1到n重复以下步骤n次：
(1)令
(2)扫描C中每一立方体，若变量x_i = 0，则令x_i = X，其它变量取值不变，使之加入B₀，若变量x_i = 1，则令x_i = X，其它变量取值不变，使之加入B₁。
(3)令
第三步
实例：设单输出布尔函数的描述如下，