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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1973 Friedr. Vieweg + Sohn GmbH, Verlag, Braunschweig
About this chapter
Cite this chapter
Merkel, E. (1973). Aussagenalgebra. In: Technische Informatik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-663-05282-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-663-05282-1_2
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-663-05283-8
Online ISBN: 978-3-663-05282-1
eBook Packages: Springer Book Archive