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

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.

Artikel zum Thema

Leseprobe »Unsicherheiten, aber sicher!«: Auf ein Date mit Daten

Das Sachbuch gibt eine Einführung in den Umgang mit Unsicherheiten von Daten und sensibilisiert dafür, Daten nicht unreflektiert als richtig hinzunehmen. Eine Leseprobe

Kombinatorik: Mathematische Überraschung beim Schach

Ein Springer bewegt sich schneller über das Schachbrett als ein König. Aber wie viel schneller? Die Antwort hängt erstaunlicherweise mit den Fibonacci-Zahlen zusammen.

Freistetters Formelwelt: Das versteckte vierte newtonsche Gesetz

Die drei newtonschen Gesetze sind die Grundlage der modernen Physik. Man hätte aber auch leicht vier daraus machen können.

Die fabelhafte Welt der Mathematik: Ein Streit unter Brüdern führte zum wichtigsten Prinzip der Physik

Jakob und Johann Bernoulli führen einen erbitterten Konkurrenzkampf. Aus diesem entsteht letztlich das Prinzip der stationären Wirkung, dem alles in der Natur zu folgen scheint.

Themenkanäle

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.

Spieltheorie

Menschliche Beziehungen sind vielfältig und kaum zu durchblicken? Die Spieltheorie nähert sich dem Problem auf ihre eigene Weise.

SponsoredPartnerinhalte