求P∨( P→(Q∨(Q→R)))主合取与主析取范式RT

来源:学生作业帮助网 编辑:作业帮 时间:2024/06/17 05:53:48

求P∨( P→(Q∨(Q→R)))主合取与主析取范式RT
求P∨( P→(Q∨(Q→R)))主合取与主析取范式
RT

求P∨( P→(Q∨(Q→R)))主合取与主析取范式RT
去掉蕴含符号
原式=P V( ┐P V (Q V(┐Q V R)))
因为整个式子里面没有合取符号,所以
主合取=0
主析取=(P V ((┐PVQ)) V( ┐P V (┐Q V R)))
=(PV(┐PVQ)) V ( P V ┐P) V (P V (┐Q V R))
=PV(Q V(┐Q V R))
=P V R

主合取范式是 无
主析取范式是 p∨(非pVqVr) 那个非字符 我在电脑上打不出来 汗 能看懂就行 自己做的

P∪( P→(Q∪(Q→R)))= P∪( 非P∪(Q∪(非Q∪R)))
= P∪非P∪Q∪非Q∪R=T
永真式不存在主合取范式,故该式不存在主合取范式;
永真式的主析取范式是所有小项之析取,故
原式的主析取范式是
(P∩Q∩R)∪(P∩Q∩非R)∪(P∩非Q∩R)∪(P∩非Q∩非R)∪
(非P∩Q∩R)∪(非P∩Q∩非R)∪(非P∩非Q∩R)∪(非...

全部展开

P∪( P→(Q∪(Q→R)))= P∪( 非P∪(Q∪(非Q∪R)))
= P∪非P∪Q∪非Q∪R=T
永真式不存在主合取范式,故该式不存在主合取范式;
永真式的主析取范式是所有小项之析取,故
原式的主析取范式是
(P∩Q∩R)∪(P∩Q∩非R)∪(P∩非Q∩R)∪(P∩非Q∩非R)∪
(非P∩Q∩R)∪(非P∩Q∩非R)∪(非P∩非Q∩R)∪(非P∩非Q∩非R)

收起