设命题公式G=┐(P→Q)∨(Q∧(┐P→R)),求G的主析取范式

问题描述:

设命题公式G=┐(P→Q)∨(Q∧(┐P→R)),求G的主析取范式
1个回答 分类:综合 2014-10-10

问题解答:

我来补答
解法一:
G=┐(P→Q)∨(Q∧(┐P→R))
=┐(┐P∨Q)∨(Q∧(P∨R))
=(P∧┐Q)∨((Q∧P)∨(Q∧R))
=(P∧┐Q)∨(Q∧P)∨(Q∧R)
=((P∧┐Q)∧(┐R∨R))∨((Q∧P)∧(┐R∨R))∨((Q∧R)∧(┐p∨p))
=(P∧┐Q∧┐R)∨(P∧┐Q∧R)∨(Q∧P∧┐R)∨(Q∧P∧R)∨(Q∧R∧┐p)
解法二:真值表法,更简单.(略)不懂就问我.
 
 
展开全文阅读
剩余:2000