Boolesche Funktion durch rekursive Shannon-Zerlegung eines ROBDD entwickeln und als Polynom darstellen

Question

Hallo zusammen,

mir wurde folgende Aufgabe gestellt bei der ich nicht weiter komme:

Entwickeln Sie aus dem folgenden ROBDD die dargestellte boolesche Funktion, in dem Sie die ShannonZerlegung rekursiv anwenden. Stellen Sie die Funktion dann als Polynom dar.

Ich hoffe jemand kann mir helfen. Danke im voraus!