((PVQ)蕴含R)蕴含P,求析取范式,
问题描述：
((PVQ)蕴含R)蕴含P,求析取范式,
一楼,第二个等于号后面的式子是怎么转化到第三个等于号后的式子的?这个我一直看不懂.
答
用符号“∪,∩,”分别表示“析取,合取,非”联结词,析取范式不是惟一的,主析取范式是惟一的.((P∪Q)→R)→P=((P∪Q)→R)→P=～(P∪Q)∪R)∪P=(P∪Q)∩～R)∪P=((P∩～R)∪(Q∩～R))∪P(析取范式)= (Q∩～R))∪P(也是...