Darstellung einer Booleschen Funktion \begin{eqnarray}f:{\{0,1\}}^{n}\to \{0,1\}\end{eqnarray}

durch einen markierten n-dimensionalen Würfel 𝔚(f).

Die Knoten des Würfels entsprechen den Elementen des Definitionsbereiches {0, 1}ⁿ von f und umgekehrt. Zwei Elemente \begin{eqnarray}({\alpha}_{1},\ldots, {\alpha}_{n}),({\beta}_{1},\ldots, {\beta}_{n})\in {\{0,1\}}^{n},\end{eqnarray}

die sich an genau einer Stelle unterscheiden, für die also mit einem i ∈ {1..., n} gilt, daß α_i ≠ β_i und α_j = β_j ∀j ≠ i ist, sind bezüglich der i-ten Dimension durch eine Kante benachbart.

Jeder Knoten v ∈ V, der einem Knoten aus der ON-Menge von f entspricht, wird markiert.

Die Würfeldarstellung wird als anschauliche Darstellung Boolescher Funktionen benutzt, um Minimalpolynome dieser Booleschen Funktionen zu berechnen.

Teilwürfel von 𝔚(f), die nur markierte Knoten enthalten, sind die Implikanten der Booleschen Funktion f. Ein solcher Teilwürfel heißt maximaler Teilwürfel von 𝔚(f), wenn kein Teilwürfel höherer Dimension, der ebenfalls nur markierte Knoten enthält, ihn umfaßt. Maximale Teilwürfel entsprechen den Primimplikanten von f.