合取範式

合取範式（Conjunctive Normal Form，簡稱CNF），是命題公式的一種標準形，指由有限個簡單析取式構成的合取式。

合取範式主要用於解決命題公式的邏輯判斷，一個命題的合取範式不是唯一的。可以通過真值表得到，也可以通過等價變換得到。

例如：A∧(D∨B∨C)∧(E∨F)就是一個合取範式，最外層所有的連線都是合取操作。