Nächste Seite: Lineare Ungleichungen Aufwärts: Testklausur KW23 Vorherige Seite: SAT, CNF, Kodierung

ROBDD

Definieren Sie (jeweils Wort und Bedeutung): B, R, O.

Für die boolesche Funktion G mathend000#:

mathend000#

(Größenvergleiche von Binärzahlen,
x₀ mathend000# und y₀ mathend000# sind jeweils LSB)

• Bestimmen Sie das ROBDD von G mathend000#
  für die Variablenreihenfolge x₀, x₁, y₀, y₁ mathend000#.
• Geben Sie besser Variablenreihenfolge an

  (zu der ein kleineres ROBDD von G mathend000# gehört, das Sie auch angeben sollen)