Aussagenlogik

Die Aussagenlogik dient als Grundlage für die technische und praktische Informatik. Mit ihr lassen sich erst einmal logische Schaltungen entwerfen und optimieren, bevor sie als Schalt- und Rechenlogik in einem Prozessor herhalten.