4.7 多输出函数的自动综合

　实际电路基本上是多输出电路，我们之所以先介绍单输出函数的化简，是为了循序渐进，先易后难。
　知识点：
　选拔法求最小化覆盖
　收缩算法求无冗余覆盖
　多余连线的发现和删除
　判别质蕴涵项E算法 -- 提高的内容，不作基本要求

4.7.1 收缩算法求无冗余覆盖
　多输出函数的收缩算法求无冗余覆盖与单输出函数基本一致，只是这里提到的吸收运算、求余面运算、锐积运算、相交运算等都要按多输出函数来做(见4.3.1节)。