OBDD-Synthese bezeichnet ein Verfahren, um aus zwei gegebenen πOBDD Gg und Gh, die jeweils eine logische
Funktion fg bzw. fh repräsentieren, und einer logischen Verknüpfung ⊗, ein kombiniertes πOBDD Gk zu erstellen,
welches die logische Funktion fg ⊗ fh darstellt.
a. Berechnen Sie in dieser Aufgabe für die beiden gegebenen πOBDD G1 und G2 für die beiden Funktionen f1 und
f2, beide mit π = (x1, x2, x3, x4), das synthetisierte πOBDD G3, welches die Funktion f1 ∧ f2 repräsentiert.
b. Geben Sie eine (sinnvolle) obere Schranke für die Laufzeit des Algorithmus in Abhängigkeit von der Variablenordnung π = (x1,..., xn) an und begründen Sie diese Schranke.
