5. Aussagenlogik und Schaltalgebra
Aussagen
Aussagenlogik I
Aussagenlogik II
Interpretation einer Formel
Gültigkeit einer Formel
Äquivalenz von Formeln
Operatorensysteme
Boolesche Funktionen
Zweistellige Boolesche Funktionen
Boolesche Algebra
Die Huntingtonschen Axiome
Weitere Sätze
Mengenalgebra als Modell der Booleschen Algebra
Beispiel Mengenalgebra
Schaltalgebra
Gatter
PPT-Folie
Schaltnetz
Schaltwerke
Ungetaktetes RS Flipflop
E-Mail: der@informatik.uni-leipzig.de
Homepage: http://www.informatik.uni-leipzig.de/~der