数学范式

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

  1. 析取范式(DNF)
  2. 合取范式
析取范式(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 statement q是正确的, 因为语句p是正确的, 尽管语句q是错误的。
合并范式:如果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
示例:如果语句p为“ 6 < 7”, 而语句q为“ -3> -4”, 则p和q的连接为真, 因为p和q均为真语句。

    推荐阅读