A Method to Simplify a Boolean Function into a Near Minimal Sum-of-Products for Programmable Logic Arrays
- 1 November 1978
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-27 (11) , 1028-1039
- https://doi.org/10.1109/TC.1978.1674992
Abstract
This paper describes an algorithm for minimizing an arbitrary Boolean function. The approach differs from most previous procedures in which first all prime implicants are found and then a minimal set is then determined. This procedure imposes a set of conditions on the selection of the next prime implicant in order to obtain a near minimal sum-of-products realization. Extension to the multiple output and incompletely specified function cases is given. An important characteristic of the proposed procedure is the relatively small amount of computer time spent to solve a problem, as compared to other procedures. The MINI algorithm may give better results for a large number of inputs and outputs if relatively few product terms are needed. This procedure is also well suited to find a solution for programmable logic arrays (PLA's) which internally implement large Boolean functions as a sum-of-products.Keywords
This publication has 8 references indexed in Scilit:
- A Prime Implicant Algorithm with FactoringIEEE Transactions on Computers, 1975
- Generation of Prime Implicants from Subfunctions and a Unifying Approach to the Covering ProblemIEEE Transactions on Computers, 1975
- Minimization of Switching Functions—A Fast TechniqueIEEE Transactions on Computers, 1975
- MINI: A Heuristic Approach for Logic MinimizationIBM Journal of Research and Development, 1974
- Generalization of Consensus Theory and Application to the Minimization of Boolean FunctionsIEEE Transactions on Electronic Computers, 1967
- Average Values of Quantities Appearing in Boolean Function MinimizationIEEE Transactions on Electronic Computers, 1964
- Computer Design of Multiple-Output Logical NetworksIEEE Transactions on Electronic Computers, 1961
- The Simplification of Multiple-Output Switching Networks Composed of Unilateral DevicesIEEE Transactions on Electronic Computers, 1960