ROBDD

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


Für die boolesche Funktion G mathend000#:

bin(x1, x0)≥bin(y1, y0)

mathend000#

(Größenvergleiche von Binärzahlen,
x0 mathend000# und y0 mathend000# sind jeweils LSB)



2014-03-31