This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Complex Disjunctive Decomposition of Incompletely Specified Boolean Functions
January 1973 (vol. 22 no. 1)
pp. 103-110
S.L. Hight, Bell Telephone Laboratories, Inc.
In this paper the Ashenhurst-Curtis theory of complex disjunctive decompositions is extended to the realm of incompletely specified Boolean functions. A compatibility relation on the column vectors of the decomposition chart is introduced, which is applied to identify all possible simple disjunctive decompositions for each input partition. The assignments of the DON'T CARE (f) conditions that are required to realize these simple decompositions are described by a vector listing the constraints on these f's by new Boolean variables caled constrained DON'T CAREs. A compatibility relation is introduced on these vectors, caled constrained Boolean vectors, which is applied to form complete decompositions. A Complete decomposition is one for which al possible simple decompositions have been combined into a complex decomposition. Throughout the procedure, the freedom of choice implied by the f's is maintained as far as is alllowed by the choices that have been made to achieve the decompositions.
Index Terms:
Complex disjunctive decompositions, constrained Boolean vectors, constrained DON'T CAREs, incompletely specified Boolean functions, simple disjunctive decompositions, vacuous and inessential variables.
Citation:
S.L. Hight, "Complex Disjunctive Decomposition of Incompletely Specified Boolean Functions," IEEE Transactions on Computers, vol. 22, no. 1, pp. 103-110, Jan. 1973, doi:10.1109/T-C.1973.223604
Usage of this product signifies your acceptance of the Terms of Use.