Direkt zum Inhalt

Lexikon der Mathematik: universelle Quantifikation

Boolesche Funktion, die durch die Konjunktion der Kofaktoren einer Booleschen Funktion nach einer Booleschen Variablen gegeben ist.

Für eine Boolesche Funktion f : {0,1}n → {0,1} und eine Boolesche Variable xi, ist die universelle Quantifikation von f nach xi, die Boolesche Funktion \begin{eqnarray}{f}_{{x}_{i}}\wedge {f}_{\overline{{x}_{i}}}.\end{eqnarray}

Hierbei bezeichnen \({f}_{{x}_{i}}\) und \({f}_{\overline{{x}_{i}}}\) den positiven und negativen Kofaktor von f nach xi.

  • Die Autoren
- Prof. Dr. Guido Walz

Schreiben Sie uns!

Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.

Partnerinhalte

Bitte erlauben Sie Javascript, um die volle Funktionalität von Spektrum.de zu erhalten.