Sprache für eine Formel:
Morgan-Regeln:
Zur Wiederholung:

bedeutet ,,und'',

bedeutet ,,oder''.
Länge einer Formel: Die Länge einer Formel

ist die Anzahl der Opperatoren in

und wird mit

bezeichnet. Operatoren sind

,

und

.
Notationen:
Definitionen:
Tautologie:
Eine Formel ist dann eine Tautologie, wenn sie für alle Belegungen erfüllt ist.