在离散数学中，仅由有限个文字构成的
合取式称为
简单合取式，而由有限个简单合取式构成的析取式称为析取范式。范式存在定理说明了它的存在性：任一命题公式都存在着与之等值的析取范式与合取范式。但它并不是惟一的。
主析取范式是惟一的。
析取是最常用的
逻辑联结词之一，表示“或”的意思。析取是逻辑和数学概念中的一个二元逻辑算符。其运算方法是：如果其两个变量中有一个真值为“真”，其结果为“真”，两个变量同时为假，其结果为“假”。析取在数据挖掘和数据库等很多领域都有广泛应用。
设由n个命题变项构成的析取范式中所有简单合取项都是极小项，则称该析取范式为
主析取范式。主析取范式存在且惟一。