4.6 单输出函数的自动综合

4.6.2 收缩算法求无冗余覆盖
　收缩(shrink)算法求无冗余覆盖的步骤如下：
　第一步 N = S [CON]
　第二步 对N中每一元素e作如下运算:
　(1) 通过反复对e求余面，把e转化为质立方体z。然后用z代替e。
　(2) 删去N中被z包含的立方体。
　第三步 删去N中冗余立方体，即：
　若 {e#(N-e)}∩CON=φ
　则e是冗余立方体，把它从N中删除。