8.3 Übersetzung und Vereinfachung

konjunktive Normalform 
disjunktive Normalform 
Analyse des Eingabetextes 
Entschachtelung 
Anfragetypen