CNF staat voor Conjunctive Normal Form en is een vorm van logische formules waarin elke formule als een conjunctie (AND) van disjuncties (OR) wordt geschreven. Het is een manier om logische formules te schrijven die gemakkelijk te begrijpen en te verwerken zijn door computers.