Issue No.10 - October (1978 vol.27)
Gimpel has presented a minimization algorithm which realizes a minimal TANT network for any Boolean function, under a NAND gate cost criterion. Gimpel uses a covering closure (CC)-table and reduces this table with the reduction techniques of Grasselli and Luccio to find a least cost subset of implicants.
reduction rules, CC-table, gate cost criterion, minimal TANT network, minimization
B. Van Den Dolder, J. Al, "Reduction of CC-Tables Using Multiple Implication", IEEE Transactions on Computers, vol.27, no. 10, pp. 961-966, October 1978, doi:10.1109/TC.1978.1674976