BDD

Auf dieser Seite können Binary Decision Diagrams (kurz BDD) aus einer Formel erstellt werden. Die BDDs sind leider nicht besonders schön, da ich noch keine dynamisch, schöne Umordnungsfunktion geschrieben habe – die Elemente können jedoch per Drag-And-Drop verschoben werden.
Die logischen Funktionen können wie auf der Seite Gatter eingegeben werden. Diese werden anschließend in eine DMF gebracht und als BDD dargestellt.
Formel:OK

Beispiele aus der Übung:

Übung 5: x^y (Reihenfolge: xy), (x+y)*z (Reihenfolge: zxy), xy-z+-(x+-y+z) (Reihenfolge: zyx)
Übung 6: -a-c+b+-c-d+adc (Reihenfolge: bcad)
Miniklausur: (-x_2x_1)+(x_1-x_0) (Reihenfolge: x_2x_1x_0)

Weitere Beispiele zum Üben:

abc+-a-c-b+c-a (Reihenfolge: acb,cab,...), a+-b+ac (Reihenfolge: abc), (x+y)*z+f, a_{wasistdas}+a_2b, ...

Funktionstabelle:

Minimierung:

DMF:

Petrick: