求P→（Q→R）的主析取范式和主合取范式，过程清晰明了。

2024-11-18 01:23:58

推荐回答（2个）

回答（1）：

有点懒，不想列出来了。你用真值表做很简单，第一步：列出真值表。第二步：找出所有值为真的行构成主析取范式。第三步：找出值为假的行构成主合取范式。

回答（2）：

(¬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)) 结合律

网页链接