APL Fast Logic Minimization Method
Original Publication Date: 1979-Dec-01
Included in the Prior Art Database: 2005-Feb-20
The Quine-McClusky method of logic reduction is a means of systematizing the Karnaugh map method, making possible logic minimization by computer. As described in textbooks and as implemented in APL Public Library 41 (WS MIN), the minterms are ordered by number of '1's and each minterm with N '1's is compared with all minterms with N+1 '1's. Those that differ in only one position and which have identical previously identified "don't care" positions, have the newly identified positions marked "don't care" and the terms are combined. The identity of the contributing minterms is stored with each derivative term for later use in determining coverage. Any term which does not combine with any other is a prime implicant.