求主析取范式
问题描述：
求主析取范式
（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)明白了，谢谢！