Für mache Prozesse/Kalküle ist es notwendig,
komplexe Formeln in Formeln einfacherer Struktur (sog. Normalformen)
umzuwandeln.
Diese Umwandlung wird durch
Ersetzungen von Teilformeln ereicht.
- Wir betrachten also zunächst, wann und wie Variablen durch Formeln ersetzt werden können (Substitution)
- und unter welchen Bedingungen eine Teilformel durch eine andere Formel ersetzt werden kann, sodass die resultierende Formel äquivalent zur Ursprungsformel ist.
- Anschließend definieren wir genauer, was eine Normalform ist und stellen die gebräuchlichsten Normalformen vor.
- Die Möglichkeit, die Umwandlung einer Formel interaktiv zu üben, schließt dieses Kapitel ab.