命題邏輯的一種標準形式
合取範式(Conjunctive Normal Form，CNF)是命題邏輯的一種標準形式，其主要特點是公式的每個合取支(clause)都是析取式(disjunction)。
在合取範式中，整個公式由多種析取式通過合取(AND，∧)連線而成，每個析取式可以包含一個或多個命題變元或其否定。這種範式常用於邏輯推理和形式語言的理論中，因為它有助於簡化複雜的邏輯表達式和進行高效的邏輯運算。例如，一個簡單的合取範式可能是 \(A \lor (B \land C) \lor D\)，其中 \(A, B, C, D\) 是命題變元，而 \(A \lor (B \land C) \lor D\) 是一個析取式，通過合取連線形成合取範式。