Alles ist logisch

Zusammenfassung

Mehrdeutige Aussagen, wie sie in unserer Alltagssprache häufig vorkommen, können zu Missverständnissen führen. Ein Computer kann mit ungenauen Kommandos erst recht nichts anfangen. Die Computertechnik greift daher auf die Logik zurück, mit der es möglich ist, ganz klar definierte Aussagen zu formulieren, und in der es eindeutige Regeln gibt, wie sich aus bestehenden Aussagen neue herleiten lassen. Der richtige Umgang mit logischen Ausdrücken ist daher der Schlüssel, um zu verstehen, wie moderne Computer funktionieren. Die Boolesche Algebra, die nach dem englischen Mathematiker und Logiker George Boole (1815–1864) benannt ist, bildet die Grundlage für den Entwurf von elektronischen Schaltungen, denn sie ermöglicht deren Beschreibung, Entwicklung und Optimierung. Mithilfe der Booleschen Algebra lassen sich durch logische Verknüpfung aus einfachen Aussagen komplexere zusammensetzen. Die drei Grundverknüpfungen bilden dabei die Booleschen Operatoren UND, ODER und NICHT. Die so verknüpften Aussagen können mit teilweise schon aus dem Schulunterricht bekannten Rechenregeln vielfältig umgeformt und vereinfacht werden.