Die Aussagenlogik analysiert die Art und Weise, wie Aussagen – also Sätze, die wahr oder falsch sein können – aus einfacheren Aussagen so zusammengesetzt sein können, dass sich der Wahrheitswert der Gesamtaussage aus den Wahrheitswerten der Teilaussagen errechnet. Dieses Kapitel führt aussagenlogische Formeln ein und ihre Auswertung mit Hilfe von Wahrheitswerten, und behandelt dann die wichtigsten aussagenlogischen Konzepte und Gesetze, einschließlich der disjunktiven und konjunktiven Normalform.