Normalformen

Bei der Untersuchung bestimmter Fragestellungen, wie z. B. des Informationsgehaltes oder der Gültigkeit von Sätzen A der formalen Sprache Q, erweist es sich als zweckmäßig, Formeln in eine dem untersuchten Aspekt besonders angemessene normierte Gestalt zu transformieren. Das Transformat A’ eines Satzes A wird als eine Normalform von A bezeichnet werden. Die wichtigsten und bekanntesten Normalformbildungen stellen wir hier kurz zusammen. Wir beschränken uns dabei auf die Bildung von Normalformen geschlossener Formeln, also von Sätzen. Das Transformat A’ wird dabei jeweils, unabhängig von der Art der betrachteten Normalformbildung, mit A logisch äquivalent sein. Wie die angegebenen Beweise zeigen, sind die Transformationen in allen angegebenen Fällen effektiv: Zu jedem A läßt sich das Transformat A’ mechanisch erzeugen (vgl. auch Kap. 12).