4.6 单输出函数的自动综合

4.6.1 选拔法求最小化覆盖
　选拔法(extraction)使覆盖C最小化的预备步骤是求出C的全部质立方体集合Z。
　选拔是一个反复的过程，不断地从Z中选优（使加入M）删劣，直到M能覆盖C的全部真值顶点时为止。
　组合逻辑电路综合的主要任务是求最小化覆盖，是本章的重点内容。以前讲到的概念在这里都有体现，并且增加了选优和删劣的概念。一定要理解整个过程，如果对抽象算法描述不太明白，可通过例子的执行过程加深理解。