如果一個陳述是一個析取（或的序列），由一個或多個析取項組成，並且每個析取項是一個合取（與），由一個或多個文字（即，陳述字母和陳述字母的否定；Mendelson 1997, p. 30）組成，則該陳述處於析取正規化。析取正規化不是唯一的。
The Wolfram Language commandLogicalExpand[expr] 給出析取正規化（帶有一些收縮，即，LogicalExpand嘗試透過啟發式簡化來縮短輸出）。
析取正規化的例子包括
 |
(1)
|
 |
(2)
|
 |
(3)
|
 |
(4)
|
 |
(5)
|
其中 
表示 或， 
表示 與，並且 
表示 非 (Mendelson 1997, p. 30)。一些作者也排除包含陳述字母及其否定的陳述，這將排除上面的第三個例子。
邏輯中的每個由多個 
、
和 
組合構成的陳述都可以寫成析取正規化。
