Boolesches Polynomp einer vollständigen Erweiterung einer Booleschen Funktion f : D → {0, 1} mit D ⊆ {0, 1}ⁿ mit der Eigenschaft, daß es kein Boolesches Polynom q einer vollständigen Erweiterung von f gibt, das kleinere Kosten als p hat.