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](https://de.wikipedia.org/wiki/George_Boole)) eingebürgert.

¹⁾