wieso wird knoten b aufgelöst

Question

Hallo 

anbei mein BDD, ich frage mich ob man nicht anstelle von dem rechten knoten b nicht hätte Knoten c eliminieren können ? dann wäre es anders als in meinem Diagramm die rechte kante von a aus würde dann zum c gehen mit einer 1

Answer 1

Hallo,

es wird Knoten b aufgelöst, da du sowohl mit 1 als auch mit 0 zu dem gleichem Knoten c kommst. Deshalb kann man direkt von a aus mit einer 1 zum c, wie du es im BDD richtig gemacht hast.

Von diesem Knoten c kommst du ja mit einer 0 zur 0 und mit einer 1 zur 1. Deshalb kann man diesen Knoten nicht auflösen, weil das Ergebnis ein anderes wäre (eine andere Funktion wiedergeben würde).

Eliminieren geht nur, wenn es egal ist und man immer zu dem selben Knoten kommt unabhängig von der Belegung (z.B. 0 und 1).

Viele Grüße

Anne (Tutor)