Theoretische und technische Informatik - ganz praktisch - Letzte Fragen & Antworten in BIN-AA

Beantwortet: BDD Bonusklausur 2022

Fri, 11 Feb 2022 21:45:35 +0000

Hi,

die maximale Knotenanzahl zu bestimmen ergibt nicht so wirklich Sinn (theoretisch könnte man Knoten mit gleicher Bedeutung unendlich oft vervielfachen und hätte immer noch ein Diagramm mit der gleichen Aussage vorliegen)

Die minimale Knotenanzahl (für eine bestimmte Variablenreihenfolge) bestimmst du indem du das BDD aufstellst. (Das BDD ist so definiert, dass es für die gleiche Variablenreihenfolge immer die minimale Anzahl an Knoten hat und gleich aussieht)

Da die Anzahl der Knoten des BDDs (und damit auch die minimale Anzahl) aber von der Reihenfolge der Variablen abhängt kann es einen Unterschied machen in welcher Reihenfolge diese dastehen.
[mgl. Variablenreihenfolgen bei den Var. x,y,z: (x,y,z), (x,z,y), (y,z,x), (y,x,z), (z,x,y) oder (z,y,x)]

in der hier verlinkten Aufgabe (BIN-AA) bspw. müssten wenn c oben steht 5 Knoten zustande kommen.

Vielleicht wurden deshalb in der Bonusklausur auch die beiden Formulierungen mit "4 oder weniger" sowie "3 oder mehr", damit Leute die die Reihenfolge anders gewählt hatten keinen Nachteil haben (Aber keine Garantie, ich hab die Aufgabe nicht wirklich angeschaut & auch nicht vorliegen).
Wie man jetzt auf die minimale Anzahl der Knoten kommt ohne alle BDDs aufzuzeichnen?:
Schau dir die Wahrheitstabelle an und versuche Abhängigkeiten zu finden
(in der Aufgabe BIN-AA siehst du dass wenn A 1 ist nur B entscheidet, ob am Ende "0" oder "1" herauskommt. Daraus kann man schließen, dass man hier das eine C nicht braucht)

Ich hoffe das hilft weiter

Grüße

Constantin
(Tutor)

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: 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: 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: 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: 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: Boolescher Ausdruck über BDD

Sat, 16 Jan 2016 09:25:49 +0000

Hallo ukdxs,

deine Lösung ist richtig! Wenn du deinen Ausdruck noch vereinfachst, kommst du auf die Lösung im Buch. a'b + ab = b und b+ a'b'c = b+ a'c.

Viele Grüße

Gregor (Tutor)

Beantwortet: Darstellung des Booleschen Term als KNF

Tue, 04 Nov 2014 12:02:17 +0000

Hallo,

ja dein Term stimmt. Vereinfach mit Hilfe der Info 1 Regeln.

(a+b+c)(a'+b+c) zu (b+c),

da unabhängig von a bzw. einfach (b+c) ausklammern.

(b+c)(a'+b+c') zu b(a'+b+c')+c(a'+b+c') zu b+c(a'+b),

erst "ausmultiplizieren", erster Ausdruck nur von b abhängig, bei zweiter Klammer muss c 1 sein, damit ist aber c' in der Klammer automatisch 0, also nicht relevant.

-> b+ca'+cb ->b(1+c)+ca' -> b+ca',

was auch in der Lösung rauskommt.

Gruß,

Adam (Tutor)

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

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

Du kannst dir überlegen was passiert wenn y wahr bzw. falsch ist. Wenn y wahr wäre, wäre das Ergebnis durch das einzelne y sowieso immer wahr. Wenn y aber falsch wäre, dann ist ja y' war und in dem Fall kannst du das y' dann auch einfach weglassen, da bei beiden möglichen Belegungen von y wieder das richtige Ergebnis rauskommt.

Ein verkürzter Ausruck ist zwar schöner, aber achte in der Klausur darauf, ob nach einem optimal verkürzten boolschen Ausdruck gefragt ist oder nur nach einem möglichen Ausdruck. In letzterem Fall kannst du dir die Arbeit mit dem Verkürzen nämlich sparen und die gewonnene Zeit für andere Aufgaben nutzen ;-)

Viele Grüße

Patrick (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

Beantwortet: Vereinfachung des Booleschen Ausdruck

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

Sie können folgendermaßen vorgehen:
Der aus der Wertetabelle abzulesende Ausdruck ist folgender:
x'y'z + x'yz' + x'yz + xyz' + xyz

Dieser kann weiter vereinfacht werden:
x'yz + xyz vereinfachen zu yz
x'yz' + xyz' vereinfachen zu yz'
yz + yz' vereinfachen zu y
Somit kommen insgesamt auf x'y'z + y

Viele Grüße
Friederike Pfeiffer