Implikant

In der booleschen Algebra und beim Entwurf von Schaltnetzen ist ein Implikant $m$ einer booleschen Funktion $f$ ein boolescher Term, wobei $f$ immer wahr ist, wenn $m$ wahr ist.

Definition

Sei $f : {0, 1}^{n} \to {0, 1}, (x_{1}, \dots, x_{n}) \mapsto f (x_{1}, \dots, x_{n})$ eine boolesche Funktion.

Ein boolescher Term $m$ heißt Implikant von $f$ genau dann, wenn gilt

\forall a \in {0, 1}^{n} : m (a) \leq f (a)

.