vollständig spezifizierte Boolesche Funktionf : {0, 1}ⁿ → {0, 1} mit der Eigenschaft, daß für alle α = (α₁, …, α_n), β = (β₁,…, β_n) ∈ {0, 1}ⁿ\begin{eqnarray}\alpha \,\le \,\beta \,\Rightarrow \,f(\alpha )\,\ge \,f(\beta )\end{eqnarray}

gilt. Hierbei gilt α ≤ β genau dann, wenn α_i ≤ β_i für alle i ∈ {1,…, n} gilt. Eine vollständig spezifizierte Boolesche Funktion f : {0, 1}ⁿ → {0, 1} heißt monoton fallende Boolesche Funktion in einer Variablen x_i (1 ≤ i ≤ n), falls für alle (α₁, …, α_n) ∈ {0, 1}ⁿ\begin{eqnarray}f({\alpha }_{1}\text{,}\,\text{.}\,\text{.}\,\text{.}\,{\alpha }_{i-1}\,\text{,}\,\,{\alpha }_{i}\text{,}\,{\alpha }_{i+1}\text{,}\,\text{.}\,\text{.}\,\text{.}\,{\alpha }_{n})\,\le \,f({\alpha }_{1}\text{,}\,\text{.}\,\text{.}\,\text{.}\,{\alpha }_{i-1}\,\text{,}\,0\,\text{,}\,{\alpha }_{i+1}\text{,}\,\text{.}\,\text{.}\,\text{.}\,\text{,}\,{\alpha }_{n})\end{eqnarray}

gilt.