The size of implicants set is decreased by using a pair of weights in the iteration process of comparison, only the implicants which satisfy the conditions is merged. And all prime implicants are obtained at last.
This paper reveals that the methods to identify essential primeimplicants of both ESPRESSO and that proposed by S.
运用布尔矩阵运算的方法对确定多输出函数的质蕴涵进行了研究，并通过示例说明了这种方法的运算程序。
2
A new method for simplifying multiple-output switching functions is proposed. The main characteristic of the method is to directly determine the essential primeimplicants.