求P∨（ P→（Q∨（Q→R）））主合取与主析取范式RT

来源：学生作业帮助网编辑：作业帮时间：2024/05/01 11:29:54

求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）∪（非...

全部展开

收起