Direkt zum Inhalt

Lexikon der Mathematik: Davio-Zerlegung

Zerlegung einer Booleschen Funktionf : {0, 1}n → {0, 1} der Form f = g ⊕ (xih) oder der Form f = g ⊕ \(({\bar{x}}_{i}\wedge \ h)\) bzgl. einer Booleschen Variablenxi von f. Hierbei sind g, h : {0, 1}n → {0, 1} Boolesche Funktionen, die unabhängig von der Belegung der Variable xi sind. ⊕ bezeichnet die EXOR-Funktion.

Die erste Zerlegungsform heißt positive Davio-Zerlegung, die zweite negative Davio-Zerlegung.

  • 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.