---
tag: 2VJATJ1WM4
kind: concept
name: Implicant
aliases: [core-prime-implicant, essential-prime-implicant, non-essential-prime-implicant, prime-implicant, primterm]
sources:
  - wikipedia: en:1156776@r1362292619
    locator: Implicant
    note: adopted
    mention: wikipedia://en/1156776
    sections: [Summary]
same_as:
  wikidata: Q1291626
  wikipedia: Implicant
inventory: [6CAAX5S186]
---

## Summary

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