Editing Implicant (section)

== {{anchor|Essential prime implicant}}Prime implicant ==<!-- Section header "Prime implicant" used by redirects -->
A '''prime implicant''' of a function is an implicant (in the above particular sense) that cannot be covered by a more general, (more reduced, meaning with fewer [[literal (computer programming)|literal]]s) implicant. [[W.&nbsp;V. Quine]] defined a ''prime implicant'' to be an implicant that is minimal—that is, the removal of any literal from ''P'' results in a non-implicant for ''F''.  '''Essential prime implicants''' (also known as '''core prime implicants''') are prime implicants that cover an output of the function that no combination of other prime implicants is able to cover.<ref>{{cite web | url=https://philosophy-question.com/library/lecture/read/207320-what-are-the-essential-prime-implicants | title=What are the essential prime implicants? }}</ref>

Using the example above, one can easily see that while <math>xy</math> (and others) is a prime implicant, <math>xyz</math> and <math>xyzw</math> are not. From the latter, multiple literals can be removed to make it prime:

*<math>x</math>, <math>y</math> and <math>z</math> can be removed, yielding <math>w</math>.
*Alternatively, <math>z</math> and <math>w</math> can be removed, yielding <math>xy</math>.
*Finally, <math>x</math> and <math>w</math> can be removed, yielding <math>yz</math>.

The process of removing literals from a Boolean term is called '''expanding''' the term. Expanding by one literal doubles the number of input combinations for which the term is true (in binary Boolean algebra). Using the example function above, we may expand <math>xyz</math> to <math>xy</math> or to <math>yz</math> without changing the cover of <math>f</math>.<ref>De Micheli, Giovanni. ''Synthesis and Optimization of Digital Circuits''. McGraw-Hill, Inc.,  1994</ref>

The sum of all prime implicants of a Boolean function is called its '''complete sum''', '''minimal covering sum''', or  [[Blake canonical form]].