离散数学：主范式（主析取范式、主合取范式）
求解主析取范式、主合取范式方法
1、真值表法
① 在表中列出变元值的全部可能
② 查表判断命题
命题结果真，变元值对应主析取范式
命题结果假，变元值对应主合取范式
2、等值演算法
①命题化简
蕴涵等值式：A→B ↔ ¬A∨B（作用：去→）
矛盾律：A ↔ ∧¬A（作用：补齐变元）
分配律：(A∧B)∨C ↔ (A∨C)∧(B∨C)、(A∨B)∧C ↔ (A∧C)∨(B∧C)
②判断命题
命题结果真，变元值对应主析取范式
命题结果假，变元值对应主合取范式
例题
求公式 (p→q)∧(q→r) 的主析取范式和主合取范式、成真赋值。
解：
1、真值表法
| p | q | r | p→q | q→r | (p→q)∧(q→r) |
|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 1 | 0 |
| 1 | 0 | 1 | 0 | 1 | 0 |
| 1 | 1 | 0 | 1 | 0 | 0 |
| 1 | 1 | 1 | 1 | 1 | 1 |
查表可得
成真赋值：000、001、011、111
主析取范式：∑(0,1,3,7)
成假赋值：010、100、101、110
主合取范式：∏(2,4,5,6)
2、等值演算法
(p→q)∧(q→r)
= (¬p∨q)∧(¬q∨r) -----------------------------（蕴涵等值式：化简→）
= ((¬p∨q)∨(¬r∧r)))∧((¬q∨r)∨(¬p∧p))----（矛盾律：补齐变元）
= (¬p∨q∨¬r)∧(¬p∨q∨r)∧(¬p∨¬q∨r)∧(p∨¬q∨r)—（分配律：化简）
↔M5M4M6M2
由演算结果可知 主合取范式：∏(2,4,5,6)
成假赋值：010、100、101、110
则 主析取范式：∑(0,1,3,7)
成真赋值：000、001、011、111
AtomGit 是由开放原子开源基金会联合 CSDN 等生态伙伴共同推出的新一代开源与人工智能协作平台。平台坚持“开放、中立、公益”的理念，把代码托管、模型共享、数据集托管、智能体开发体验和算力服务整合在一起，为开发者提供从开发、训练到部署的一站式体验。
更多推荐
48
0- 0
已为社区贡献2条内容
所有评论(0)