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

»Mathe fürs Leben«: Mit Schokolinsen Statistik lernen

Edward van de Vendel und Ionica Smeets machen neugierig auf Mathe – auch mit Hilfe kindgerechter Alltagsgeschichten und witziger Comics von Floor de Goede. Eine Rezension

Freistetters Formelwelt: Mathematik offenbart Überraschungen in einem Kinderspiel

Wenn der Ausgang eines Spiels allein vom Glück abhängt, ist es eigentlich ziemlich uninteressant. Spannend wird es aber, wenn man die Mathematik dahinter betrachtet.

»Co-Intelligence«: Die KI sollte immer mit am Tisch sitzen

ChatGPT ist ein sehr seltsamer Gesprächspartner. Aber man kann mit ihm auskommen, und er kann sich nützlich machen, meint Ethan Mollick. Eine Rezension

Freistetters Formelwelt: Warum Pluto kein Planet mehr ist

Dass Pluto kein Planet mehr ist, ärgert manche Menschen auch nach fast 20 Jahren. An der Problematik, Planeten zu definieren, hat sich nicht viel geändert.

Themenkanäle

Zahlentheorie

Neben den natürlichen Zahlen, die uns schon in der Grundschule begegnen, gibt es etliche andere Zahlensysteme. Einige von ihnen werfen spannende Fragen auf.

Statistik

Ohne Statistik wäre die ganze Wissenschaft nichts. Doch die Zahlen können auch in die Irre führen. Was bedeuten p-Wert und Co? Und wo lauern Fallstricke?

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