OBDD Binäre Entscheidungsbaum

Question

Aufgabe

Minimieren Sie das OBDD zur Variablenordnung x0<x1<x2<x3

Kann jemand mir helfen?

Problem/Ansatz:

Text erkannt:

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:
\( \overline{x_{0}} x_{2} \)
\( x_{0} \)
\( \overline{x_{0}} \overline{x_{1}} x_{2} \)
\( \overline{x_{0}} x_{1} \)