📅 最后修改于: 2020-12-22 04:51:09 🧑 作者: Mango
在有限的步骤中查找给定陈述是重言式，矛盾性还是可满足性的问题称为决策问题。对于决策问题，构建真值表可能并不总是可行的。我们考虑一种替代方法，称为归纳为正常形式。
有两种这样的形式：
析取范式(DNF)：如果p，q是两个语句，则“ p或q”是复合语句，用p∨q表示，称为p和q的析取。每当两个语句中的至少一个为真时，p和q的析取为真，并且仅当p和q均为假时才为假
| p | q | p ∨ q |
| T | T | T |
| T | F | T |
| F | T | T |
| F | F | F |
例如： –如果p是“图4是一个正整数” q是“√5是一个有理数”，那么作为语句P为真p∨q是真实的，尽管声明q是假的。
合并范式：如果p，q是两个语句，则“ p和q”是一个复合语句，用p∧q表示，称为p和q的合取。仅当p和q均为true时，p和q的合取才为true，否则为false
| p | q | p ∧ q |
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | F |
示例：如果语句p为“ 6 <7”，而语句q为“ -3> -4”，则p和q的连接为真，因为p和q均为真语句。