Aussagenlogische Formeln können mit Hilfe einer Wahheitstafel oder unter Anwendung von logischen Identitäten vereinfacht werden. Beide Möglichkeiten werden in einem eigenen Abschnitt behandelt.