析取范式是离散数学中范式的一种，即由有限个简单合取式组成的析取式。由有限个简单析取式组成的合取式称为合取范式。例如（P∧Q）∨（P∧¬Q∧R）、P∧Q等是析取范式，（P∨Q）∧（P∨¬Q∨R）、P∨Q等是合取范式。[1] 对于单独的一个命题变元P或其否定¬P，既可以看成是析取范式，又可以看成是合取范式；当然，其既可以看成是简单析取式，又可以看成是简单合取式，至于P∨Q，若把它看作简单合取式的析取，则它是析取范式；若把它看成是文字的析取，则它是合取范式，同理，P∧¬Q、P∧Q等既是析取范式，又是合取范式。[1]
任何一个命题公式都存在着与之等价的析取范式和合取范式（范式存在定理）由析取范式和合取范式的定义可知，范式中不存在除了¬、∧、∨以外的逻辑联结词。[1] 析取
析取是最常用的逻辑联结词之一，表示“或”的意思。析取是逻辑和数学概念中的一个二元逻辑算符。其运算方法是：如果其两个变量中有一个真值为“真”，其结果为“真”，两个变量同时为假，其结果为“假”。析取在数据挖掘和数据库等很多领域都有广泛应用。 