Title :
The Origin of the Method of Iterated Consensus
Abstract :
Quine shows [2], [3] that a logical formula expressed as a sum of products may be transformed into the sum of all its prime implicants by repeated application of the following two rules.
Keywords :
Absorption; Boolean algebra; Circuits; Milling machines; Minimization methods; Polynomials;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1968.229129
