Abstract

In 1952, Quine showed that the problem of reducing a propositional formula to a simplest normal equivalent can be solved in two steps, viz., (i) express the given formula, Φ, equivalently as the disjunction of all its prime implicants, and (ii) find all non-redundant disjunctions of the latter that are equivalent to Φ (Quine 1952). However, it seems not generally known that an ingenious form of the same two-step process was published by Hugh McColl in 1878.