kanonische Darstellung Boolescher Funktionen - Lexikon der Mathematik

Lexikon der Mathematik: kanonische Darstellung Boolescher Funktionen

Darstellung Boolescher Funktionen, die eindeutig ist.

Die bekanntesten kanonischen Darstellungen Boolescher Funktionen sind die disjunktive Normalform, die konjunktive Normalform und die Ring-Summen-Expansion.

Für eine feste Variablenordnung (geordneter binärer Entscheidungsgraph) sind reduzierte geordnete binäre Entscheidungsgraphen ebenfalls eine kanonische Darstellung Boolescher Funktionen.

Kanonische Darstellungen werden eingesetzt im Rahmen der Verifikation kombinatorischer Schaltkreise (Schaltkreisverifikation).

Copyright Springer Verlag GmbH Deutschland 2017

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.

Die Autoren

- Prof. Dr. Guido Walz

Artikel zum Thema

Freistetters Formelwelt : Mit mathematischer Lyrik zur Kreiszahl Pi

Mathematik muss nicht zwangsweise aus abstrakten Formeln und Symbolen bestehen. Auch aus einem Gedicht lassen sich beeindruckende Erkenntnisse gewinnen.

Die fabelhafte Welt der Mathematik : Die irrationalste aller Zahlen

Die Kreiszahl Pi, die eulersche Zahl e oder die Wurzel aus zwei: Es gibt viele berühmte Beispiele für irrationale Zahlen. Doch welche von ihnen ist am irrationalsten?

Die fabelhafte Welt der Mathematik : Nicht jede Länge ist messbar

Im 20. Jahrhundert sahen sich Mathematiker mit einer scheinbar einfachen Frage konfrontiert: Kann man jedem Objekt eine Größe zuordnen? Die überraschende Antwort lautet: nein.

Verhaltensökonomie : Psychologe und Nobelpreisträger Daniel Kahneman ist gestorben

Kahneman hat Ökonomie und Psychologie verbunden. Seine Experimente gemeinsam mit Amos Tversky zeigten, warum Menschen nicht immer rational entscheiden.

Die neue Generation von Computern

Erste Prototypen von Quantencomputern gibt es bereits. Was wird sich mit den Prozessoren ändern, die auf Quantenmechanik basieren? Sind Daten dann noch sicher? Eine Themenseite

Quantenphysik

Die Quantenphysik ist neben der Relativitätstheorie eine der Säulen der modernen Physik - mit Auswirkungen bis in die Philosophie.

Das Digital-Manifest

Algorithmen, Nudging, Big Data - unser Leben wird zunehmend digitaler. Doch viele Menschen sind darauf nicht vorbereitet. Daher benötigen wir klare Regeln. Ein Appell.

SponsoredPartnerinhalte