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

来源:学生作业帮助网 编辑:作业帮 时间:2024/10/04 04:41:47
求主析取范式(P→非Q)→R
xTAn@, nFܠېDc].jMP+8tTv<2LdNg6~݌3[mfg4o3B+Ԇk1Ӊ}h8b~kA/PuC?и^P CB{,&^=<$],(Q6\&yFG$ʕ0l@NPc{}8R+KrRUuE|]U!aDl¨!KQ0~1g:뵡42pCkj-uw8.7fY

求主析取范式(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)

收起