Kommentiert: kann mir jemand alle Formel für die Umformung des BDD geben bzw verlinken

Mon, 18 Jan 2016 15:24:32 +0000

Hallo urdov,

1) gut, wenn Dir die Antwort helfen konnte
2) die Frage scheint falsch einsortiert zu sein, da ich vermute es geht um BIN-AG.korrekt?
3) durch ablesen vom BDD bekommt man schon die korrekte, vereinfachte Form heraus, da der BDD der minimale Baum (Variablenreihenfolge) ist. Wie in meiner Antwort angegeben, kann man diesen aus dem Graphen erzeugen.
4)die Aufgabe besteht darin, die Funktion anzugeben. Das erfuellt auch direkt die aus dem BDD abgelesene Form. Dazu ist es nicht notwendig diese Umzuwandeln. Die Korrektheit laesst sich ggf. durch die Anwendung der Regeln fuer boolsche Ausdruecke angeben. (https://de.wikipedia.org/wiki/Boolesche_Algebra#Definition)
Viel Erfolg, Marvin (Tutor)

Theoretische und technische Informatik - ganz praktisch - Letzte Aktivität in Band II, Kapitel 3

Kommentiert: kann mir jemand alle Formel für die Umformung des BDD geben bzw verlinken