命題邏輯中的一種標準形式
合取範式（Conjunctive Normal Form，CNF）是命題邏輯中的一種標準形式。它是由多個析取式（或子句）通過合取（與）連線而成的邏輯表達式。每個析取式本身是由命題變元或其否定通過析取（或）連線而成的。合取範式的主要用途是便於解決命題公式的邏輯判斷問題，而且一個命題公式可以以多種不同的方式表達為合取範式，因為存在多種方式將命題公式等價地轉換為合取範式。
例如，如果有一個命題公式 \(A \land (D \lor B \lor C) \land (E \lor F)\)，它就是一個合取範式，因為它由幾個析取式通過與（\(\land\)）操作符連線而成。這種範式在邏輯電路設計和自動化推理等領域有著廣泛的套用。