主合取範式

主合取範式（Conjunctive Normal Form, CNF）是一種邏輯公式，它是一種標準形式，用於表示命題邏輯表達式。

CNF由一系列合取子句構成，每個合取子句都是一組文字（命題變數或其否定）通過析取連線而成。這些子句和合取範式一起，可以表示任意的命題邏輯表達式。確定一個命題公式的主合取範式的過程涉及使用真值表方法來確定使公式值為假的變數賦值，並將這些賦值轉換為合取範式。