The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.09 - September (1975 vol.24)
pp: 924-930
B. Reusch , Abteilung Informatik, Universitat Dortmund
ABSTRACT
A new method for computing the prime implicants of a Boolean function from an arbitrary sum-of-products form is given. It depends on the observation that the prime implicants of a Boolean function can be obtained from the prime implicants of its subfunctions with respect to a fixed but arbitrary variable. The problem of obtaining all irredundant sums from the list of all prime implicants and an arbitrary list of implicants representing the function is solved. The irredundant sums are in one-to-one relation to the prime implicants of a positive Boolean function associated with these lists. The known formulas of Petrick, Ghazala, Tison, Mott, and Chang are obtained as special cases and incompletely specified functions can also be handled. We give a complete and simple method for finding the positive Boolean function mentioned above. The paper is self-contained and examples are included.
INDEX TERMS
Boolean minimization, covering problem, prime implicants, subfunctions, trees
CITATION
B. Reusch, "Generation of Prime Implicants from Subfunctions and a Unifying Approach to the Covering Problem", IEEE Transactions on Computers, vol.24, no. 9, pp. 924-930, September 1975, doi:10.1109/T-C.1975.224338
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool