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
