【数学范式】在有限的步骤中查找给定语句是否是重言式, 矛盾性或可满足性的问题称为决策问题。对于决策问题, 事实表的构建可能并不总是可行的。我们考虑一种替代方法, 称为归纳为正常形式。
有两种这样的形式：
- 析取范式（DNF）
- 合取范式
| p | q | P, Q∨ |
| T | T | T |
| T | F | T |
| F | T | T |
| F | F | F |
合并范式：如果p, q是两个语句, 则“ p和q”是一个复合语句, 用p∧q表示, 称为p和q的合取。仅当p和q都为真时, p和q的合取才为true, 否则为false
| p | q | P, Q∧ |
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | F |
