OBDD Binäre Entscheidungsbaum

Question

Aufgabe

Minimieren Sie das OBDD zur Variablenordnung \( x_{0}<x_{1}<x_{2}<x_{3} \).

Kreuzen Sie alle Terme an, die disjunktiv verknüpft dem minimierten OBDD entsprechen.

Wählen Sie eine oder mehrere Antworten:

A: \( \overline{x_{0}} x_{2} \)

B: \( x_{0} \)

C: \( \overline{x_{0}} \overline{x_{1}} x_{2} \)

D: \( \overline{x_{0}} x_{1} \)