notwendig BDD minimal anzugeben?

Question

d.) ist es bei solchen Aufgaben ausreichend ein korrektes BDD anzugeben? Oder muss dieses die minimal mögliche Anzahl an Knoten haben?

Nicht explizit zu dieser Aufgabe:  wenn aus einem BDD ein boolscher Term konstruiert werden soll. Reicht die Korrektheit oder muss dieser möglichst kurz sein?

Answer 1

Ein BDD ist immer der vollständig reduzierte Funktionsgraph. Es ist also nur korrekt, wenn es die minimale Anzahl an Knoten bezüglich der vorgegebenen Variablenreihenfolge hat.

Wenn nicht nach einem möglichst kurzen boolschen Term gefragt ist, reicht es, wenn dieser korrekt ist.

Viele Grüße
Julia (Tutorin)