Boolesche Funktion, die durch die Disjunktion 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 existentielle Quantifikation von f nach x_i die Boolesche Funktion \({f}_{{x}_{i}}\vee {f}_{\bar{{x}_{i}}}\). Hierbei bezeichnet \({f}_{{x}_{i}}\) und \({f}_{\bar{{x}_{i}}}\) den positiven und negativen Kofaktor von f nach x_i.