Irredundant Normal Forms and Minimal Dependence Sets of a Boolean Function
- 1 November 1978
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-27 (11) , 1064-1068
- https://doi.org/10.1109/tc.1978.1674997
Abstract
A new method is presented for determining all minimal dependence sets, irredundant normal forms, and irredundant normal forms of minimal dependence sets of a Boolean function f. The method reduces the above problems into those of determining all minimal positive dependence sets, irredundant positive normal forms, and irredundant positive normal forms of minimal positive dependence sets, respectively, of a Boolean function f* corresponding to f. For each problem a corresponding cover formula is developed such that the prime implicants of it are in one-to-one correspondence to all possible solutions.Keywords
This publication has 10 references indexed in Scilit:
- On the Minimization of the Control Store in Microprogrammed ComputersIEEE Transactions on Computers, 1978
- Generation of Prime Implicants from Subfunctions and a Unifying Approach to the Covering ProblemIEEE Transactions on Computers, 1975
- A New Algorithm for Generating Prime ImplicantsIEEE Transactions on Computers, 1970
- Generalization of Consensus Theory and Application to the Minimization of Boolean FunctionsIEEE Transactions on Electronic Computers, 1967
- Computing Irredundant Normal Forms from Abbreviated Presence FunctionsIEEE Transactions on Electronic Computers, 1965
- A Method for Simplifying Boolean FunctionsBell System Technical Journal, 1962
- Determination of the Irredundant Normal Forms of a Truth Function by Iterated Consensus of the Prime ImplicantsIEEE Transactions on Electronic Computers, 1960
- Irredundant Disjunctive and Conjunctive Forms of a Boolean FunctionIBM Journal of Research and Development, 1957
- Minimization of Boolean Functions*Bell System Technical Journal, 1956
- A Way to Simplify Truth FunctionsThe American Mathematical Monthly, 1955