Die Klauselform oder Klauselnormalform beschreibt in der Logik eine Formel in konjunktiver Normalform (KNF), bei der die Konjunktionen jeweils in Mengenschreibweise zusammengefasst wurden.
Eine Formel in Klauselform (selten auch Klausenform) ist eine logische Verknüpfung von Literalen, notiert als disjunktive Normalform oder konjunktive Normalform, wobei festgelegt ist, dass die leere verallgemeinerte Disjunktion interpretiert den Wahrheitswert falsch ergibt und die leere verallgemeinerte Konjunktion interpretiert den Wahrheitswert wahr ergibt.
Klauselnormalformen sind über eine Transformation erstellbar und dienen zur maschinellen Beweisführung über logischen Formeln.