neuerlehrplan:gk:boolschealgebra
Dies ist eine alte Version des Dokuments!
1.1.4 Boolsche Algebra
George Boole
Mathematische Logik (speziell die Aussagenlogik) spielt auch in der Informatik, speziell bei der bei der Konstruktion von Mikroprozessoren , eine große Rolle. Hier spricht man von Schaltalgebra.
Insgesamt hat sich dafür der Begriff Boolsche Algebra (benannt nach George Boole) eingebürgert.
In der Mathematik ist eine Aussage ein sprachliches Gebilde, von dem man entscheiden kann, ob es wahr oder falsch ist. In der Informatik betrachtet man nur Variablen, die die Werte 1 (für wahr) und 0 (für falsch) annehmen können. In einer konkreten Schaltung sind das Kontakte, an denen Spannung anliegt (1) oder keine Spannung anliegt (0). Diese Aussagen/Variablen werden durch große Buchstaben A, B, C … repräsentiert.
Logische Funktionen
Über diese Variablen/Aussagen kann man nun logische Funktionen definieren. In der Mathematik würde man von der Verknüpfung von Aussagen sprechen.
Die Negation (NOT) einer Aussage $A$ ist genau wahr, wenn $A$ nicht wahr ist.
Schreibweise: $\overline{A}$
Beispiel:
$A:$ Informatik ist cool.
$\overline A:$ Informatik ist nicht cool.
Die Konjunktion (AND) der Aussage $A$ und $B$ ist genau wahr, wenn $A$ und $B$ wahr sind.
Schreibweise: $A \wedge B$
neuerlehrplan/gk/boolschealgebra.1778668628.txt.gz · Zuletzt geändert: von lutz