早教吧作业答案频道 -->其他-->
离散数学求公式的析取范式，合取范式，主合取范式公式：(¬P∨¬Q)→(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) 德摩根定律
得到主合取范式
⇔¬(¬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) 德摩根定律
得到主合取范式
看了 离散数学求公式的析取范式，合...的网友还看了以下：
下列说法正确的是（）A．酸碱中和反应的实质是H+和OH-结合成水，故酸碱中和反应的离子方程式都是H 2020-05-14 …
离散数学求公式的析取范式，合取范式，主合取范式公式：(¬P∨¬Q)→(P↔¬Q) 2020-06-12 …
由钾和氧组成的某种离子化合物含钾的质量分数是78/126,其阴离子只有过氧根离子（与钾形成的化合物 2020-06-13 …
快慢两车相对从甲乙两地开出,8小时后相遇,又行2小时,分别距两地250里、350里,求速度和距离要 2020-07-09 …
求S稀有些的化学式求与S或包含S的化合物有关的化学方程式，最好是不常用、稀有少见的，最好不要离子方 2020-07-29 …
利用两点间距离公式求出满足下列条件的实数x的集合:|x-1|+|x-2|>3列出式子，(用两点间距 2020-08-03 …
离散数学主析主合式的求解过程.希望会的人快点解答急用~~~谢谢啦.求P→[P∧(q→P）]的主析取范 2020-11-07 …
FeCl3与HI的反应方程式我知道答案是2FeCl3+2HI=2FeCl2+I2+2HCl,可为什么 2020-12-05 …
下列叙述中正确的是?A、凡是离子化合物在离子方程式中都要以离子来表示A、凡是离子化合物在离子方程式中 2020-12-15 …
离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式求步骤急急急急 2021-01-13 …