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.

Lehrermaterialien

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.

Mittelstufe25 MinLektion

Arbeitsblatt zum Drucken

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.

Probier es gleich aus

Wie viele Zeilen hat eine Wahrheitstabelle mit 3 Variablen?

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.

Interaktive Visualisierung

Wahrheitstabelle

AusdruckP ∧ Q ∨ ¬R

P	Q	R	P ∧ Q	¬R	P ∧ Q ∨ ¬R
W	W	W	W	F	W
W	W	F	W	W	W
W	F	W	F	F	F
W	F	F	F	W	W
F	W	W	F	F	F
F	W	F	F	W	W
F	F	W	F	F	F
F	F	F	F	W	W

W= WahrF= Falsch

Wahrheitstabelle

AusdruckP ∨ ¬Q

P	Q	P ∨ ¬Q
W	W
W	F
F	W
F	F

W= WahrF= Falsch

Interaktiver Sandkasten

Ausdrucksrechner

Probiere diese:

Verlauf

Noch keine Berechnungen

Übungsaufgaben

18 Aufgaben

Aufgabe 1 von 18

Einfach

Wie viele Zeilen hat eine Wahrheitstabelle mit 3 Variablen?

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

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

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

Definition

Lösungsbeispiele

Häufige Fehler

Interaktive Visualisierung

Wahrheitstabelle

Wahrheitstabelle

Interaktiver Sandkasten

Ausdrucksrechner

Verlauf

Übungsaufgaben

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