析取范式

如果语句是分离（序列或s） 由一个或多个组成外加状语，每个都是一个结合(以及)一个或多个字面量（即。，陈述信件和反面属于陈述信件; Mendelson 1997年，第30页）。析取范式并不是唯一的。

这个Wolfram语言命令逻辑扩展[快递]给出了析取范式（带有一些缩写，即。，逻辑扩展试图通过启发式简化来缩短输出）。

析取范式的示例包括

	(1)
	(2)
	（3）
	(4)
	(5)

哪里表示或，表示以及、和表示不是（门德尔森1997年，第30页）。一些作者还排除了同时包含声明函和否定，这将排除上面的第三个例子。

逻辑中的每个语句都由多个，、和s可以用析取范式书写。