范式

在有限的步骤中找到给定的语句是重言式、矛盾式还是可满足性，这个问题被称为判定问题。对于判定问题，构建真值表可能并不总是实用的。我们考虑另一种称为归约为范式的方法。

有两种这样的形式

1. 析取范式 (DNF)
2. 合取范式

析取范式 (DNF): 如果 p, q 是两个语句，那么“p 或 q”是一个复合语句，用 p ∨ q 表示，称为 p 和 q 的析取。当两个语句中至少有一个为真时，p 和 q 的析取为真，只有当 p 和 q 都为假时，它才为假。

例子：- 如果 p 是“4 是一个正整数”，q 是“√5 是一个有理数”，那么 p ∨ q 是真，因为语句 p 是真，尽管语句 q 是假。

合取范式: 如果 p, q 是两个语句，那么“p 且 q”是一个复合语句，用 p ∧ q 表示，称为 p 和 q 的合取。只有当 p 和 q 都为真时，p 和 q 的合取才为真，否则，它为假。

例子： 如果语句 p 是“6<7”，语句 q 是“-3>-4”，那么 p 和 q 的合取为真，因为 p 和 q 都是真语句。