genauer Kofaktor einer Booleschen Funktion, die einer Booleschen Funktion f : {0, 1}ⁿ → {0, 1} und einer Belegung ε_i ∈ {0, 1} einer Variablen x_i zugeordnete Boolesche Funktion f_xi=εi mit \begin{eqnarray}\begin{array}{l}{f}_{{x}_{i}={\varepsilon }_{i}}:{\{0,1\}}^{n}\to \{0,1\}\\ {f}_{{x}_{i}={\varepsilon }_{i}}({\alpha }_{1},\ldots,{\alpha }_{i-1},{\alpha }_{i},{\alpha }_{i+1},\ldots,{\alpha }_{n})\\ =f({\alpha }_{1},\ldots,{\alpha }_{i-1},{\varepsilon}_{i},{\alpha }_{i+1},\ldots,{\alpha }_{n})\end{array}\end{eqnarray}

für alle (α₁, …, α_n) ∈ {0, 1}ⁿ.

Die Boolesche Funktion f_xi=1 heißt positiver Kofaktor von f nach x_i und wird oft abkürzend mit f_xi angegeben. Die Boolesche Funktion f_xi=0 heißt negativer Kofaktor von f nach x_i und wird oft abkürzend mit \({f}_{\overline{x_i}}\) angegeben.

Ist l₁∧…∧l_q mit q ≥ 2 ein über den Booleschen Variablen x₁, …, x_n definiertes Boolesches Monom der Länge q, dann heißt die Boolesche Funktion f_l1∧…∧l_q, die durch \begin{eqnarray}{f}_{{l}_{1}\wedge \ldots \wedge {l}_{q}}=({f}_{{l}_{1}\wedge \ldots \wedge {l}_{q-1}}){l}_{q}\end{eqnarray} definiert ist, iterierter Kofaktor von f.