DocumentCode :
1341270
Title :
A Topological Method for the Determination of the Minimal Forms of a Boolean Function
Author :
Urbano, R.H. ; Mueller, R.K.
Author_Institution :
Air Force Cambridge Research Center, Bedford, Mass.
Issue :
3
fYear :
1956
Firstpage :
126
Lastpage :
132
Abstract :
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. The proof of this statement is contained in the central Theorem 4. A numerical easily programmed procedure is given with which it is possible to treat problems with a greater number of variables than has heretofore been practical. The procedure by-passes the determination of the basic cells (the prime implicants of W. V. Quine) and locates the essential vertices, from which in turn the irredundant and minimal forms are obtained.
Keywords :
Boolean algebra; Boolean functions; Circuit synthesis; Circuit topology; Helium; Military computing; Milling machines; Relays; Switching circuits;
fLanguage :
English
Journal_Title :
Electronic Computers, IRE Transactions on
Publisher :
ieee
ISSN :
0367-9950
Type :
jour
DOI :
10.1109/TEC.1956.5219932
Filename :
5219932
Link To Document :
بازگشت