Boolesche Algebra & Logik lernen – Gatter, Gesetze & KNF/DNF
Boolesche Algebra ist die mathematische Grundlage digitaler Schaltungen und Programmlogik. Diese Karteikarten behandeln die Grundgatter (AND, OR, NOT), wichtige Gesetze der Booleschen Algebra, Wahrheitstabellen und die Umformung in Normalformen (DNF und KNF), wie sie in der IT-Ausbildung und in Digitalelektronik-Klausuren vorkommen.
Direkt loslernen
Lade alle 18 Karten mit einem Klick in den Lern-Modus, mische sie, lerne online oder drucke sie als PDF.
Boolesche Algebra von Grund auf verstehen
Boolesche Algebra arbeitet nur mit zwei Werten: 0 (falsch) und 1 (wahr). Jede logische Schaltung kann durch Kombinationen von AND (Konjunktion), OR (Disjunktion) und NOT (Negation) dargestellt werden.
Gesetze systematisch anwenden
- Kommutativgesetz: A AND B = B AND A; A OR B = B OR A
- Assoziativgesetz: (A AND B) AND C = A AND (B AND C)
- Distributivgesetz: A AND (B OR C) = (A AND B) OR (A AND C)
- De Morgan: NOT(A AND B) = (NOT A) OR (NOT B)
Wahrheitstabellen und Normalformen
Aus einer Wahrheitstabelle lässt sich direkt die Disjunktive Normalform (DNF) ablesen: für jede Zeile mit Ausgabe 1 einen Minterm bilden (Produkt der Eingaben, negierten Eingaben wo 0). Die Konjunktive Normalform (KNF) ergibt sich aus den Zeilen mit Ausgabe 0 (Maxterme). Beide Normalformen können mit den Booleschen Gesetzen vereinfacht werden.
Alle Karten in diesem Set
| Vorderseite | Rückseite |
|---|---|
| AND-Gatter – Wahrheitstabelle | 0 AND 0 = 0 | 0 AND 1 = 0 | 1 AND 0 = 0 | 1 AND 1 = 1 |
| OR-Gatter – Wahrheitstabelle | 0 OR 0 = 0 | 0 OR 1 = 1 | 1 OR 0 = 1 | 1 OR 1 = 1 |
| NOT-Gatter (Inverter) | NOT 0 = 1 | NOT 1 = 0 |
| NAND-Gatter – Definition | NAND(A, B) = NOT(A AND B). Ist 0 nur wenn beide Eingaben 1 sind. |
| NOR-Gatter – Definition | NOR(A, B) = NOT(A OR B). Ist 1 nur wenn beide Eingaben 0 sind. |
| XOR-Gatter – Definition | XOR(A, B) = 1 genau dann, wenn genau eine Eingabe 1 ist. 0 XOR 0 = 0 | 0 XOR 1 = 1 | 1 XOR 0 = 1 | 1 XOR 1 = 0 |
| De Morgan – erste Regel | NOT(A AND B) = (NOT A) OR (NOT B) |
| De Morgan – zweite Regel | NOT(A OR B) = (NOT A) AND (NOT B) |
| Idempotenzgesetz | A AND A = A | A OR A = A |
| Komplementgesetz | A AND (NOT A) = 0 | A OR (NOT A) = 1 |
| Neutrales Element bei AND | A AND 1 = A |
| Neutrales Element bei OR | A OR 0 = A |
| Absorptionsgesetz | A AND (A OR B) = A | A OR (A AND B) = A |
| Distributivgesetz (AND über OR) | A AND (B OR C) = (A AND B) OR (A AND C) |
| Was ist ein Minterm? | Ein Produktterm (AND-Verknüpfung), in dem alle Variablen vorkommen – entweder normal oder negiert. Entspricht einer Zeile mit Ausgabe 1 in der Wahrheitstabelle. |
| Was ist die DNF (Disjunktive Normalform)? | Summe (OR) von Mintermen. Für jede Zeile mit Ausgabe 1 einen Minterm aufschreiben, alle mit OR verbinden. |
| Was ist die KNF (Konjunktive Normalform)? | Produkt (AND) von Maxtermen. Für jede Zeile mit Ausgabe 0 einen Maxterm (OR-Verknüpfung aller Variablen) bilden, alle mit AND verbinden. |
| Warum sind NAND und NOR funktional vollständig? | Aus NAND allein (oder NOR allein) lassen sich AND, OR und NOT nachbauen – damit jede beliebige Logikfunktion realisieren. |
Häufige Fragen
Wozu brauche ich Boolesche Algebra in der IT-Praxis?
Für digitale Schaltungen (Hardware-Design, FPGAs), für if/else-Logik in der Programmierung und für Datenbankabfragen mit AND/OR/NOT. De Morgans Regeln helfen, negierte Bedingungen in Code zu vereinfachen und Fehler in komplexen if-Blöcken zu vermeiden.
Wie liest man aus einer Wahrheitstabelle die DNF ab?
Suche alle Zeilen, bei denen der Ausgang 1 ist. Für jede solche Zeile bilde einen Minterm: Schreibe jede Variable normal, wenn sie in dieser Zeile 1 ist, und negiert, wenn sie 0 ist. Verknüpfe alle Variablen einer Zeile mit AND, dann alle Minterme mit OR.
Was ist der Unterschied zwischen NAND und AND?
NAND ist die Negation von AND: NAND(A, B) = NOT(A AND B). NAND gibt also 0 nur aus, wenn beide Eingaben 1 sind – in allen anderen Fällen ist die Ausgabe 1. NAND-Gatter sind in Hardware bevorzugt, weil sie mit weniger Transistoren realisierbar sind und funktional vollständig sind.