Minimization of Boolean functions of any number of variables using decimal labels (Q1061718)

This paper deals with the problem of minimization of a Boolean function, particularly when the number of variables is very large. Using the decimal labels of the minterms, a table is worked out which helps to determine all the prime implicants and the essential prime implicants. A systematic method of sorting out the dominating and the dominated columns is then given, which helps to reduce the number of successive cover tables considerably.