The Minimization of TANT Networks
- 1 February 1967
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Electronic Computers
- Vol. EC-16 (1) , 18-38
- https://doi.org/10.1109/pgec.1967.264603
Abstract
A TANT network is a three-level network composed solely of AND-NOT gates (i.e., NAND gates) having only true (i.e. uncomplemented) inputs. The paper presents an algorithm for finding for any given Boolean function a least-cost (i.e. fewest number of gates) TANT network. The method used is similar to the Quine-McCluskey algorithm for two-level AND/OR networks. Certain functions realizable by input gates or second-level gates are preselected as candidates for possible use in an optimal network. This is analogous to the preselecting of prime implicants in two-level minimization. A network is then obtained by choosing a least-cost subset of the candidates which is adequate for realizing the function. This selection phase is analogous to the use of a prime implicant table in two-level minimization. In TANT minimization, however, an extension to a prime implicant table known as a CC-table must be used. The algorithm permits hand solution of typical four-and five-variable problems. A computer program has been written to handle more complex cases.Keywords
This publication has 11 references indexed in Scilit:
- A Synthesis of Combinational Logic with NAND or NOR ElementsIEEE Transactions on Electronic Computers, 1965
- A Reduction Technique for Prime Implicant TablesIEEE Transactions on Electronic Computers, 1965
- A Method for Minimizing the Number of Internal States in Incompletely Specified Sequential NetworksIEEE Transactions on Electronic Computers, 1965
- Programmed interconnections—A release from tyrannyProceedings of the IEEE, 1964
- Logical design theory of NOR gate networks with no complemented inputsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1963
- A Catalog of Three-Variable Or-Invert and And-Invert Logical CircuitsIEEE Transactions on Electronic Computers, 1963
- 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
- The Problem of Simplifying Truth FunctionsThe American Mathematical Monthly, 1952