简单析取式（simple disjunctive formula），是一类含有一个变元及其否定的析取式。

公式介绍

它的每一个析取项或是一个命题变元，或是一个命题变元的否定。p, ¬p, ¬p∨y, ¬p∨¬y∨p等均为简单析取式。简单析取式的重要特点是其成假指派很容易找出，且它的真性也容易判定。一个简单析取式是永真的，当且仅当该公式至少含有一个变元及其否定。例如¬p∨y∨p是永真公式，因它它含有p与p的否定¬p；而公式¬p∨y非永真，当人们指派p以T、y以F，该公式的真值为F。