vollständige Boolesche Klausel aus \({{\mathfrak{A}}}_{n}\) (Boolescher Ausdruck) der Form \begin{eqnarray}{x}_{1}^{{\varepsilon }_{1}}\vee \ldots \vee {x}_{n}^{{\varepsilon }_{n}}.\end{eqnarray}

Ist f(ϵ₁, …, ϵ_n) = 0 für eine Boolesche Funktion f : D → {0, 1} mit D ⊆ {0, 1}ⁿ, so nennt man \begin{eqnarray}{x}_{1}^{1-{\varepsilon }_{1}}\vee \ldots \vee {x}_{n}^{1-{\varepsilon }_{n}}\end{eqnarray}

Maxterm der Booleschen Funktion f.