((PVQ)蕴含R)蕴含P,求析取范式,
来源:学生作业帮 编辑:大师作文网作业帮 分类:数学作业 时间:2024/10/02 14:28:49
((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(也是析取范式)
= (Q∪P)∩(~R∪P)
= (P∪Q∪R)∩(P∪Q∪~R)∩(~R∪P∪Q)∩(~R∪P∪~Q)
= (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=~(P∪Q))∩~R)∪P=(P∪Q)∩~R)∪P
利用Demogan定理
((P∪Q)→R)→P=((P∪Q)→R)→P=~(P∪Q)∪R)∪P
=(P∪Q)∩~R)∪P
=((P∩~R)∪(Q∩~R))∪P(析取范式)
= (Q∩~R))∪P(也是析取范式)
= (Q∪P)∩(~R∪P)
= (P∪Q∪R)∩(P∪Q∪~R)∩(~R∪P∪Q)∩(~R∪P∪~Q)
= (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=~(P∪Q))∩~R)∪P=(P∪Q)∩~R)∪P
利用Demogan定理
命题公式(PvQ)→R的析取范式是 ( )
构建下面推理的证明 前提:p合取q,p蕴含非r,s蕴含t,非s蕴含r,非t 结论:q
证明:P∨Q→R 蕴含(两横的箭头)P∧Q→R
求P→Q∨R的析取范式、主析取范式、主合取范式
蕴含造句
┐(┐R→P)∧P∧Q如何求主合取范式与主析取范式,
求公式(P→Q)∧ (P→R)的主析取范式,主合取范式.急用,
在离散数学中 前提是p蕴含q 结论是p蕴含(p且q) 的推理证明
除非p,否则非q 这句话的逻辑关系是:p蕴含q还是q蕴含p 为什么?
离散数学中过于“P蕴含Q”的真假问题
求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦
求命题公式(P∧Q)∨R的主析取范式和主合取范式