Grundlagen der Booleschen Algebra
← Alle Artikel

Grundlagen der Booleschen Algebra

6 Min

Was ist Boolesche Algebra?

Die Boolesche Algebra ist ein Teilgebiet der Mathematik, das sich mit Variablen befasst, die nur zwei Werte annehmen können: wahr/falsch, 1/0 oder ein/aus. Sie wurde 1854 von George Boole eingeführt und ist die mathematische Grundlage jeder digitalen Schaltung, jedes Prozessors und jedes Computerprogramms.

Anders als in der gewöhnlichen Algebra, wo Variablen beliebige Zahlen annehmen können, sind Boolesche Variablen binär. Genau diese Einschränkung macht die Boolesche Algebra so nützlich zur Beschreibung elektronischer Schalter und Logikgatter — ein Draht führt entweder Strom (1) oder nicht (0).

Die drei Grundoperationen

Jeder Boolesche Ausdruck lässt sich aus drei grundlegenden Operationen aufbauen:

  • UND (·) — das Ergebnis ist nur 1, wenn beide Operanden 1 sind. Beispiel: A·B.
  • ODER (+) — das Ergebnis ist 1, wenn mindestens ein Operand 1 ist. Beispiel: A+B.
  • NICHT (¬ oder Überstrich) — kehrt den Wert um: 0 wird zu 1 und 1 wird zu 0.

Grundgesetze

Einige Gesetze erlauben es, jeden Ausdruck zu vereinfachen, ohne eine Wahrheitstabelle von Grund auf zu erstellen:

  • Identität: A·1 = A, A+0 = A
  • Null-Gesetz: A·0 = 0, A+1 = 1
  • Idempotenz: A·A = A, A+A = A
  • Komplement: A·¬A = 0, A+¬A = 1
  • Kommutativität: A·B = B·A, A+B = B+A
  • Distributivität: A·(B+C) = A·B + A·C

Warum das beim Schaltungsentwurf wichtig ist

Jedes Logikgatter in Boolflow — AND, OR, XOR, NAND, NOR — ist die direkte physische Umsetzung einer Booleschen Operation. Wenn Sie Gatter platzieren und im Editor verdrahten, bauen Sie buchstäblich einen Booleschen Ausdruck in Hardware. Eine Vereinfachung mit den obigen Gesetzen bedeutet weniger Gatter, weniger Verdrahtung und eine günstigere, schnellere Schaltung.

Sobald ein Ausdruck steht, ist der nächste logische Schritt, ihn gegen eine Wahrheitstabelle zu prüfen und den fertigen Entwurf direkt nach Verilog, VHDL oder C++ zu exportieren.

Im Schaltungseditor ausprobieren