The topology of the n-dimensional cube is used to reduce the problem of determining the minimal forms of a Boolean function of n variables to that of finding the minimal coverings of the essential vertices of the basic cell system associated with the given function. With the numerical easily pro¬grammed procedure given, the number of variables that can now be treated is greater than has heretofore been practical. The process bypasses the determina¬tion of the basic cells (the “prime implicants” of W. V. Quine), locating the essential vertices from which the irredundant and minimal forms are obtained.
展开▼