Question

求一离散数学解答过程及答案 设命题公式G=┐（P→Q）∨（Q∧（┐P→R）），求G的主析取范式

Answer 1

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