Implicant

In the context of Boolean algebra and digital logic design, an **implicant** is a combination of input variables that results in the output of a Boolean function being true (or "1"). More specifically, an implicant is defined as a product term (a conjunction of literals) in a Boolean expression that covers one or more minterms (combinations of variable states that yield a true output).