Theoretische und technische Informatik - ganz praktisch - Letzte Aktivität in Binary Decision Diagram

Kommentiert: BDD Bonusklausur 2022

Sat, 12 Feb 2022 09:05:01 +0000

Daraus ergibt sich noch eine kleine Frage von meiner Seite:
Wie ist die Definition eines BDDs?
Ist ein BDD ein (immer) minimaler Baum oder kann ein BDD auch nicht minimale sein, also wie du beschrieben hast, durch z.B. replizieren eines Knotens oder einfach der "Ausgangsbaum"?

Beantwortet: Ausführlichkeit - BDD

Thu, 10 Feb 2022 07:57:04 +0000

Hallo,

Da das Info2-Klausurformat jetzt auf Online in Form eines Ilias-Tests umgestellt wurde und keine Lösungswege hochgeladen werden müssen, ist es prinzipiell egal wie ausführlich oder nicht ausführlich die Rechenwege sind.

Beantwortet: Braucht man bei BDD Aufgaben den Losungsweg zu schreiben?

Sun, 21 Mar 2021 13:26:35 +0000

Hey ujnac,

diese Frage wurde auch schon im Ilias-Forum gestellt und beantwortet. Da wir Tutoren die Klausur auch nicht kennen, können wir da keine verbindliche Aussage treffen - aber vermutlich würde in einer entsprechenden Aufgabe gegeben sein, in welcher Form / Ausführlichkeit man die Lösung angeben muss.

Beste Grüße,

Martin (Tutor)

Beantwortet: Aufgaben vom Typ Boolesche Funktion -> BDD relevant?

Mon, 03 Feb 2020 13:05:31 +0000

Allgemein kommen in der Klausur nur Aufgaben dran, die entweder im Kontext der Tutorien bzw. der Vorlesung anhand von existierenden Aufgaben und Beispielen behandelt wurden oder welche, die man mit dem aus der Vorlesung übermittelten Wissen lösen sollen könnte.

Gute Anlaufstellen für die Vorbereitung - wie Sie schon ganz richtig angefangen haben - sind die Vorlesungen (& Folien dazu), Tutorien, Alt-Klausuren und die Übungsbücher. Es kann aber vorkommen, dass Aufgaben aus den Übungsbüchern oder Alt-Klausuren thematisch nicht mehr zur Vorlesung passen, da letztere dieses Jahr angepasst wurde.

Beantwortet: BDD wie viele Schritte für Klausur

Sun, 11 Feb 2018 16:33:06 +0000

Hallo,

wenn nichts anderes dabei steht, reicht die Lösung. Wenn allerdings keine Zwischenschritte angegeben werden und die Lösung nicht komplett richtig ist, wird es schwieriger, Teilpunkte zu vergeben, weil wir nicht nachvollziehen können, wo genau der Fehler passiert ist.
http://info2.aifb.kit.edu/qa/index.php?qa=4169&qa_1=ausführlichkeit-der-lösung-eines-bdd

Viele Grüße
Julia (Tutorin)

Beantwortet: Vereinfachung Boolscher Ausdruck

Fri, 28 Jul 2017 06:34:52 +0000

Boolesche Ausdrücke müssen Sie normalerweise nicht (oder höchstens auf sehr einfache und offensichtliche Weise) vereinfachen.

BDDs sind allerdings definitionsgemäß vollständig vereinfachte Funktionsgraphen, da reicht es natürlich nicht, wenn Sie einen Zwischenschritt angeben.

Kommentiert: Binary Decision Diagram Aufgabe 20 b)

Mon, 13 Feb 2017 17:13:01 +0000

Alles klar, danke!

Beantwortet: Herleitung Boolschen Ausdruck

Sun, 12 Feb 2017 06:43:36 +0000

Hallo,

theoretisch düfen sie das hier schon so umformen, nur sind sie dann eben noch nicht fertig, da diese Umformung ja noch keine wirkliche Vereinfachung darstellt. Hieran könnten sie jetzt aber erkennen, dass c immer wahr sein muss und entweder a oder b wahr sein darf und somit auf den endgültigen Ausdruck kommen.

Auch in Aufgabe 20 stellt dieser Umformungsschritt nur einen Zwischenschritt dar, der zu verstehen hilft, wie man danach weiter vereinfachen kann.

Liebe Grüße

Antwort ausgewählt: BDD Wahrheitstabelle bei Variablen "Wegfall"

Sat, 11 Feb 2017 07:56:48 +0000

Ja, genau so ist es.

Beantwortet: letzte Vereinfachungsschritt bei b)

Fri, 03 Feb 2017 17:26:14 +0000

Hallo,

diese Frage wurde unter "Boolescher Ausdruck über BDD" bereits beantwortet:

Viele Grüße

Monika (Tutorin)

Beantwortet: BDD erstellen

Fri, 03 Feb 2017 10:36:42 +0000

Hallo uneqv,

prinzipiell muss nur das Endergebnis korrekt sein. Es ist aber sehr zu empfehlen, die Zwischenschritte anzugeben, da im Falle eines falschen Endergebnisses dann immer noch Teilpunkte vergeben werden können!

Viele Grüße

Monika (Tutorin)

Beantwortet: Aufgabenteil b) Vereinfachung der DNF

Thu, 02 Feb 2017 21:51:24 +0000

Du hast keinen Denkfehler. Du hast dich aber verschrieben. Du meintest wahrscheinlich "...der zweite Ausdruck eine 1 liefert, ...". .Aber ja, du hast Recht. Die beiden Ausdrücke sind nicht äquivalent.

Dein Lösungsvorschlag ist richtig.

Man kann bei solchen Vereinfachungen schnell Fehler machen. Deshalb kann ich dir nur raten, in der Klausur den Ausdruck in der langen Form stehen zu lassen, außer es wird in der Aufgabenstellung explizit verlangt oder es hilft in folgenden Aufgaben.

Viele Grüße

Philipp (Tutor)

Beantwortet: Wieso ist 1+b' immer erfüllt?

Mon, 13 Jun 2016 06:49:39 +0000

wahr oder wahr = wahr oder falsch = wahr.

Grüße

Lukas König

Beantwortet: Ausführlichkeit der Lösung eines BDD

Thu, 11 Feb 2016 14:49:26 +0000

Hallo uudub,

hier findest du die Antwort ;)

http://info2.aifb.kit.edu/qa/index.php?qa=2917&qa_1=festgelegte-vorgehensweise-bei-bdd&show=2917#q2917

Viele Grüße,

Tim

Beantwortet: Zwischenschritte angeben?

Tue, 09 Feb 2016 17:07:35 +0000

Hallo,

du darfst mehrere vereinfachungen auch in einem schritt machen. Falls dein bdd am ende falsch ist und logische zwischenschritte erkennbar sind, bekommst du auf jeden fall eher teilpunkte, als wenn du nur die endlösung zb angibst. Solange also noch zwischenschritte erkennbar sind, geht das auch in ordnung.

Lg,

maren (tutor)

Beantwortet: Vereinfachung des Boolschen Ausdrucks

Fri, 05 Feb 2016 12:43:19 +0000

Hallo,

nein so ganz stimmt das nicht, du könntest es auch:

1. a' (b XOR c) + a'bc + ab

oder

2. a' (b XOR c) + abc' + bc

zusammenfassen ;)

Viele Grüße,

Marc (Tutor)

Beantwortet: Darstellungsform BDD

Sun, 17 Jan 2016 13:20:02 +0000

Solange es eindeutig ist, sind wir beim Korrigieren im Prinzip kulant. Auf welcher Höhe das b steht und wo herum Sie den Pfeil zeichnen, ist uns egal. Auch mal eine Pfeilspitze vergessen ist in Ordnung.

Sie sollten sich aber generell an die Struktur halten, die wir in Vorlesung und Übungen vorgeben. Auch wenn wir nur in Extremfällen Punkte für sowas abziehen würden, erleichtert es uns die Korrektur, wenn Sie nicht eigene neue Darstellungen erfinden; und auch für Sie ist es sicher vorteilhaft, wenn Sie sich eine gewisse Routine angewöhnen, die mit dem übereinstimmt, was wir vorgeben.

Kommentiert: Boolescher Ausdruck über BDD

Sat, 16 Jan 2016 17:22:44 +0000

Hier wird das Distributivgesetz der Booleschen Algebra angewendet:

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

mit (b+b')=1 (Komplementärgesetz)

Beantwortet: Auch mit Button-up-Prinzip vereinbar?

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

So lange Sie das richtige Ergebnis rausbekommen, können Sie es machen, wie Sie es wollen.

Viele Grüße

Friederike Pfeiffer-Bohnen und Lukas König

Beantwortet: Alternativer Lösungsansatz

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

Hallo,

beides ist möglich.

Gruß,

Adam (Tutor)

Beantwortet: Booleschen Ausdruck aus reduzierten Baum ablesen

Thu, 13 Nov 2014 10:20:31 +0000

Allgemein erstellen Sie den Booleschen Ausdruck, indem Sie alle Wege ablaufen, die zur Aussage true (also 1) führen und diese dann mit "+" verknüpfen. Sie erhalten dann den Booleschen Ausdruck in disjunktiver Normalform.

Viele Grüße

Friederike Pfeiffer-Bohnen und Lukas König

Beantwortet: Alternativer Lösungsvorschlag

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

Hallo,

deine Lösung stimmt auch. Du hast es einfach aus dem BDD abgelesen. Das ist vollkommen richtig!

Grüße Jördis ( Tutorin )

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

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

Hallo,

wenn in der Klausur nicht explizit ein minimaler Ausdruck gefordert ist, dann ist das so ausreichend.

Viele Grüße
Friederike Pfeiffer

Kommentiert: Umformulierung des Booleschen Terms

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

Wenn man ganz genau ist, ist es nicht dasselbe (siehe Vorlesungsfolien); da wir das aber selbst nicht konsistent gemacht haben, werden wir auch beide Schreibweisen in der Klausur gelten lassen.

Wir werden aber den Aufgabenpool verbessern.

Viele Grüße

Lukas König

Kommentiert: Darstellung des Booleschen Term als KNF

Tue, 04 Nov 2014 12:03:27 +0000

Hi,

wenn es nicht explizit angegeben ist, kann man Ausdrücke in DNF und KNF angeben, da sie sich durch Umformungen ineinander umwandeln lassen. Prinzipiell nutzen wir für boolsche Funktionen aber immer die DNF. Dadurch kann man am leichtesten erkennen, für welche Belegungen als Ergebnis 1 herauskommt.

Gruß,
Jonas (Tutor)

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

Tue, 04 Nov 2014 11:59:30 +0000

Hallo,

solange nicht ausdrücklich in der Aufgabenstellung danach gefragt ist, musst du die boolesche Funktion auch überhaupt nicht vereinfachen. Häufig gibt es aber vielleicht eine Folgeaufgabe, die mit der vereinfachten Form wesentlich leichter geht.

Beste Grüße

Fabian (Tutor)

Beantwortet: Wertetabelle mit Hilfe eines KV - Diagramms auflösen?

Tue, 04 Nov 2014 11:52:01 +0000

Wenn Sie auf die richtige Lösung kommen, können Sie gerne ein KV-Diagramm benutzen.

Viele Grüße

Lukas König

Kommentiert: Vereinfachung des Booleschen Ausdruck

Tue, 04 Nov 2014 11:49:26 +0000

Stimmt genau, wir werden das auch im Pool so noch weiter vereinfachen.

Danke und viele Grüße
Friederike Pfeiffer

Beantwortet: Muss ein BDD minimiert werden?

Tue, 04 Nov 2014 11:40:16 +0000

Die Minimierung geht sehr wohl aus der Aufgabenstellung hervor. Ein BDD ist nach Definition immer minimiert!

Viele Grüße

Lukas König und Friederike Pfeiffer-Bohnen

Beantwortet: Vereinfachung zur schnelleren Lösungsfindung

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

Zudem gilt hier:

Wenn Sie einen Fehler machen und Zwischenschritte nicht angegeben sind, und demnach nicht nachvollziehbar ist, wo der Fehler entstanden ist, dann können wir Ihnen auch keine Teilpunkte geben.

Viele Grüße

Friederike Pfeiffer-Bohnen und Lukas König

Erneut getaggt: Umformung BDD

Wed, 22 Oct 2014 18:05:33 +0000

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

Erneut getaggt: Umformung

Wed, 22 Oct 2014 18:05:15 +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ß

Erneut getaggt: Umforumung

Wed, 22 Oct 2014 18:04:32 +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'+(...)