Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in Binary Decision Diagram

BDD Bonusklausur 2022

Tue, 08 Feb 2022 16:11:29 +0000

Hallo zusammen,

meine Frage bezieht sich auf den BDD in der Bonusklausur.

Wie bestimme ich die maximale/ minimale Knotenzahl bzw. was ist damit gemeint?

BDD besteht aus 4 Knoten oder weniger.

BDD besteht aus 3 Knoten oder mehr.

Die Aussagen obendrüber sind als richtig angegeben in der Musterlösung, allerdings frage ich mich ob diese Aussagen einzeln betrachtet sich nicht ausschließen?

Wären Sie in einem Satz geschrieben würde es meiner Meinung nach nur stimmen.

upubh

Ausführlichkeit - BDD

Mon, 07 Feb 2022 16:54:32 +0000

Hallo zusammen,

wie viele Iterationen des BDD-Algorithmus müssen ausgeführt werden? Können mehrere Iterationen in einem Schritt gemacht werden?

Wenn nach jedem Iterationsschritt ein neuer Baum gemalt werden muss, dann verbraucht das offensichtlich sehr viel Zeit...

Danke

Braucht man bei BDD Aufgaben den Losungsweg zu schreiben?

Sun, 21 Mar 2021 10:44:45 +0000

Also bei Aufgaben wo steht "erzeugen Sie das zu f gehorende BDD"

Aufgaben vom Typ Boolesche Funktion -> BDD relevant?

Fri, 24 Jan 2020 07:59:01 +0000

Hallo,

sind die Aufgaben vom Typ Boolesche Funktion -> BDD für die Klausur relevant?

Im Buch sind das die Aufgaben 22 bis 24.

Da solch eine Aufgabe weder im Tut noch in Vorlesung behandelt wurde, aber BDD und Boolesche Algebra behandelt wurden bin ich mir nicht sicher.

Danke im Vorraus

BDD wie viele Schritte für Klausur

Sun, 11 Feb 2018 16:11:41 +0000

Hallo,

Wie viele vereinfachungsschritte müssen wir in der Klausur angeben? oder können wir auch direkt die Lösung aufzeichnen und bekommen volle Punktzahl?

Vereinfachung Boolscher Ausdruck

Fri, 28 Jul 2017 06:32:06 +0000

Guten Tag,

in wie weit müssen die Boolschen Ausdrücke zum Beispiel beim BDD vereinfacht werden?

LG

Herleitung Boolschen Ausdruck

Sat, 11 Feb 2017 19:13:57 +0000

Wieso können wir hier nicht wie in Aufgabe 20
ab′c+a′bc ->

c[ab'c+a'bc]

herleiten?

Ich verstehe wieso es falsch ist, aber nicht wann man diese Herleitungsweise benutzt werden darf oder nicht.

Vielen Dank^^

BDD Wahrheitstabelle bei Variablen "Wegfall"

Fri, 10 Feb 2017 17:24:20 +0000

Hallo,

Erstellt man das BDD und verkürzt es, so kann es ja sein, dass Variablen der unteren Äste "wegfallen", da sie nicht benötigt werden, weil sie bei jeder Eingabe auf das gleiche Element zeigen.

Nun ist die Frage: Sei eine Funktion f(a,b,c) und das c würde unter einem der beiden b's nicht mehr benötigt werden, ist der Wert dieses c's in der Wahrheitstabelle egal für f(a,b,c)=1 ?

(Bsp. Kap. BDD A18)

Binary Decision Diagram Aufgabe 20 b)

Fri, 10 Feb 2017 17:01:29 +0000

Hallo, ich habe 3 Fragen zu der Lösung.

in der zweiten Zeile wird zweimal a'bc' in der eckigen Klammer verwendet, ist dies erlaubt?

in der vierten Zeile wird acd in der eckigen Klammer verwendet, aber trotzdem dahinter aufgeschrieben, ist dies auch erlaubt?

Und in der fünften Zeile wird aus [a'bcd' + bc'] a'cd' , müsste es aber nicht abd' sein ?

letzte Vereinfachungsschritt bei b)

Fri, 03 Feb 2017 14:59:12 +0000

Hallo,

welcher Regel steckt hinter dem letzten Verinfachungsschritt:

a'b'c + b = a'c + b

Danke.

BDD erstellen

Thu, 02 Feb 2017 22:41:45 +0000

Hallo

Müssen in der Klausur alle Zwischenschritte beim Erstellen eines BDD in der richtigen Reihenfolge gemäß dem Algorithmus aufgeschrieben werden, oder kann man beliebige Zwischenschritte/ beliebige Reihenfolgen benutzen, solange am Ende das Ergebnis stimmt?

Danke

Aufgabenteil b) Vereinfachung der DNF

Thu, 02 Feb 2017 20:08:01 +0000

Guten Abend,

in der drittletzten Zeile der Vereinfachung der DNF verstehe ich den ersten Umformungsschritt nicht.
Hier wird folgende Umformung vorgenommen:

a'bcd' + bc' wird umgeformt zu bc' + a'cd'

Für die Belegung a=0, b=0, c=1 und d=0 liefert mir der erste Ausdruck allerdings eine 0, wohingegen der zweite Ausdruck eine 0 liefert, was die Gleichheit dieser beiden Ausdrücke widerlegt.

Müsste die Umformung nicht wie folgt aussehen:

a'bcd' + bc' wird umgeformt zu bc' + a'bd'

Wo liegt mein Denkfehler?

Vielen Dank und liebe Grüße!

Wieso ist 1+b' immer erfüllt?

Mon, 13 Jun 2016 00:25:53 +0000

Danke

Ausführlichkeit der Lösung eines BDD

Thu, 11 Feb 2016 14:36:17 +0000

Hallo. Wie ausführlich ist denn der Lösungsweg bei einer BDD- Aufgabe zu dokumentieren, wenn in der Aufgabenstellung steht man soll den Algorithmus aus der Vorlesung anwenden. Da die Vereinfacherungen meist relativ offentsichtlich sind, lasse ich oft mehrere Vereinfachungsschritte in einem Schritt zusammenfließen.

Wie sieht hier die Punktevergabe aus? Danke!

Zwischenschritte angeben?

Tue, 09 Feb 2016 16:45:36 +0000

Hallo,

muss der Graph nach jedem Schritt neu skizziert werden? Sprich, darf pro Abbildung nur eine Vereinfachung erfolgt sein, oder kann man auch gleich mehrere in einem Graph kombinieren?

Grüße, Martin

Vereinfachung des Boolschen Ausdrucks

Fri, 05 Feb 2016 12:13:46 +0000

Wäre auch diese Vereinfachung richtig?

a' (b XOR c) + a'bc + bc

Darstellungsform BDD

Sun, 17 Jan 2016 13:06:59 +0000

Hallo,

mich würde interessieren wie stark man bei der Darstellung des BDD eingeschränkt ist? Ich sehe gerade, dass ich an zwei Stellen die Pfeile vergessen habe, das ist natürlich nicht korrekt, aber stimmt das BDD ansonsten? Ich wollte der Übersichtlichkeitshalber das BDD so gestalten, dass sich die Pfeile nicht überschneiden, deshalb kommt der eine Pfeil auf die 0 in diesem Fall z.b. von unten. Ist das so generell auch korrekt?

Bei einer anderen Aufgabe sah die Musterlösung so aus:

Wäre es hier auch korrekt das b beispielsweise auch auf Höhe des anderen b's zu zeichnen?

Mich würde generell also interessieren ob es bei der Zeichnung der BDD's irgendwelche Einschränkungen gibt, oder ob es quasi egal ist, so lange man die richtigen Knoten mit Pfeilen verbindet. (So wie es bei Graphen der Fall ist)

Vielen Dank

Boolescher Ausdruck über BDD

Sat, 16 Jan 2016 09:01:27 +0000

Hallo,

wenn ich den booleschen Ausdruck aus dem BDD ablesen möchte, komme ich nicht auf den in der Lösung angegebenen Ausdruck. Wenn ich im BDD alle Wege zur 1 notiere komme ich auf: a'b+a'b'c+ab. Dies entspricht jedoch nicht der Lösung.

Was mache ich falsch?

Vielen Dank im Voraus

Auch mit Button-up-Prinzip vereinbar?

Thu, 13 Nov 2014 10:24:55 +0000

Wäre das mit dem Button-up-Prinzip vereinbar, oder wäre es besser das erst wie in der Musterlösung später zu machen?

Ich fände es einfacher das am Anfang zu machen, aber deshalb Punkte abgezogen zu bekommen wenn man es nach Button-Up machen sollte wäre schlecht :)

Alternativer Lösungsansatz

Thu, 13 Nov 2014 10:22:09 +0000

Warum verschmelze ich nicht als erstes den ganz rechten Teilbaum (Wurzel c) mit dem ganz links? Diese sind doch identisch, oder irre ich mich da?

Booleschen Ausdruck aus reduzierten Baum ablesen

Thu, 13 Nov 2014 10:19:55 +0000

Unabhängig von der Aufgabe:

Ich verstehe im Allgemeinen nicht, wie ich den booleschen Ausdruck aus dem reduzierten Baum ablesen kann. Gibt's da ein Schema oder wie kommt man darauf?

Oder muss ich immer eine Wahrheitstafel aufstellen, DNF ablesen und umformen?

Danke

Alternativer Lösungsvorschlag

Thu, 13 Nov 2014 10:13:16 +0000

Ist (abc') + (a'bc)+ (ab') ebenfalls zu dem in der Musterlösung äquivalent?

Wie weit muss der Boolesche Ausdruck in der Klausur vereinfacht werden?

Thu, 13 Nov 2014 10:12:06 +0000

Wie weit muss man denn in der Klausur den Boolschen Ausdruck vereinfachen, bzw. muss das überhaupt gemacht werden oder reicht auch: (xy´z´)+(x´yz)+(xyz´)+(xy´z) ?

Umformulierung des Booleschen Terms

Thu, 13 Nov 2014 10:07:50 +0000

der Boolsche Ausdruck muss der nicht beim ersten Term a^(b' v bc') sein?

In der Musterlösung steht ja a^(b' v c') also statt bc'nur c'. warum kann ich hier auch nur c' machen?

Darstellung des Booleschen Term als KNF

Tue, 04 Nov 2014 12:01:54 +0000

Hallo,

es müsste doch auch möglich sein, den Booleschen Term als KNF aufzustellen, also

f(a,b,c) = (a+b+c)(a'+b+c)(a'+b+c')

Wäre das auch richtig?

Wie könnte ich diesen Term dann vereinfachen?

Gruß

Lösungsschritt: y + x'y'z auf x'z + y ?

Tue, 04 Nov 2014 11:58:06 +0000

Hi,

wie komme ich von

y + x'y'z

auf

x'z + y

???

Wertetabelle mit Hilfe eines KV - Diagramms auflösen?

Tue, 04 Nov 2014 11:51:05 +0000

Ich wollte dringend fragen ob ich Wertetabelle auch mit Hilfe eines KV - Diagramms auflösen kann?

wird diese Vorgehensweise in der Klausur zugelassen?

hier würde ich auf f = y + z x' kommen stimmt das ebenfalls?

Vereinfachung des Booleschen Ausdruck

Tue, 04 Nov 2014 11:46:34 +0000

allo,

wie komme ich hier auf den vereinfachten Booleschen Ausdruck?

Muss ein BDD minimiert werden?

Tue, 04 Nov 2014 11:39:54 +0000

Das der BDD minimiert werden muss, geht nicht aus der Aufgabenstellung hervor oder? Sprich bei einer Aufgabenstellung dieser Form, würde in der Klausur auch der nicht minimierte Baum ausreichen?

VG und Dank

Niko

Vereinfachung zur schnelleren Lösungsfindung

Tue, 04 Nov 2014 11:33:13 +0000

Wäre es hier nicht viel leichter aus der Wahrheitstafel direkt den vereinfachten boolischen Ausdruck abzuleiten, statt 5 mal den Baum zu zeichnen?

Aus der Tabelle kann man ablesen: a'b'c + a'bc' + a

Wenn man nun anhand dieses Terms den Baum zeichnet ist man mit weniger Schritten schneller am Ziel.

Umforumung

Wed, 22 Oct 2014 17:32:36 +0000

Hey,

Wie funktioniert die Umformung a(b+c')(b'+c')+(...) zu ac'+(...) (2. zur 3. Zeile in der Musterlösung)

In der 2. Zeile wird doch das b in der ersten Konjunkion gleich 1 gesetzt und vor dem Term gezogen. Ich habe dann folgendes raus: abc'+(...)

Umformung

Wed, 22 Oct 2014 17:31:12 +0000

Hallo,

ich kann nicht nachvollziehen, wie man von "a · f(1, b, c) + a' · f(0, b, c)" auf

"a · (b + c') · (b' + c') + a' · b' · (b' + c')" kommt.

Danke und Gruß

Umformung BDD

Wed, 22 Oct 2014 17:29:26 +0000

Kann mir hier jemand helfen, wie ich beim umformen der shannon-Formel auf die letzte Zeile komme?