Implikant
# 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\colon \{0,1\}^{n}\rightarrow \{0,1\},\,(x_{1},\dotsc ,x_{n})\mapsto f(x_{1},\dotsc ,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)$.
