The Origin of the Method of Iterated Consensus

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.