Aussagenalgebra

Zusammenfassung

Die Aussagenalgebra ist ein Teilgebiet der Aussagenlogik, in welchem die Formalisierung von Aussageformen und ihre äquivalente Umformung behandelt werden. Unter der Formalisierung wird die Gewinnung eines Wahrheitsterms verstanden — ebenso wie in der Schaltalgebra zu einem Schaltnetz der sie beschreibende Schaltterm aufgesucht wird. Für die Computertechnik hat die Aussagenalgebra folgende Bedeutung: Der Ausgangspunkt bei der Konstruktion eines Automaten sind immer Aussageformen, in welchen bestimmte Ausgangsvariablen mehreren Eingangsvariablen zugeordnet werden. Die Bestimmung des Wahrheitswertes der Ausgangsvariablen in Abhängigkeit von der Belegung der Eingangsvariablen soll von einer Maschine übernommen werden. Im Computer sind Tausende solcher „Logikmaschinen“ enthalten.