Leitfaden für Lehrer: Wahrheitstabellen

Lerne, Schritt für Schritt eine Wahrheitstabelle für einen zusammengesetzten Ausdruck aufzustellen und damit Tautologien, Widersprüche und äquivalente Ausdrücke zu erkennen.

Lektion präsentierenSchülerseite anzeigen

Diese Lektion im Unterricht nutzen

Kostenlos, keine Schülerkonten nötig.

Mit Schülern teilen

Die Schüler öffnen die Lektion und üben mit sofortigem Feedback.

Arbeitsblatt zum Drucken

Alle Übungsaufgaben auf Papier, mit separatem Lösungsblatt.

Arbeitsblatt Lösungen

Klassenquiz

10 Fragen zu Boolesche Logik. Die Schüler machen mit einem Namen mit, du siehst alle Ergebnisse.

Für Lehrer

Lernziele

Die Anzahl der Zeilen einer Wahrheitstabelle mit $2^n$ bestimmen
Die Variablenspalten einer Wahrheitstabelle für 2 und 3 Variablen systematisch füllen
Die Ergebnisspalte eines zusammengesetzten Ausdrucks mit Hilfsspalten aufbauen
Tautologien, Widersprüche und Kontingenzen an der Ergebnisspalte erkennen
Mit Wahrheitstabellen entscheiden, ob zwei Ausdrücke logisch äquivalent sind

Voraussetzungen

• Verständnis von wahren und falschen Aussagen (Einführung in die Boolesche Logik, Wahre und falsche Aussagen)
• Die Verknüpfungen UND, ODER und NICHT und ihre einfachen Wahrheitstabellen
• Zweierpotenzen wie $2^3 = 8$

Diskussionsstarter

1. Warum wäre eine Tabelle mit 10 Variablen von Hand kaum machbar? Wie viele Zeilen hätte sie?
2. Zwei Freunde formulieren dieselbe Regel mit anderen Worten. Wie könnte eine Wahrheitstabelle klären, wer recht hat?
3. Fällt dir ein Satz ein, der immer wahr ist, egal was passiert? Warum ist er eine Tautologie?
4. Warum genügt eine einzige abweichende Zeile, um zu zeigen, dass zwei Ausdrücke nicht äquivalent sind?

Häufige Missverständnisse

Die Anzahl der Zeilen ist $2 \times n$ statt $2^n$

Abhilfe: Stelle mit der Klasse die Tabellen für 1, 2 und 3 Variablen auf und zähle die Zeilen: 2, 4, 8. Lass die Lernenden 4 Variablen vorhersagen und mit einem Baumdiagramm prüfen, das sich auf jeder Ebene in W und F verzweigt.

Ein NICHT vor einer Variable verneint den ganzen Ausdruck

Abhilfe: Stelle $\neg P \land Q$ und $\neg(P \land Q)$ nebeneinander und lass beide Tabellen erstellen. Die unterschiedlichen Ergebnisspalten zeigen, dass Klammern die Bedeutung ändern.

Wenn zwei Ausdrücke in den meisten Zeilen übereinstimmen, sind sie äquivalent

Abhilfe: Vergleiche $\neg(P \land Q)$ mit $\neg P \land \neg Q$ : Sie stimmen in zwei Zeilen überein und unterscheiden sich in zwei. Betone, dass Äquivalenz eine Prüfung aller Zeilen ist, wie zwei Lösungsblätter, die bei jeder Frage übereinstimmen müssen.

Differenzierungsideen

Für Schüler mit Schwierigkeiten:

• Mit einem NICHT und einem UND oder ODER beginnen, nur mit 2 Variablen und 4 Zeilen
• Vorgedruckte Tabellen geben, in denen die Variablenspalten schon ausgefüllt sind
• Farbige Textmarker verwenden: grün für W, rot für F, damit Muster sichtbar werden

Für Schüler auf Niveau:

• Vollständige Tabellen mit 3 Variablen und zwei Hilfsspalten erstellen
• Eine Liste von Ausdrücken als Tautologie, Widerspruch oder Kontingenz einordnen
• Beide De Morganschen Gesetze mit Wahrheitstabellen beweisen

Für fortgeschrittene Schüler:

• Einen Ausdruck finden, der zu einer vorgegebenen Ergebnisspalte passt (umgekehrte Wahrheitstabelle)
• Untersuchen, warum eine Tabelle mit 10 Variablen $2^{10} = 1024$ Zeilen hat, und besprechen, warum man dafür Computer nutzt
• Das Distributivgesetz $P \land (Q \lor R) \equiv (P \land Q) \lor (P \land R)$ beweisen

Standardausrichtung

CCSS.MATH.PRACTICE.MP6 (MP6)
Auf Genauigkeit achten
CCSS.MATH.PRACTICE.MP7 (MP7)
Strukturen erkennen und nutzen
CCSS.MATH.PRACTICE.MP3 (MP3)
Schlüssig argumentieren und die Argumentation anderer kritisch prüfen

Lektionsressourcen

visualInteraktive Wahrheitstabelle
Die Lernenden füllen die Ergebnisspalte für UND und ODER aus und prüfen ihre Antworten
activityZeilendetektive
Paare bekommen eine Tabelle mit einer fehlenden und einer doppelten Zeile und müssen beide finden und korrigieren
worksheetÄquivalent oder nicht?
Ausdruckspaare, die mit vollständigen Wahrheitstabellen verglichen werden, einschließlich beider De Morganschen Gesetze

Lektionsinhalt

Alles, was die Schüler sehen: Definition, Beispiele, typische Fehler, Anwendungen. Zum Öffnen tippen.

Definition

Eine Wahrheitstabelle listet jede mögliche Kombination von Wahrheitswerten der Variablen eines Ausdrucks auf und zeigt in jeder Zeile den Wert des ganzen Ausdrucks.

Wie viele Zeilen? Jede Variable kann W (wahr) oder F (falsch) sein, also verdoppelt jede neue Variable die Anzahl der Zeilen:

\text{Zeilen} = 2^n \quad (n = \text{Anzahl der Variablen})

2 Variablen brauchen also

2^2 = 4

Zeilen und 3 Variablen brauchen

2^3 = 8

Zeilen.

Eine Tabelle in 4 Schritten aufstellen:

1.Zähle die Variablen und schreibe $2^n$ leere Zeilen.
2.Fülle die Variablenspalten in fester Reihenfolge: Die erste Spalte ist zur Hälfte W, dann zur Hälfte F; jede weitere Spalte wechselt doppelt so oft; die letzte Spalte wechselt W, F, W, F.
3.Füge für jeden Teil des Ausdrucks eine Hilfsspalte hinzu, den innersten Teil zuerst (ein NICHT vor einer einzelnen Variable, dann die Klammern).
4.Kombiniere die Hilfsspalten zur Ergebnisspalte.

Beispiel:

P \land \neg Q

$P$	$Q$	$\neg Q$	$P \land \neg Q$
W	W	F	F
W	F	W	W
F	W	F	F
F	F	W	F

Die Ergebnisspalte verrät alles: Dieser Ausdruck ist in genau einer Zeile wahr, nämlich wenn

P

wahr und

Q

falsch ist.

Die Ergebnisspalte lesen:

Nur W: Der Ausdruck ist eine Tautologie (immer wahr).
Nur F: Er ist ein Widerspruch (immer falsch).
Zwei Ausdrücke mit derselben Ergebnisspalte in jeder Zeile sind logisch äquivalent.

Lösungsbeispiele

Stelle die Wahrheitstabelle für $P \lor \neg Q$ auf.

Zeilen zählen

Es gibt 2 Variablen, $P$ und $Q$ , also brauchen wir $2^2 = 4$ Zeilen

Variablenspalten füllen

$P$ : W, W, F, F (halb W, halb F). $Q$ : W, F, W, F (abwechselnd) → Alle 4 Kombinationen kommen genau einmal vor

Hilfsspalte $\neg Q$ hinzufügen

Kehre jeden Wert von $Q$ um: aus W, F, W, F wird F, W, F, W → $\neg Q$ : F, W, F, W

Mit ODER verknüpfen

Zeile für Zeile: W ODER F = W, W ODER W = W, F ODER F = F, F ODER W = W → $P \lor \neg Q$ : W, W, F, W

Antwort: Die Ergebnisspalte ist W, W, F, W. Der Ausdruck ist nur in Zeile 3 falsch, wo $P$ falsch und $Q$ wahr ist.

Häufige Fehler

Zu wenige Zeilen schreiben, zum Beispiel 6 Zeilen für 3 Variablen

Warum es falsch ist: Die Anzahl der Zeilen ist nicht $2 \times n$ . Jede Variable verdoppelt die Anzahl der Kombinationen, also ergeben 3 Variablen $2 \times 2 \times 2 = 8$ Zeilen.

Richtig: Nimm immer $2^n$ Zeilen: 4 für 2 Variablen, 8 für 3 Variablen, 16 für 4 Variablen.

Die Variablenspalten in zufälliger Reihenfolge füllen

Warum es falsch ist: Ohne System schreibt man leicht dieselbe Kombination zweimal und vergisst eine andere. Die Tabelle liefert dann ein falsches Urteil.

Richtig: Nutze das feste Muster: erste Spalte in Blöcken der halben Zeilenzahl, jede weitere Spalte in halb so langen Blöcken, letzte Spalte abwechselnd W, F.

$\neg P \land Q$ so behandeln, als wäre es $\neg(P \land Q)$

Warum es falsch ist: Ohne Klammern bezieht sich NICHT nur auf die Variable direkt dahinter. Die Version mit Klammern kehrt das Ergebnis des ganzen UND um.

Richtig: Lege eine Hilfsspalte für genau das an, worauf sich NICHT bezieht: nur $\neg P$ , oder zuerst $P \land Q$ und dann dessen Verneinung.

Zwei Ausdrücke für äquivalent halten, nachdem man nur einige Zeilen geprüft hat

Warum es falsch ist: Zwei Ausdrücke können in mehreren Zeilen übereinstimmen und sich trotzdem in einer unterscheiden. $\neg(P \land Q)$ und $\neg P \land \neg Q$ stimmen in den Zeilen 1 und 4 überein, aber nicht in den Zeilen 2 und 3.

Richtig: Vergleiche die Ergebnisspalten in jeder einzelnen Zeile. Äquivalent heißt: gleich in allen $2^n$ Zeilen.

Warum es wichtig ist

Eine Wahrheitstabelle ist der zuverlässigste Weg, eine logische Aussage zu prüfen, weil sie keinen Fall auslässt:

Programmieren: Bevor eine Bedingung wie (Mitglied ODER Gutschein) UND NICHT gesperrt online geht, prüfen Tester jede Kombination der Eingaben
Elektronik: Ingenieure entwerfen Schaltungen mit Wahrheitstabellen und ersetzen eine komplizierte Schaltung durch eine einfachere, günstigere, die dasselbe leistet
Sicherheit und Alarmanlagen: Eine Alarmanlage mit 4 Sensoren hat $2^4 = 16$ mögliche Zustände, und in jedem davon muss sie richtig reagieren
Argumente und Diskussionen: Eine Wahrheitstabelle zeigt, ob zwei Sätze wirklich dasselbe bedeuten oder nur ähnlich klingen
Rätsel und Spiele: Logikrätsel löst man, indem man Zeilen ausschließt, die nicht wahr sein können

Du weißt schon, wie UND, ODER und NICHT einzeln funktionieren. Mit Wahrheitstabellen kannst du sie zu beliebigen Ausdrücken kombinieren und dir trotzdem sicher sein, dass das Ergebnis stimmt.

Anwendungen im echten Leben

Alarmanlagen

Sicherheitstechniker listen jeden Zustand der Sensoren auf, um sicherzugehen, dass die Alarmanlage in jedem Fall richtig reagiert.

Beispiel:

Eine Alarmanlage mit 3 Türsensoren hat $2^3 = 8$ Zustände, von allen Türen geschlossen bis allen Türen offen.

1Probiere es selbst

Eine Hausalarmanlage hat 4 Sensoren, und jeder ist entweder an (W) oder aus (F). Der Alarm geht los, wenn mindestens ein Sensor an ist (ODER).

Wie viele Zeilen hat die Wahrheitstabelle, und in wie vielen davon geht der Alarm los?

Schritt 1: Schreibe den mathematischen Ausdruck

Schreibe die Anzahl der Zeilen als Zweierpotenz:

Software testen

Programmierer testen eine Bedingung mit jeder Kombination von Eingaben, und genau das ist eine Wahrheitstabelle.

Beispiel:

Eine Login-Regel (richtiges Passwort UND NICHT gesperrt) braucht $2^2 = 4$ Testfälle, um vollständig geprüft zu sein.

2Probiere es selbst

Ein Onlineshop gibt Rabatt, wenn $(M \lor C) \land \neg B$ gilt, wobei $M$ = ist Mitglied, $C$ = hat einen Gutschein, $B$ = Konto ist gesperrt.

Bei wie vielen der Eingabekombinationen bekommt die Kundin oder der Kunde den Rabatt?

Schritt 1: Schreibe den mathematischen Ausdruck

Schreibe die Anzahl der Testfälle als Zweierpotenz:

Schaltungen vereinfachen

Wenn zwei Schaltungen dieselbe Wahrheitstabelle haben, können Ingenieure die mit weniger oder günstigeren Bauteilen verwenden.

Beispiel:

Mit den De Morganschen Gesetzen kann man ein NICHT-UND durch ein ODER aus zwei NICHT ersetzen, ohne zu ändern, was die Schaltung tut.

3Probiere es selbst

Schaltung A berechnet $\neg(P \lor Q)$ . Schaltung B berechnet $\neg P \land \neg Q$ .

Liefern die beiden Schaltungen immer dasselbe Ergebnis?

Schritt 1: Schreibe den mathematischen Ausdruck

Schreibe die Anzahl der Zeilen als Zweierpotenz:

Wichtige Erkenntnisse

1Eine Wahrheitstabelle listet jede Kombination von Wahrheitswerten und den Wert des Ausdrucks in jeder Zeile auf
2Mit $n$ Variablen hat die Tabelle $2^n$ Zeilen: 4 bei 2 Variablen, 8 bei 3 Variablen
3Fülle die Variablenspalten in fester Reihenfolge: zuerst Blöcke der halben Zeilenzahl, die letzte Spalte abwechselnd W, F
4Nutze Hilfsspalten für jeden Teil des Ausdrucks, den innersten Teil zuerst
5Nur W in der Ergebnisspalte bedeutet Tautologie, nur F bedeutet Widerspruch
6Zwei Ausdrücke sind äquivalent, wenn ihre Ergebnisspalten in jeder Zeile übereinstimmen

Häufig gestellte Fragen

Warum verdoppelt jede neue Variable die Zeilen?

Jede bisherige Zeile lässt sich fortsetzen, indem die neue Variable W oder F ist. Jede Zeile teilt sich also in zwei: Aus 2 Zeilen werden 4, aus 4 werden 8 und so weiter, das ergibt

2^n

Spielt die Reihenfolge der Zeilen eine Rolle?

Jede Reihenfolge ist richtig, solange jede Kombination genau einmal vorkommt. Die Standardreihenfolge (beginnend mit lauter W) macht das Prüfen und Vergleichen von Tabellen leicht. Manche Bücher beginnen stattdessen mit F; die Zeilen sind dieselben, nur umgekehrt aufgelistet. Die interaktiven Tabellen in dieser Lektion verwenden die Standardreihenfolge.

Wie heißt ein Ausdruck, der weder Tautologie noch Widerspruch ist?

Man nennt ihn erfüllbar, aber nicht allgemeingültig (auch Kontingenz): Sein Wert hängt von den Eingaben ab. Die meisten alltäglichen Ausdrücke wie

P \land Q

sind von dieser Art.

Brauche ich immer Hilfsspalten?

Sie sind nicht vorgeschrieben, aber sie verhindern die meisten Fehler. Mit Übung kannst du kleine Schritte im Kopf zusammenfassen, doch bei 3 Variablen oder Klammern in Klammern sind Hilfsspalten der sicherste Weg.

Glossar

Wahrheitstabelle: Eine Tabelle, die den Wert eines Ausdrucks für jede Kombination seiner Variablen zeigt
Zusammengesetzter Ausdruck: Ein Ausdruck aus Variablen und Verknüpfungen, zum Beispiel $(P \land Q) \lor \neg R$
Hilfsspalte: Eine zusätzliche Spalte für einen Teil des Ausdrucks, mit der man die Ergebnisspalte Schritt für Schritt aufbaut
Tautologie: Ein Ausdruck, der in jeder Zeile wahr ist, zum Beispiel $P \lor \neg P$
Widerspruch (Kontradiktion): Ein Ausdruck, der in jeder Zeile falsch ist, zum Beispiel $P \land \neg P$
Logisch äquivalent: Zwei Ausdrücke mit demselben Wert in jeder Zeile, geschrieben mit $\equiv$

Formelkarte

Anzahl der Zeilen

\text{Zeilen} = 2^n

$n$ ist die Anzahl der Variablen: $2^2 = 4$, $2^3 = 8$, $2^4 = 16$

Tautologie

P \lor \neg P

Immer wahr: Die Ergebnisspalte besteht nur aus W

Widerspruch

P \land \neg P

Immer falsch: Die Ergebnisspalte besteht nur aus F

De Morgansche Gesetze

\neg(P \land Q) \equiv \neg P \lor \neg Q, \quad \neg(P \lor Q) \equiv \neg P \land \neg Q

Zwei Äquivalenzen, die du mit einer Wahrheitstabelle beweisen kannst

Mehr zu diesem Thema

Leitfaden für Lehrer: Wahrheitstabellen

Diese Lektion im Unterricht nutzen

Für Lehrer

Für Schüler mit Schwierigkeiten:

Für Schüler auf Niveau:

Für fortgeschrittene Schüler:

Lektionsinhalt

Definition

Lösungsbeispiele

Häufige Fehler

Warum es wichtig ist

Anwendungen im echten Leben

Alarmanlagen

Software testen

Schaltungen vereinfachen

Wichtige Erkenntnisse

Häufig gestellte Fragen

Glossar

Formelkarte

Anzahl der Zeilen

Tautologie

Widerspruch

De Morgansche Gesetze

Mehr zu diesem Thema

Einführung in die Boolesche Logik

Wahre und falsche Aussagen

Die UND-Operation

Die ODER-Verknüpfung