zu einer Booleschen Funktion f : D → {0, 1} mit D ⊆ {0,1}ⁿ ein Boolescher Ausdruckw über den Variablen x₁,…,x_n mit der Eigenschaft \begin{eqnarray}\phi (w)(\alpha)\ge f(\alpha)\ \forall \alpha \in D.\end{eqnarray}

Hierbei ist φ(w) die durch w dargestellte Boolesche Funktion (Boolescher Ausdruck).

Überdeckt der Boolesche Ausdruck w die vollständig spezifizierte Boolesche Funktionφ(v) für einen über den Variablen x₁,…,x_n definierten Booleschen Ausdruck v, so nennt man den Booleschen Ausdruck w eine Überdeckung des Booleschen Ausdrucks v.