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

$\mathrm{\forall }a\in \{0,1{\}}^n:m(a)\le f(a)$.

Weblinks

• Implikant (Lexikon der Mathematik – Spektrum der Wissenschaft)