合取范式（conjunctionnormalform），命题公式的一种标准形，设a是一个命题公式，a中出现的命题变元为p1，p2，…，pn，以qi表示pi或7pi，i＝1，…，n。称q1∧…∧qn是p1，…，pn的一个合取项，若干个互不相同的合取项的析取称为一个合取范式，与命题公式a逻辑等价的合取范式称为a的合取范式。例如命题公式p→（q→r）的合取范式是

p∧q∧r∨［p∧q∧r∨p∧［q∧r∨［p∧［q∧r∨［p∧q∧［r∨p∧［q∧［r∨［p∧［q∧［r。一个命题公式的合取范式可以通过真值表得到，也可以通过等价变换得到。命题公式还有另一种范式，析取范式。析取范式的定义与合取范式对偶，只要把合取与析取对换就可以由合取项得到析取项，由合取范式得到析取范式。