Derivation of Minimal Sums for Completely Specified Functions
- 1 March 1987
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-36 (3), 277-292
- https://doi.org/10.1109/TC.1987.1676900
Abstract
Some new concepts in switching theory are pre sented. One of these is called an "abridged minterm base." We can use an abridged minterm base instead of the minterm expansion in conventional absolute minimization procedures. Since an abridged minterm base almost always has much fewer minterms than are in the minterm expansion, we can derive an abridged minterm base for many functions for which it is impossible to derive the minterm expansion. This paper also introduces the concept of generalized inclusion function Q(f) and its decomposition theorem Q(g)·Q(h) = Q(g V h). The theorem is very useful.Keywords
This publication has 16 references indexed in Scilit:
- Minimal covering problem and PLA minimizationInternational Journal of Parallel Programming, 1985
- Symmetric Minimal Covering Problem and Minimal PLA's with Symmetric VariablesIEEE Transactions on Computers, 1985
- MINI: A Heuristic Approach for Logic MinimizationIBM Journal of Research and Development, 1974
- Partitioned List Algorithms for Prime Implicant Determination from Canonical FormsIEEE Transactions on Electronic Computers, 1967
- Implication techniques for Bollean functionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1964
- An application of linear programming to the minimization of Boolean functionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1961
- Determination of the Irredundant Normal Forms of a Truth Function by Iterated Consensus of the Prime ImplicantsIEEE Transactions on Electronic Computers, 1960
- The problem of simplifying logical expressionsThe Journal of Symbolic Logic, 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