Quine McCluskey

The Quine McCluskey algorithm (method of prime implicants) is a method used for minimization of boolean functions that was developed by W.V. Quine and extended by Edward J. McCluskey. It is functionally identical to Karnaugh mapping.