Direkt zum Inhalt

Lexikon der Mathematik: existentielle Quantifikation

Boolesche Funktion, die durch die Disjunktion 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 existentielle Quantifikation von f nach xi die Boolesche Funktion \({f}_{{x}_{i}}\vee {f}_{\bar{{x}_{i}}}\). Hierbei bezeichnet \({f}_{{x}_{i}}\) und \({f}_{\bar{{x}_{i}}}\) den positiven und negativen Kofaktor von f nach xi.

Lesermeinung

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.

  • Die Autoren
- Prof. Dr. Guido Walz

Partnervideos