Boolesche Funktion, die durch die Konjunktion der Kofaktoren einer Booleschen Funktion nach einer Booleschen Variablen gegeben ist.

Für eine Boolesche Funktion f : {0,1}ⁿ → {0,1} und eine Boolesche Variable x_i, ist die universelle Quantifikation von f nach x_i, die Boolesche Funktion \begin{eqnarray}{f}_{{x}_{i}}\wedge {f}_{\overline{{x}_{i}}}.\end{eqnarray}

Hierbei bezeichnen \({f}_{{x}_{i}}\) und \({f}_{\overline{{x}_{i}}}\) den positiven und negativen Kofaktor von f nach x_i.