Hinweis: Für handschriftliche Notizen dürfen Sie die „NICHT“-Notation — also \(\neg\)A — auch als \(\overline{A}\) schreiben.

Aufgabe 1
Welche logische Funktion wird unter dem Begriff
a) Disjunktion
b) Konjunktion
verstanden?

Aufgabe 2
Was versteht man unter einer kanonischen Normalform? Erklären Sie.

Aufgabe 3
Die Normalform verbindet Terme mit logischen Ausdrücken (UND bzw. ODER). Dabei erscheint die eine Funktion in den jeweiligen Termen, während die andere Funktion diese Terme zu einer Gesamtaussage verknüpft.
Notieren Sie bei den Platzhaltern (…) das jeweilige Operationszeichen.
a) DNF: (…) … (…)
b) KNF: (…) … (…)

Aufgabe 4
Notieren Sie für die folgende Tabelle die DNF und die KNF.

a) DNF:
b) KNF:

Aufgabe 5
Schreiben Sie für die folgende Tabelle die DNF an:

Aufgabe 6
Schreiben Sie für die folgende Tabelle die KNF an:

Aufgabe 7
Übertragen Sie folgende Ausdrucke in eine Wahrheitstabelle.
a) X = (\(\neg\)A \(\wedge\) \(\neg\)B \(\wedge\) \(\neg\)C) \(\vee\) (\(\neg\)A \(\wedge\) B \(\wedge\)C) \(\vee\) (A \(\wedge\) B \(\wedge\) C)
b) Y = (\(\neg\)A \(\vee\) \(\neg\)B \(\vee\) C) \(\wedge\) (\(\neg\)A \(\vee\) B \(\vee\)C) \(\wedge\) (A \(\vee\) \(\neg\)B \(\vee\) \(\neg\)C)

Aufgabe 8
Gegeben ist die folgende Situation in LogicTraffic.

1. Erstellen Sie – ohne Nutzung von LogicTraffic! – eine Wahrheitstabelle zu dieser Situation.
   
2. Leiten Sie aus dieser Wahrheitstabelle die KNF oder DNF ab. Sie entscheiden selber, welche Form Sie nutzen wollen.
3. Geben Sie Ihre Lösung dann im Editor von LogicTraffic ein.
4. Prüfen Sie Ihre Lösung, indem Sie den Test ausführen.

Sollte der Test nicht erfolgreich sein, überprüfen Sie Ihre Tabelle. Welche Situation haben Sie vergessen oder falsch eingeschätzt? Korrigieren Sie dann in der Wahreitstabelle die entsprechende Zeile und testen Sie erneut. Dies tun Sie, bis der Test erfolgreich ist.
Vergleichen Sie dann die Formel der Lösung mit Ihrer ursprünglichen Lösung.

zum Leitprogramm

© René Probst