有点懒，不想列出来了。你用真值表做很简单，第一步：列出真值表。第二步：找出所有值为真的行构成主析取范式。第三步：找出值为假的行构成主合取范式。
(¬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)) 结合律
网页链接
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024