Schaltkreis als RBBD |
Dr.Java
Foren As
Dabei seit: 21.03.2016
Beiträge: 99
|
|
Ups. Ich meine BDD und RBDD nicht BBD . BDD steht für Binary Decision Diagram . Das dient zur Darstellung von Booleschen Funktionen oder Booleschen Tabellen.
So sieht das beispielweise aus. RBDD steht für Reduced Binary Decision Diagram. Es gibt nämlich häufig isomorphe Knoten die man dann streichen darf. Genau gesagt gibt es auch noch ROBDDs ,also Reduced Ordered Binary Decision Diagrams. Ordered insofern als das man dafür sorgt das Variablen immer in derselben Reihenfolge kommen.
Mein Problem betreffend, es funktioniert tatsächlich für die Funktionen eine Wahrheitstabelle zu erstellen,das ist allerdings äußerst zeitaufwendig. Deshalb frage ich mich ob es nicht ein schnelleres Verfahren gibt.
PS. Der Witz an der Aufgabe,wie ich festgestellt habe ,ist tatsächlich das es reicht entweder g/f spezifisch oder f/gSchaltkreis zu ermitteln. Es geht am Ende darum zu zeigen das die Funktionen und Schaltkreise deckungsgleich sind.
lg
__________________
Zitat: |
"Ich glaube, es gibt einen weltweiten Bedarf an vielleicht fünf Computern."
-Thomas Watson |
|
|
22.03.2017 21:47 |
|
|
Dr.Java
Foren As
Dabei seit: 21.03.2016
Beiträge: 99
|
|
Ok, trotzdem danke. Also mit den Tabellen klappt es auf jeden Fall ,muss nur noch ein System dafür entwickeln oder irgendeine Regelmäßigkeit.
Ansonsten wären anscheinenden noch ITE-Funktionen (IF THEN ELSE) eine ,anscheinend sogar effizientere Möglichkeit zur Aufstellung,aber da hab ich selbst den Dreh noch nicht raus.
lg
__________________
Zitat: |
"Ich glaube, es gibt einen weltweiten Bedarf an vielleicht fünf Computern."
-Thomas Watson |
|
|
23.03.2017 20:37 |
|
|
|