如果一个陈述是一个析取（或的序列），由一个或多个析取项组成，并且每个析取项是一个合取（与），由一个或多个文字（即，陈述字母和陈述字母的否定；Mendelson 1997, p. 30）组成，则该陈述处于析取范式。析取范式不是唯一的。
The Wolfram Language commandLogicalExpand[expr] 给出析取范式（带有一些收缩，即，LogicalExpand尝试通过启发式简化来缩短输出）。
析取范式的例子包括
 |
(1)
|
 |
(2)
|
 |
(3)
|
 |
(4)
|
 |
(5)
|
其中 
表示 或， 
表示 与，并且 
表示 非 (Mendelson 1997, p. 30)。一些作者也排除包含陈述字母及其否定的陈述，这将排除上面的第三个例子。
逻辑中的每个由多个 
、
和 
组合构成的陈述都可以写成析取范式。
