Aussagenlogik
Aus Byte-Welt Wiki
Version vom 31. Juli 2007, 13:16 Uhr von SeannWilliamScott (Diskussion | Beiträge)
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.