Key points are not available for this paper at this time.
A systematic procedure is presented for writing a Boolean function as a minimum sum of products. This procedure is a simplification and extension of the method presented by W. V. Quine. Specific attention is given to terms which can be included in the function solely for the designer's convenience.
E.J. McCluskey (Thu,) studied this question.