Operationen mit ROBDDs (Plan)

binäre boolesche Operation f (n₁, n₂):

mit s(n_i) = (l_i, x_i, r_i)

• auf Blättern 0,1 Wert ausrechnen
• auf Knoten mit gleichen Variablen (x₁ = x = x₂)

  f (n₁, n₂) = f (¬x∧l₁∨x∧r₁,¬x∧l₂∨x∧r₂) = ¬x∧(f (l₁, l₂))∨x∧(f (r₁, r₂))

• auf Knoten mit versch. Variablen (x₁ > x₂)

  f (n₁, n₂) = f (¬x∧l₁∨x∧r₁, n₂) = ¬x∧(f (l₁, n₂))∨x∧(f (r₁, n₂)).