100 Übungsaufgaben zu Grundlagen der Informatik, Bd. II - Kap. 3: Binary Decision Diagram (BDD)

Der vorliegende Vorlesungszuschnitt beschäftigt sich mit dem Binary Decision Diagram (BDD), das neben Wahrheitstabellen und Booleschen Ausdrücken eine weitere Möglichkeit ist, Boolesche Funktionen darzustellen. BDDs haben im Gegensatz zu anderen Darstellungsformen den Vorteil, dass sie eine platzsparende Darstellung liefern können, die zeiteffizient für gegebene Belegungen der Variablen ausgewertet werden kann. BDDs sind dadurch eine wesentliche Datenstruktur heutiger CAD-Werkzeuge. Anhand des Entwicklungssatzes für Boolesche Funktionen wird ein Verfahren entwickelt, welches ein BDD erzeugt.