Boolesche Ausdrücke müssen Sie normalerweise nicht (oder höchstens auf sehr einfache und offensichtliche Weise) vereinfachen.
BDDs sind allerdings definitionsgemäß vollständig vereinfachte Funktionsgraphen, da reicht es natürlich nicht, wenn Sie einen Zwischenschritt angeben.