Zurück zur Lektion

Leitfaden für Lehrer: 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.

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.

Klassenquiz

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

Für Lehrer

Lernziele
  • Neutralitäts-, Extremal-, Idempotenz- und Komplementgesetz sowie die doppelte Negation angeben
  • Kommutativ-, Assoziativ- und Distributivgesetz anwenden, auch A∨(B∧C)=(A∨B)∧(A∨C)A \lor (B \land C) = (A \lor B) \land (A \lor C)
  • Ausdrücke mit den De Morganschen Gesetzen und den Absorptionsgesetzen umformen
  • Einen booleschen Ausdruck Schritt für Schritt vereinfachen und in jedem Schritt das verwendete Gesetz nennen
  • Eine Vereinfachung mit einer Wahrheitstabelle prüfen und die eingesparten Gatter zählen
Voraussetzungen
  • • UND, ODER und NICHT und ihre Wahrheitstabellen (Einführung in die Boolesche Logik, Die UND-Operation, Die ODER-Verknüpfung, Die NICHT-Verknüpfung)
  • • Wahrheitstabellen aufstellen und Spalten auf Äquivalenz vergleichen (Wahrheitstabellen)
  • • Klammern und zusammengesetzte Aussagen (Zusammengesetzte boolesche Aussagen)
  • • Rangfolge der Operatoren und Auswerten von Ausdrücken (Boolesche Ausdrücke)
  • • Logikgatter und einfache Schaltungen (Logikgatter)
Diskussionsstarter
  • 1. Warum sollte sich eine Ingenieurin für ein einziges gespartes Gatter interessieren, wenn ein Chip Milliarden davon hat?
  • 2. In der gewöhnlichen Algebra gilt x+x=2xx + x = 2x. Warum ist A∨AA \lor A in der booleschen Algebra einfach AA?
  • 3. Wie würdest du 'Strich brechen, Zeichen tauschen' einem Freund mit einem Satz über das Wetter erklären?
  • 4. Was überzeugt dich als Beweis mehr, eine Wahrheitstabelle oder eine Kette von Gesetzen? Wann würdest du was verwenden?
Häufige Missverständnisse

Das De Morgansche Gesetz verneint nur die Variablen: ¬(A∧B)=¬A∧¬B\neg(A \land B) = \neg A \land \neg B

Abhilfe: Nutze einen Satz: 'nicht (hungrig und müde)' heißt nicht 'nicht hungrig und nicht müde'. Stellt dann beide Wahrheitstabellen nebeneinander auf und sucht die Zeilen, die sich unterscheiden.

In der booleschen Algebra gelten alle Regeln der gewöhnlichen Algebra

Abhilfe: Stelle x+x=2xx + x = 2x dem Gesetz A∨A=AA \lor A = A gegenüber, und dass a+bc=(a+b)(a+c)a + bc = (a + b)(a + c) für Zahlen nicht gilt, dem booleschen Distributivgesetz. Das Prüfen mit 0 und 1 zeigt, wo sich die beiden Systeme unterscheiden.

Ein Ausdruck, der kürzer aussieht, ist automatisch äquivalent

Abhilfe: Bestehe darauf, dass für jeden Schritt ein Gesetz genannt wird und am Ende eine Wahrheitstabelle prüft. Zeige eine 'Vereinfachung' mit einem erfundenen Gesetz und lass die Klasse die Zeile finden, in der sie scheitert.

Differenzierungsideen

Für Schüler mit Schwierigkeiten:

  • • Mit einem Gesetz pro Ausdruck beginnen und ein Blatt mit allen Gesetzen zum Zeigen bereitlegen
  • • Jeden Schritt mit den Werten 0 und 1 prüfen, bevor es weitergeht
  • • Nur 2 Variablen verwenden, damit jede Kontrolle per Wahrheitstabelle nur 4 Zeilen hat

Für Schüler auf Niveau:

  • • Ausdrücke vereinfachen, die 3 oder 4 Gesetze brauchen, und jedes Gesetz nennen
  • • Das Absorptionsgesetz aus Neutralitäts-, Distributiv- und Extremalgesetz beweisen
  • • Vor und nach jeder Vereinfachung die Gatter zählen

Für fortgeschrittene Schüler:

  • • Das De Morgansche Gesetz für drei Variablen beweisen: ¬(A∧B∧C)=¬A∨¬B∨¬C\neg(A \land B \land C) = \neg A \lor \neg B \lor \neg C
  • • Zeigen, dass sich UND, ODER und NICHT allein aus NAND-Gattern bauen lassen
  • • (A∧B)∨(A∧¬B∧C)(A \land B) \lor (A \land \neg B \land C) vereinfachen und jeden Schritt erklären
Standardausrichtung
  • HSA.SSE.A.2 (CCSS.MATH.CONTENT.HSA.SSE.A.2)

    Die Struktur eines Ausdrucks nutzen, um Möglichkeiten zum Umformen zu erkennen

  • CCSS.MATH.PRACTICE.MP7 (MP7)

    Strukturen suchen und nutzen

  • CCSS.MATH.PRACTICE.MP3 (MP3)

    Tragfähige Argumente aufbauen und die Argumentation anderer kritisch prüfen

Lektionsressourcen
  • visualInteraktive Wahrheitstabelle

    Die Lernenden vergleichen die Spalten UND, ODER, NICHT, NAND und NOR und sehen die De Morganschen Gesetze: NAND entspricht ¬A∨¬B\neg A \lor \neg B, NOR entspricht ¬A∧¬B\neg A \land \neg B

  • activityGesetzeskarten

    Paare bekommen eine Karte pro Gesetz und vereinfachen Ausdrücke, indem sie für jeden Schritt eine Karte legen

  • worksheetVereinfachen und prüfen

    Ausdrücke zum Vereinfachen mit benannten Gesetzen, jeweils mit Kontrolle per Wahrheitstabelle und Gatterzählung

Lektionsinhalt

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

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⋅BA \cdot B für A∧BA \land B, A+BA + B für A∨BA \lor B und A‾\overline{A} für ¬A\neg A: Das bedeutet genau dasselbe. In dieser Lektion verwenden wir ∧\land, ∨\lor und ¬\neg.
Die Gesetze (AA, BB und CC sind boolesche Variablen):
GesetzUND-FormODER-Form
NeutralitätsgesetzA∧1=AA \land 1 = AA∨0=AA \lor 0 = A
Extremalgesetz (Dominanz)A∧0=0A \land 0 = 0A∨1=1A \lor 1 = 1
IdempotenzgesetzA∧A=AA \land A = AA∨A=AA \lor A = A
KomplementgesetzA∧¬A=0A \land \neg A = 0A∨¬A=1A \lor \neg A = 1
Doppelte Negation¬¬A=A\neg\neg A = A(nur eine Form)
KommutativgesetzA∧B=B∧AA \land B = B \land AA∨B=B∨AA \lor B = B \lor A
Assoziativgesetz(A∧B)∧C=A∧(B∧C)(A \land B) \land C = A \land (B \land C)(A∨B)∨C=A∨(B∨C)(A \lor B) \lor C = A \lor (B \lor C)
DistributivgesetzA∧(B∨C)=(A∧B)∨(A∧C)A \land (B \lor C) = (A \land B) \lor (A \land C)A∨(B∧C)=(A∨B)∧(A∨C)A \lor (B \land C) = (A \lor B) \land (A \lor C)
AbsorptionsgesetzA∧(A∨B)=AA \land (A \lor B) = AA∨(A∧B)=AA \lor (A \land B) = A
De Morgan¬(A∧B)=¬A∨¬B\neg(A \land B) = \neg A \lor \neg B¬(A∨B)=¬A∧¬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.

Lösungsbeispiele

Vereinfache (A∧1)∨(B∧0)(A \land 1) \lor (B \land 0).

1

Wende das Neutralitätsgesetz auf die erste Klammer an

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

2

Wende das Extremalgesetz auf die zweite Klammer an

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

3

Wende noch einmal das Neutralitätsgesetz an

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

Häufige Fehler

¬(A∧B)=¬A∧¬B\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=1A = 1, B=0B = 0: Die linke Seite ist ¬0=1\neg 0 = 1, die rechte Seite 0∧1=00 \land 1 = 0.

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

Regeln der gewöhnlichen Algebra verwenden, etwa A∨A=2AA \lor A = 2A oder A∧A=A2A \land A = A^2

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

Richtig: Verwende das Idempotenzgesetz: A∨A=AA \lor A = A und A∧A=AA \land A = A.

A∨B∧CA \lor B \land C als (A∨B)∧C(A \lor B) \land C lesen

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

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

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

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

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

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∧B)∨(A∧C)(A \land B) \lor (A \land C) braucht 3 Gatter. Ausgeklammert als A∧(B∨C)A \land (B \lor C) braucht sie nur 2.

1Probiere es selbst

Ein Chip enthält 1000 Kopien einer Schaltung, die (A∧B)∨(A∧C)(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∧(B∨C)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 ¬(¬P∧¬G)\neg(\neg P \land \neg G) gilt. Dabei bedeutet PP, dass die Person einen Pass hat, und GG, 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∧1=AA \land 1 = A, A∨1=1A \lor 1 = 1, A∨A=AA \lor A = A, A∧¬A=0A \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∨(A∧B)=AA \lor (A \land B) = A und A∧(A∨B)=AA \land (A \lor B) = A
  • 5De Morgansche Gesetze: Strich brechen, Zeichen tauschen, ¬(A∧B)=¬A∨¬B\neg(A \land B) = \neg A \lor \neg B und ¬(A∨B)=¬A∧¬B\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

Warum ist ODER über UND distributiv, obwohl a+b×ca + b \times c bei Zahlen nicht (a+b)×(a+c)(a + b) \times (a + c) ist?

Weil boolesche Variablen nur 0 oder 1 sind. Prüfe beide Fälle: Ist A=1A = 1, sind beide Seiten von A∨(B∧C)=(A∨B)∧(A∨C)A \lor (B \land C) = (A \lor B) \land (A \lor C) gleich 1; ist A=0A = 0, werden beide Seiten zu B∧CB \land C. Mit gewöhnlichen Zahlen ist 1+2×3=71 + 2 \times 3 = 7, aber (1+2)×(1+3)=12(1 + 2) \times (1 + 3) = 12, also gilt dieses Gesetz nur in der booleschen Algebra.

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∧B=A×BA \land B = A \times B, ¬A=1−A\neg A = 1 - A und A∨B=A+B−A×BA \lor B = A + B - A \times B. Zum Beispiel mit A=1A = 1 und B=1B = 1: 1+1−1×1=11 + 1 - 1 \times 1 = 1, also 1∨1=11 \lor 1 = 1. Der Rechner in dieser Lektion arbeitet mit diesen Zahlen.

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∨0=AA \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
¬(A∧B)=¬A∨¬B\neg(A \land B) = \neg A \lor \neg B und ¬(A∨B)=¬A∧¬B\neg(A \lor B) = \neg A \land \neg B
Absorptionsgesetz
A∨(A∧B)=AA \lor (A \land B) = A und A∧(A∨B)=AA \land (A \lor B) = A

Formelkarte

Neutralitäts- und Extremalgesetz

A∧1=A,A∨0=A,A∧0=0,A∨1=1A \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∧A=A,A∨A=A,A∧¬A=0,A∨¬A=1A \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

¬¬A=A\neg\neg A = A

Zwei NICHT heben sich gegenseitig auf

Distributivgesetze

A∧(B∨C)=(A∧B)∨(A∧C),A∨(B∧C)=(A∨B)∧(A∨C)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∨(A∧B)=A,A∧(A∨B)=AA \lor (A \land B) = A, \quad A \land (A \lor B) = A

Der längere Teil wird von $A$ geschluckt

De Morgansche Gesetze

¬(A∧B)=¬A∨¬B,¬(A∨B)=¬A∧¬B\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