Prime implicant

In Boolean logic, an implicant is a "covering" (sum term or product term) of one or more minterms in a sum of products (or maxterms in a product of sums) of a Boolean function. Formally, a product term P in a sum of products is an implicant of the Boolean function F if P implies F. More precisely:

where

This means that P ${\displaystyle \Rightarrow }$ F with respect to the natural ordering of the Boolean space. For instance, the function

is implied by ${\displaystyle xy}$, by ${\displaystyle xyz}$, by ${\displaystyle xyzw}$, by ${\displaystyle w}$ and many others; these are the implicants of ${\displaystyle f}$.

...
Wikipedia