spezieller Implikant.

Ein Primimplikant einer Booleschen Funktion f : D → {0, 1} mit D ⊆ {0, 1}ⁿ ist ein Implikant q von f, zu dem es keinen von q verschiedenen Implikanten r von f gibt mit ϕ(q)(α) ≤ ϕ(r)(α) für alle α ∈ {0, 1}ⁿ.

ϕ(q) und ϕ(r) bezeichnen hierbei die durch q bzw. r dargestellten Booleschen Funktionen.