Hallo!

Die Variablensortierung sagt ja aus, dass x1 die Wurzel sein soll. Auf dem Weg zu einem Blatt soll die angegebene Reihenfolge eingehalten werden.

Muss denn jede Variable auf dem Weg vorkommen? Wohl eher nicht, das BDD soll ja reduziert sein... allerdings bekomm ich da für a) und b) exakt das gleiche BDD raus... ist das so gedacht?

Gruß
Jan Mattner

Hallo Jan,

nicht jede Variable muss auf dem Weg vorkommen, weil der BDD reduziert ist, wie du richtig erkannt hast. Allerdings hat sich bei dir wahrscheinlich ein Fehler eingeschlichen, weil die BDDs unterschiedlich sind.

Gruß
Nadine