In Boolean logic, the term implicant has either a generic or a particular meaning. In the generic use, it refers to the hypothesis of an implication . In the particular use, a product term (i.e., a conjunction of literals) P is an implicant of a Boolean function F, denoted \( {\displaystyle P\leq F} \), if P implies F (i.e., whenever P takes the value 1 so does F). For instance, implicants of the function

f(x,y,z,w)=xy+yz+w

include the terms xy, xyz, xyzw, w, as well as some others.

Prime implicant

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 literals) implicant. W. 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 (aka core prime implicants) are prime implicants that cover an output of the function that no combination of other prime implicants is able to cover.

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

x, y and z can be removed, yielding w.

Alternatively, z and w can be removed, yielding xy.

Finally, x and w can be removed, yielding yz.

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 xyz to xy or to yz without changing the cover of f.[1]

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

See also

Quine–McCluskey algorithm

Karnaugh map

Petrick's method

References

De Micheli, Giovanni. Synthesis and Optimization of Digital Circuits. McGraw-Hill, Inc., 1994 a

Undergraduate Texts in Mathematics

Graduate Studies in Mathematics

Hellenica World - Scientific Library

Retrieved from "http://en.wikipedia.org/"

All text is available under the terms of the GNU Free Documentation License