设命题公式G=┐（P→Q）∨（Q∧（┐P→R））, - 知识问答

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

2个回答

解法一：
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）
解法二：真值表法,更简单.（略）不懂就问我.

相关问题