In order to improve the efficiency of matching algorithm, the Numbers of minterms connected with every single variable or every variable composition are used as "signature" of the va.
为了提高匹配算法的效率，文中用最小项数目作为标签标定变量(变量组)。
2
According to Boolean algebra, removing minterms is used for a new algorithm about the supremal controllable predicate, which is the most important problem in Supervisory control of DES.
An algorithm for such purpose, quite different from any others so far known, is here presented on the basis of arithmetic operations on integers, which correspond to the minterms of the function.