结构推理 求命题公式(¬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).
   (以上是特异析取范式)
【答案解析】