数学范式

在有限的步骤中查找给定语句是否是重言式, 矛盾性或可满足性的问题称为决策问题。对于决策问题, 事实表的构建可能并不总是可行的。我们考虑一种替代方法, 称为归纳为正常形式。

有两种这样的形式：

1. 析取范式（DNF）
2. 合取范式

析取范式（DNF）：如果p, q是两个语句, 则“ p或q”是复合语句, 用p∨q表示, 称为p和q的析取。只要两个语句中的至少一个为真, p和q的析取就为真, 并且只有当p和q均为假时, 它的取为假。

示例：-如果p是“ 4是一个正整数”并且q是“√5是有理数”, 则p statement q是正确的, 因为语句p是正确的, 尽管语句q是错误的。

合并范式：如果p, q是两个语句, 则“ p和q”是一个复合语句, 用p∧q表示, 称为p和q的合取。仅当p和q都为真时, p和q的合取才为true, 否则为false

示例：如果语句p为“ 6 <7”, 而语句q为“ -3> -4”, 则p和q的连接为真, 因为p和q均为真语句。