ein Boolesches Polynomp = m₁ ⋁…⋁ m_q mit der Eigenschaft, daß das Entfernen eines beliebigen Booleschen Monomsm_i (i ∈ {1,…,q}) zu einem Booleschen Polynom \begin{eqnarray}{p}{^{\prime} }={m}_{1}\vee \ldots, \vee {m}_{i-1}\vee {m}_{i+1}\vee \ldots \vee {m}_{q}\end{eqnarray} führt, das eine Boolesche Funktionϕ(p′) beschreibt, welche verschieden ist von der durch p beschriebenen Booleschen Funktion ϕ(p).

Ist ein Boolesches Polynom nicht irredundant, so spricht man von einem redundanten Booleschen Polynom.