求主析取范式（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)等值于( P∧Q∧R)∨(P∧Q∧┐R) R等值于 ( P∧Q∧R)∨(┐ P∧Q∧R)∨( P∧┐Q∧R)∨( ┐P∧┐Q∧R) 追问： 明白了，谢谢！