离散数学 求公式的析取范式,合取范式,主合取范式 公式:(¬P∨¬Q)→(P↔¬Q)
答案:3 悬赏:0
解决时间 2021-02-11 15:10
- 提问者网友:陪我到最后
- 2021-02-10 16:02
离散数学 求公式的析取范式,合取范式,主合取范式 公式:(¬P∨¬Q)→(P↔¬Q)
最佳答案
- 二级知识专家网友:兮沫♡晨曦
- 2021-02-10 16:46
(¬P∨¬Q)→(P↔¬Q)
⇔¬(¬P∨¬Q)∨(P↔¬Q) 变成 合取析取
⇔¬(¬P∨¬Q)∨((P→¬Q)∧(¬Q→P)) 变成 合取析取
⇔¬(¬P∨¬Q)∨((¬P∨¬Q)∧(Q∨P)) 变成 合取析取
⇔¬(¬P∨¬Q)∨((¬P∨¬Q)∧(P∨Q)) 交换律 排序
⇔(P∧Q)∨((¬P∨¬Q)∧(P∨Q)) 德摩根定律
⇔(P∧Q)∨((¬P∧(P∨Q))∨(¬Q∧(P∨Q))) 分配律
⇔(P∧Q)∨(¬P∧(P∨Q))∨(¬Q∧(P∨Q)) 结合律
⇔(P∧Q)∨(¬P∧Q)∨(¬Q∧(P∨Q)) 合取析取 吸收率
⇔(P∧Q)∨(¬P∧Q)∨(¬Q∧P) 合取析取 吸收率
⇔(P∧Q)∨(¬P∧Q)∨(P∧¬Q) 交换律 排序
得到主析取范式,再检查遗漏的极小项
⇔¬(¬P∧¬Q) 德摩根定律
⇔(P∨Q) 德摩根定律
得到主合取范式
⇔¬(¬P∨¬Q)∨(P↔¬Q) 变成 合取析取
⇔¬(¬P∨¬Q)∨((P→¬Q)∧(¬Q→P)) 变成 合取析取
⇔¬(¬P∨¬Q)∨((¬P∨¬Q)∧(Q∨P)) 变成 合取析取
⇔¬(¬P∨¬Q)∨((¬P∨¬Q)∧(P∨Q)) 交换律 排序
⇔(P∧Q)∨((¬P∨¬Q)∧(P∨Q)) 德摩根定律
⇔(P∧Q)∨((¬P∧(P∨Q))∨(¬Q∧(P∨Q))) 分配律
⇔(P∧Q)∨(¬P∧(P∨Q))∨(¬Q∧(P∨Q)) 结合律
⇔(P∧Q)∨(¬P∧Q)∨(¬Q∧(P∨Q)) 合取析取 吸收率
⇔(P∧Q)∨(¬P∧Q)∨(¬Q∧P) 合取析取 吸收率
⇔(P∧Q)∨(¬P∧Q)∨(P∧¬Q) 交换律 排序
得到主析取范式,再检查遗漏的极小项
⇔¬(¬P∧¬Q) 德摩根定律
⇔(P∨Q) 德摩根定律
得到主合取范式
全部回答
- 1楼网友:甜野猫
- 2021-02-10 18:33
(¬P∨¬Q)→(P↔¬Q)
<==> ¬(¬P∨¬Q)∨((¬P∨¬Q)∧(¬¬Q∨P))
<==> (P∧Q)∨((¬P∨¬Q)∧(Q∨P))
<==> (P∧Q)∨(P∧¬Q)∨(¬P∧Q)
<==> m3∨m2∨m1 (主析取范式)
<==> M0 (主合取范式)
- 2楼网友:哥在撩妹请勿打扰
- 2021-02-10 17:18
搜一下:离散数学 求公式的析取范式,合取范式,主合取范式 公式:(¬P∨¬Q)→(P↔¬Q)
我要举报
如以上问答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息,可以点下面链接进行举报!
大家都在看
推荐资讯