This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Recursive Operators for Prime Implicant and Irredundant Normal Form Determination
June 1970 (vol. 19 no. 6)
pp. 504-509
A common recursive formulation is presented for determining: 1) all the prime implicants, and 2) an irredundant normal form of any completely or incompletely specified Boolean function given in canonical form. Formulas for specific operators Pi and lrr2 solving these problems are given and recursive partitioned list algorithms are described for them. The solution of both of the above problems through recursive partitioned list algorithms is significantly faster than through the corresponding nonrecursive algorithms.
Index Terms:
Boolean functions, incompletely specified, irredundant normal form, minimization, multioutput functions, partitioned list, prime implicants, recursive operators.
Citation:
E. Morreale, "Recursive Operators for Prime Implicant and Irredundant Normal Form Determination," IEEE Transactions on Computers, vol. 19, no. 6, pp. 504-509, June 1970, doi:10.1109/T-C.1970.222967
Usage of this product signifies your acceptance of the Terms of Use.