Hi,

ich weiß die frage ist fast triviakl, aber in welcher Reihenfolge baue ich einen BDD auf, wenn da steht nach Variablenordnung (x1<x2<x3<x4) steht?

Bei x1 < x2 < x3 < x4 wäre x1 "ganz oben"... entsprechend x4 "ganz unten", also zuerst Kofaktor nach x1 bilden, dann nach x2, usw.

Ist leider bei den Originalfolien etwas unter den Tisch gefallen. Aber auf den annotierten Folien zu Kap. 7.4 gibt es auf Seite 11 ein Beispiel bei dem auch die Variablenordnung in dieser Schreibweise stehen.