作业帮 > 综合 > 作业

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

来源:学生作业帮 编辑:作业帮 分类:综合作业 时间:2024/05/14 19:06:02
设命题公式G=┐(P→Q)∨(Q∧(┐P→R)),求G的主析取范式
解法一:
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)
解法二:真值表法,更简单.(略)不懂就问我.