求主析取范式(P→非Q)→R

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/29 11:10:34
求主析取范式(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∧R)∨( ┐P∧┐Q∧R)

(P→┐Q)→R
<==> ┐( ┐P∨┐Q)∨R
<==> ( P∧Q)∨R
其中,
P∧Q <==> (P∧Q)∧1 <==> (P∧Q)∧(R∨┐R) <==> (P∧Q∧R)∨(P∧Q∧┐R)。
R <==> 1∧1∧R <==> (P∨┐P)∧(Q∨┐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)∧1 <==> (P∧Q)∧(R∨┐R) <==> (P∧Q∧R)∨(P∧Q∧┐R)。
R <==> 1∧1∧R <==> (P∨┐P)∧(Q∨┐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∧R)∨(┐P∧┐Q∧R) <==> m7∨m6∨m5∨m3∨m1 <==> ∑(1,3,5,6,7)

收起