((PVQ)蕴含R)蕴含P,求析取范式,一楼,第二个等于号后面的式子是怎么转化到第三个等于号后的式子的?这个我一直看不懂.

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/03 23:30:59
((PVQ)蕴含R)蕴含P,求析取范式,一楼,第二个等于号后面的式子是怎么转化到第三个等于号后的式子的?这个我一直看不懂.

((PVQ)蕴含R)蕴含P,求析取范式,一楼,第二个等于号后面的式子是怎么转化到第三个等于号后的式子的?这个我一直看不懂.
((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(也是析取范式)
= (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,求析取范式,一楼,第二个等于号后面的式子是怎么转化到第三个等于号后的式子的?这个我一直看不懂. 命题公式(PvQ)→R的析取范式是 ( ) A.┐(PvQ)vRB.(P^Q)vRC.(PvQ)vRD.(┐P^┐Q)vR 构建下面推理的证明 前提:p合取q,p蕴含非r,s蕴含t,非s蕴含r,非t 结论:q 离散数学命题逻辑求析取范式?求析取范式?主析取范式?再用主析取范式求主和取范式?1、(p^q)Vr 2、(p->q)^(q->r)求下列公式的主和取范式,再用主和取范式求主析取范式?1、(p^q)->q2、(p->q)->r3、┐(r- 证明:P∨Q→R 蕴含(两横的箭头)P∧Q→R 一道数理逻辑题.急.高分.求 (非(存在x)P(x)析取(全称y)Q(y))蕴含(全称z)R(z) 的前束范式,几个符号在这里显示不出,懂的人应该看得懂要过程,谢谢!回答出来追加80分! 蕴含造句 蕴含近义词 蕴含近义词 ┐(┐R→P)∧P∧Q如何求主合取范式与主析取范式, 在离散数学中 前提是p蕴含q 结论是p蕴含(p且q) 的推理证明 除非p,否则非q 这句话的逻辑关系是:p蕴含q还是q蕴含p 为什么? 求P→Q∨R的析取范式、主析取范式、主合取范式我求的是:P→Q∨R的析取范式、主析取范式、主合取范式, 求离散数学(P→ Q)→ R主合取范式和主析取范式 求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦 P→Q∧R的合取范式和主析取范式? 求命题公式(P∧Q)∨R的主析取范式和主合取范式 求主析取范式(P→非Q)→R