IEEE Transactions on Computers · 1969 · 49 citations · 16 references
EngineeringComputer EngineeringComputer ScienceComputer ArchitectureDigital Logic DesignLogic SynthesisLookup TablesSwitching TechniquesCombinational Logic DesignCombinational Logic SynthesisGate-level DesignLogic Gate NetworksLogic OptimizationMulti-level Logic SynthesisTree Networks
Factoring techniques are incorporated in computer-oriented algorithms for the synthesis of fan-in limited NAND switching networks. Tree networks with reduced gate count or levels of logic are sought. While example FORTRAN programs emphasize computer execution of the algorithms, they are also efficient for hand execution.
16
Minimization of Boolean Functions*
E.J. McCluskey · Bell System Technical Journal · 1956 · 1.2K citations
The Problem of Simplifying Truth Functions
W. V. Quine · American Mathematical Monthly · 1952 · 801 citations
The Problem of Simplifying Truth Functions
W. V. Quine · American Mathematical Monthly · 1952 · 434 citations