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)$.

Weblinks

• Implikant (Lexikon der Mathematik – Spektrum der Wissenschaft)