Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in BIN-AF

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

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^^

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

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