Diskussion:Binäres Entscheidungsdiagramm

bdd wird im deutschen mit bed abgekürzt, gibt es auch eine deutsche abkürzung für obdd?

Das + im Artikel soll oder $\vee$ bedeuten, richtig? Das ist verwirrend, da oft auch xor $\oplus$ mit dem normalen Pluszeichen geschrieben wird. Sollte also wirklich oder gemeint sein, bitte im Artikel ändern. Ich machs lieber nicht selbst, da ich mir nicht ganz sicher bin.

Operationen auf Binären Entscheidungsdiagrammen

Dieser Abschnitt sollte überarbeitet werden. Die grundlegende Operation ist die Synthese (Konstruktion des Produkt-OBDD, Beschriftung der Senken gemäß gewähltem Operator). Mir wird nicht ganz klar, ob für den Autoren dieses Abschnitts vielleicht ITE dasselbe ist wie die Synthese. Für gewöhnlich bezeichnet ITE aber bloß einen weiteren Operator, der auf Komplement und Synthese zurückgeführt werden kann.