结构推理
求命题公式(¬P→Q)→(¬Q∨P)的特异析取范式和特异合取范式.
【正确答案】(¬P→Q)→(¬Q∨P)=(P∨Q)→(¬Q∨P)
=¬(P∨Q)∨(¬Q∨P)
=(¬P八¬Q)∨(¬Q
∨P)
=(¬P∨¬Q∨P)∧(P
∨¬Q)
=P∨7 Q.
(以上是特异合取范式)
(¬P→+Q)→(¬Q∨P)=(P∨Q)→(¬Q∨P)
=¬(P∨Q)∨(¬Q∨P)
=(¬P∧¬Q)∨(¬Q∨P)
=(¬P∧¬Q)∨(¬Q∧(P∨
¬P))∨(P∧(Q∨¬Q))
=(¬P∧¬Q)∨(P∧¬Q)∨
(¬P∧¬Q)∨(P∧Q)∨(P∧
¬Q)
=(¬P∧¬Q)∨(P∧Q)∨(P∧
¬Q).
(以上是特异析取范式)
【答案解析】