ein Boolesches Monom der im folgenden beschriebenen Art.

Der Implikant einer Booleschen Funktion f : D → {0, 1} mit D ⊆ {0, 1}ⁿ ist ein Boolesches Monom m, das die Boolesche Funktion φ(m) : {0, 1}ⁿ → {0, 1} darstellt (Boolescher Ausdruck) mit

1. ∀α ∈ D: φ(m)(α) ≤ f(α),
2. ∃α ∈ D: φ(m)(α) = 1.

Implikanten spielen eine ausgezeichnete Rolle im Rahmen der zweistufigen Logiksynthese. Die in einem Booleschen Polynom einer Booleschen Funktion enthaltenen Booleschen Monome sind Implikanten dieser Booleschen Funktion. Die Implikanten einer Booleschen Funktion können mit der Methode von Quine-McCluskey berechnet werden.