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.