求非P∧Q→R的主析取范式,求过程,谢谢

如题所述

第1个回答  2016-03-23
P∧Q→R
<=>┐(P∧Q)∨R
<=>┐P∨┐Q∨R
<=>(┐P∧(Q∨┐Q)∧(R∨┐R))∨((P∨┐P)∧┐Q∧(R∨┐R))∨((P∨┐P)∧(Q∨┐Q)∧R)
<=>(┐P∧Q∧R)∨(┐P∧┐Q∧R)∨(┐P∧Q∧┐R)∨(┐P∧┐Q∧┐R)∨
(P∧┐Q∧R)∨(P∧┐Q∧┐R)∨(┐P∧┐Q∧R)∨(┐P∧┐Q∧┐R)∨
(P∧Q∧R)∨(P∧┐Q∧R)∨(┐P∧Q∧R)∨(┐P∧┐Q∧R)
<=>(┐P∧Q∧R)∨(┐P∧┐Q∧R)∨(┐P∧Q∧┐R)∨(┐P∧┐Q∧┐R)∨
(P∧┐Q∧R)∨(P∧┐Q∧┐R)∨(P∧Q∧R)本回答被提问者和网友采纳
相似回答