Woher weiß ich, welches Gesetz als Nächstes dran ist?

Achte auf Muster: Ein NICHT vor einer Klammer verlangt De Morgan, eine Variable, die in zwei Klammern vorkommt, verlangt Ausklammern (Distributivgesetz), und eine Variable neben ihrer eigenen Negation verlangt das Komplementgesetz. Die Konstanten 0 und 1 verschwinden mit dem Neutralitäts- und dem Extremalgesetz.

Brauche ich noch Wahrheitstabellen, wenn ich die Gesetze kenne?

Die Gesetze finden die Vereinfachung, die Wahrheitstabelle bestätigt sie. Eine Tabelle mit 2 Variablen hat nur 4 Zeilen, also ist sie eine schnelle und sichere Kontrolle, vor allem wenn du dir bei einem Schritt nicht sicher bist.

Kann ich ein Gesetz mit gewöhnlicher Arithmetik prüfen?

Ja, mit 0 und 1: $A \land B = A \times B$, $\neg A = 1 - A$ und $A \lor B = A + B - A \times B$. Zum Beispiel mit $A = 1$ und $B = 1$: $1 + 1 - 1 \times 1 = 1$, also $1 \lor 1 = 1$. Der Rechner in dieser Lektion arbeitet mit diesen Zahlen.

Lehrermaterialien

Boolesche Algebra

Lerne die Gesetze der booleschen Algebra, auch die De Morganschen Gesetze, vereinfache damit Ausdrücke Schritt für Schritt und prüfe das Ergebnis mit einer Wahrheitstabelle.

Fortgeschritten30 MinLektion

Arbeitsblatt zum Drucken

Definition

Die boolesche Algebra ist eine Sammlung von Gesetzen, mit denen man boolesche Ausdrücke umformt. Jedes Gesetz sagt, dass zwei Ausdrücke äquivalent sind: Sie haben für jede Eingabe denselben Wahrheitswert, also darfst du den einen immer durch den anderen ersetzen. Mit den Gesetzen kannst du einen Ausdruck vereinfachen, ohne jedes Mal eine neue Wahrheitstabelle aufzustellen.

Wir schreiben 1 für wahr und 0 für falsch (auch die interaktiven Wahrheitstabellen verwenden 1 und 0). In der Technik schreibt man oft

A \cdot B

für

A \land B

A + B

für

A \lor B

und

\overline{A}

für

\neg A

: Das bedeutet genau dasselbe. In dieser Lektion verwenden wir

\land

\lor

und

\neg

Die Gesetze (

A

B

und

C

sind boolesche Variablen):

Gesetz	UND-Form	ODER-Form
Neutralitätsgesetz	$A \land 1 = A$	$A \lor 0 = A$
Extremalgesetz (Dominanz)	$A \land 0 = 0$	$A \lor 1 = 1$
Idempotenzgesetz	$A \land A = A$	$A \lor A = A$
Komplementgesetz	$A \land \neg A = 0$	$A \lor \neg A = 1$
Doppelte Negation	$\neg\neg A = A$	(nur eine Form)
Kommutativgesetz	$A \land B = B \land A$	$A \lor B = B \lor A$
Assoziativgesetz	$(A \land B) \land C = A \land (B \land C)$	$(A \lor B) \lor C = A \lor (B \lor C)$
Distributivgesetz	$A \land (B \lor C) = (A \land B) \lor (A \land C)$	$A \lor (B \land C) = (A \lor B) \land (A \lor C)$
Absorptionsgesetz	$A \land (A \lor B) = A$	$A \lor (A \land B) = A$
De Morgan	$\neg(A \land B) = \neg A \lor \neg B$	$\neg(A \lor B) = \neg A \land \neg B$

Achte auf das Muster: Tauschst du in einer Spalte

\land

mit

\lor

und 0 mit 1, erhältst du die andere Spalte. Das nennt man Dualität.

Schritt für Schritt vereinfachen: Verwende pro Schritt ein Gesetz und nenne es. Prüfe dann das Ergebnis mit einer Wahrheitstabelle: Stimmen die Ergebnisspalten in jeder Zeile überein, ist die Vereinfachung richtig.

Probier es gleich aus

Welches Gesetz besagt

A \land \neg A = 0

Lösungsbeispiele

Vereinfache $(A \land 1) \lor (B \land 0)$ .

Wende das Neutralitätsgesetz auf die erste Klammer an

$A \land 1 = A$ , denn UND mit wahr ändert nichts → $A \lor (B \land 0)$

Wende das Extremalgesetz auf die zweite Klammer an

$B \land 0 = 0$ , denn UND mit falsch ist immer falsch → $A \lor 0$

Wende noch einmal das Neutralitätsgesetz an

$A \lor 0 = A$ , denn ODER mit falsch ändert nichts → $A$

Antwort: $(A \land 1) \lor (B \land 0) = A$ . Der Wert von $B$ spielt überhaupt keine Rolle.

Häufige Fehler

$\neg(A \land B) = \neg A \land \neg B$ schreiben

Warum es falsch ist: Das De Morgansche Gesetz dreht nicht nur die Variablen um, sondern auch den Operator. Teste $A = 1$ , $B = 0$ : Die linke Seite ist $\neg 0 = 1$ , die rechte Seite $0 \land 1 = 0$ .

Richtig: Strich brechen, Zeichen tauschen: $\neg(A \land B) = \neg A \lor \neg B$ und $\neg(A \lor B) = \neg A \land \neg B$ .

Regeln der gewöhnlichen Algebra verwenden, etwa $A \lor A = 2A$ oder $A \land A = A^2$

Warum es falsch ist: Boolesche Variablen sind nur 0 oder 1, und $1 \lor 1$ ist 1, nicht 2. Eine Variable zu wiederholen bringt nichts Neues.

Richtig: Verwende das Idempotenzgesetz: $A \lor A = A$ und $A \land A = A$ .

$A \lor B \land C$ als $(A \lor B) \land C$ lesen

Warum es falsch ist: UND wird vor ODER ausgewertet, genau wie Multiplikation vor Addition. Mit $A = 1$ , $B = 0$ , $C = 0$ ist der richtige Wert $1 \lor 0 = 1$ , die falsche Lesart ergibt aber $1 \land 0 = 0$ .

Richtig: Setze die Klammern, bevor du ein Gesetz anwendest: $A \lor B \land C = A \lor (B \land C)$ .

Das Komplementgesetz auf zwei verschiedene Variablen anwenden, etwa $A \land \neg B = 0$

Warum es falsch ist: Das Komplementgesetz gilt nur für eine Variable und ihre eigene Negation. Mit $A = 1$ , $B = 0$ : $A \land \neg B = 1 \land 1 = 1$ , nicht 0.

Richtig: Achte auf denselben Buchstaben: $A \land \neg A = 0$ und $B \lor \neg B = 1$ , aber $A \land \neg B$ lässt sich nicht vereinfachen.

Interaktive Visualisierung

Wahrheitstabelle

AusdruckA ∧ B ∨ A ∧ ¬B

A	B	A ∧ B	¬B	A ∧ ¬B	A ∧ B ∨ A ∧ ¬B
0	0	0	1	0	0
0	1	0	0	0	0
1	0	0	1	1	1
1	1	1	0	0	1

1= Wahr0= Falsch

Wahrheitstabelle

Operator wählen

A ∧ B

A	B	A ∧ B
0	0	0
0	1	0
1	0	0
1	1	1

1= Wahr0= Falsch

Interaktiver Sandkasten

Ausdrucksrechner

Probiere diese:

Verlauf

Noch keine Berechnungen

Übungsaufgaben

18 Aufgaben

Aufgabe 1 von 18

Einfach

Welches Gesetz besagt $A \land \neg A = 0$ ?

Warum es wichtig ist

Jedes

\land

\lor

und

\neg

in einem Ausdruck wird in einer Schaltung zu einem Logikgatter. Ein kürzerer Ausdruck bedeutet weniger Gatter, und weniger Gatter bedeuten einen Chip, der billiger, kleiner und schneller ist und weniger Strom verbraucht.

Elektronik: Ein Prozessor enthält Milliarden von Gattern. Spart man ein Gatter in einer Schaltung, die eine Million Mal kopiert wird, spart man eine Million Gatter
Programmierung: Eine Bedingung wie NICHT (Wochenende ODER Feiertag) lässt sich als (NICHT Wochenende) UND (NICHT Feiertag) schreiben, was oft leichter zu lesen und zu testen ist
Suche und Datenbanken: Ein Filter wie Mathe ODER (Mathe UND Logik) liefert genau dieselben Treffer wie nur Mathe
Beweise: Mit den Gesetzen kannst du zeigen, dass zwei Schaltungen oder zwei Bedingungen dasselbe tun, ohne jede Eingabe auszuprobieren

In der Lektion Wahrheitstabellen hast du Äquivalenzen Zeile für Zeile geprüft, und in der Lektion Logikgatter hast du Schaltungen gebaut. Die boolesche Algebra verbindet beides: Sie macht aus einer großen Schaltung eine kleine, und eine Wahrheitstabelle bestätigt, dass sich nichts geändert hat.

Anwendungen im echten Leben

Billigere Chips entwerfen

Chipdesigner vereinfachen jede Schaltung mit boolescher Algebra, bevor sie gebaut wird, denn jedes Gatter kostet Platz, Strom und Geld.

Beispiel:

Eine Schaltung für $(A \land B) \lor (A \land C)$ braucht 3 Gatter. Ausgeklammert als $A \land (B \lor C)$ braucht sie nur 2.

1Probiere es selbst

Ein Chip enthält 1000 Kopien einer Schaltung, die $(A \land B) \lor (A \land C)$ berechnet. Zähle ein Gatter für jedes $\land$ und jedes $\lor$ .

Wie viele Gatter spart der ganze Chip, wenn die Schaltung zu $A \land (B \lor C)$ vereinfacht wird?

Schritt 1: Schreibe den mathematischen Ausdruck

Schreibe die Ersparnis als Rechnung:

Lesbare Bedingungen im Programm

Programmierer nutzen die De Morganschen Gesetze, um verwirrende doppelte Verneinungen aus Bedingungen in ihrem Code zu entfernen.

Beispiel:

NICHT (Wochenende ODER Feiertag) ist dasselbe wie (NICHT Wochenende) UND (NICHT Feiertag): Der Laden hat an Tagen geöffnet, die keins von beiden sind.

2Probiere es selbst

Ein Programm öffnet ein Tor, wenn $\neg(\neg P \land \neg G)$ gilt. Dabei bedeutet $P$ , dass die Person einen Pass hat, und $G$ , dass sie auf der Gästeliste steht.

Was ist die einfachste Form der Bedingung, und wie viele NICHT-Operatoren fallen weg?

Schritt 1: Schreibe den mathematischen Ausdruck

Schreibe die Anzahl der NICHT-Operatoren vorher und nachher als Subtraktion:

Suchfilter

Suchmaschinen und Datenbanken vereinfachen Filter mit dem Absorptionsgesetz, bevor sie sie ausführen.

Beispiel:

Der Filter Mathe ODER (Mathe UND Logik) liefert genau dieselben Bücher wie der Filter Mathe.

3Probiere es selbst

Eine Bibliothek hat 40 Mathebücher, und 15 davon handeln auch von Logik. Jemand sucht nach Mathe ODER (Mathe UND Logik).

Wie viele Bücher liefert die Suche?

Schritt 1: Schreibe den mathematischen Ausdruck

Addiere die Mathebücher und die zusätzlichen Bücher, die (Mathe UND Logik) hinzufügt:

Wichtige Erkenntnisse

1Die boolesche Algebra formt einen Ausdruck mit Gesetzen in einen äquivalenten um, ohne jedes Mal eine neue Wahrheitstabelle
2Neutralitäts-, Extremal-, Idempotenz- und Komplementgesetz entfernen Konstanten und doppelte Variablen: $A \land 1 = A$ , $A \lor 1 = 1$ , $A \lor A = A$ , $A \land \neg A = 0$
3Kommutativ-, Assoziativ- und Distributivgesetz vertauschen, gruppieren um und klammern aus; in der booleschen Algebra ist auch ODER über UND distributiv
4Absorptionsgesetze: $A \lor (A \land B) = A$ und $A \land (A \lor B) = A$
5De Morgansche Gesetze: Strich brechen, Zeichen tauschen, $\neg(A \land B) = \neg A \lor \neg B$ und $\neg(A \lor B) = \neg A \land \neg B$
6Vereinfache mit einem Gesetz pro Schritt, nenne jedes Gesetz und prüfe das Ergebnis mit einer Wahrheitstabelle; ein einfacherer Ausdruck bedeutet weniger Gatter

Häufig gestellte Fragen

Weil boolesche Variablen nur 0 oder 1 sind. Prüfe beide Fälle: Ist

A = 1

, sind beide Seiten von

A \lor (B \land C) = (A \lor B) \land (A \lor C)

gleich 1; ist

A = 0

, werden beide Seiten zu

B \land C

. Mit gewöhnlichen Zahlen ist

1 + 2 \times 3 = 7

, aber

(1 + 2) \times (1 + 3) = 12

, also gilt dieses Gesetz nur in der booleschen Algebra.

Glossar

Boolesche Algebra: Die Sammlung von Gesetzen zum Umformen und Vereinfachen boolescher Ausdrücke
Gesetz: Eine Äquivalenz, die für jeden Wert der Variablen gilt, zum Beispiel $A \lor 0 = A$
Äquivalent: In jeder Zeile der Wahrheitstabelle denselben Wahrheitswert haben
Vereinfachen: Einen Ausdruck mit weniger Operatoren schreiben, sodass er äquivalent bleibt
De Morgansche Gesetze: $\neg(A \land B) = \neg A \lor \neg B$ und $\neg(A \lor B) = \neg A \land \neg B$
Absorptionsgesetz: $A \lor (A \land B) = A$ und $A \land (A \lor B) = A$

Formelkarte

Neutralitäts- und Extremalgesetz

A \land 1 = A, \quad A \lor 0 = A, \quad A \land 0 = 0, \quad A \lor 1 = 1

UND mit 1 und ODER mit 0 ändern nichts; UND mit 0 und ODER mit 1 legen das Ergebnis fest

Idempotenz- und Komplementgesetz

A \land A = A, \quad A \lor A = A, \quad A \land \neg A = 0, \quad A \lor \neg A = 1

Eine Variable zu wiederholen bringt nichts; eine Variable mit ihrer eigenen Negation ergibt eine Konstante

Doppelte Negation

\neg\neg A = A

Zwei NICHT heben sich gegenseitig auf

Distributivgesetze

A \land (B \lor C) = (A \land B) \lor (A \land C), \quad A \lor (B \land C) = (A \lor B) \land (A \lor C)

Beide gelten in der booleschen Algebra; das zweite gilt nicht für gewöhnliche Zahlen

Absorptionsgesetze

A \lor (A \land B) = A, \quad A \land (A \lor B) = A

Der längere Teil wird von $A$ geschluckt

De Morgansche Gesetze

\neg(A \land B) = \neg A \lor \neg B, \quad \neg(A \lor B) = \neg A \land \neg B

Strich brechen, Zeichen tauschen

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

Billigere Chips entwerfen

Lesbare Bedingungen im Programm

Suchfilter

Wichtige Erkenntnisse

Häufig gestellte Fragen

Glossar

Formelkarte

Neutralitäts- und Extremalgesetz

Idempotenz- und Komplementgesetz

Doppelte Negation

Distributivgesetze

Absorptionsgesetze

De Morgansche Gesetze

Mehr zu diesem Thema

Einführung in die Boolesche Logik

Wahre und falsche Aussagen

Die UND-Operation

Die ODER-Verknüpfung