4.7 多输出函数的自动综合

4.7.3 判别质蕴涵项的E算法
　质蕴涵项对应于质立方体，本节的内容是介绍一种求质立方体的改进算法，属于提高的内容，不属于基本要求。
　前一节介绍了选拔法求最小化覆盖，其基本作法是：首先求出全体质蕴涵项的集合Z（或称质覆盖），然后从质覆盖Z中挑选必要质蕴涵项（或极值项）。由于Z中元素个数可能很多，因而占存储空间很大，并且计算Z的过程及挑选极值项的过程都需要耗费大量CPU时间。本节介绍的E算法，在无需求出Z的情况下就可以断定一个质蕴涵项p是否是必要质蕴涵项，从而达到在计算机资源需求量方面接近于收缩算法，而解题精度方面接近于精选法的优良结果。E算法对单输出和多输出布尔函数都适用。限于篇幅，这里只给出算法描述，详细介绍见文献［4］。
　E算法要用到不对称相容运算$和M积，将在下文中陆续介绍。