\begin{slide}{ROBDD}

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

\bigskip

Für die boolesche Funktion $G$:

\newcommand{\bin}{\operatorname{bin}}

\[ \bin(x_1,x_0) \ge \bin (y_1,y_0) \]

(Größenvergleiche von Binärzahlen, \\
$x_0$ und $y_0$ sind jeweils LSB)

\begin{itemize}
\item Bestimmen Sie das ROBDD von $G$ \\
für die Variablenreihenfolge $x_0,x_1,y_0,y_1$.
\item Geben Sie besser Variablenreihenfolge an

  (zu der ein kleineres ROBDD von $G$ gehört,
  das Sie auch angeben sollen)
\end{itemize}


\end{slide}
