结构推理
命题公式(￢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∨￢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)．
(特异析取范式)
【答案解析】