来自黄友能的问题
【求主析取范式(P→非Q)→R】
求主析取范式
(P→非Q)→R
4回答
2020-07-1521:21
【求主析取范式(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∧R)
由第二行到第三行跳得太快了,有点看不懂。可以再细写一点吗?麻烦了。
(┐P∧┐Q)等值于(P∧Q∧R)∨(P∧Q∧┐R)R等值于(P∧Q∧R)∨(┐P∧Q∧R)∨(P∧┐Q∧R)∨(┐P∧┐Q∧R)
明白了,谢谢!