Implication techniques for Bollean functions

This paper presents several uses of the logical connective of implication to problems of interest in switching theory. The implications which hold among the prime implicants of a function are examined. A new set of necessary and sufficient conditions for determining essential prime implicants and a rapid approximate method for obtaining minimal sums are included.