Implication techniques for Bollean functions
- 1 November 1964
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
This paper presents several uses of the logical connective of implication to problems of interest in switching theory. The implications which hold among the prime implicants of a function are examined. A new set of necessary and sufficient conditions for determining essential prime implicants and a rapid approximate method for obtaining minimal sums are included.Keywords
This publication has 6 references indexed in Scilit:
- Theorem Testing by ComputerPublished by Springer Nature ,1983
- The Reduction of Redundancy in Solving Prime Implicant TablesIRE Transactions on Electronic Computers, 1962
- Determination of the Irredundant Normal Forms of a Truth Function by Iterated Consensus of the Prime ImplicantsIEEE Transactions on Electronic Computers, 1960
- On Cores and Prime Implicants of Truth FunctionsThe American Mathematical Monthly, 1959
- Irredundant Disjunctive and Conjunctive Forms of a Boolean FunctionIBM Journal of Research and Development, 1957
- Minimization of Boolean Functions*Bell System Technical Journal, 1956