离散数学(P↔Q)∪(P∩R)的主析取范式和主合取范式
发布网友
发布时间:2024-05-07 03:55
我来回答
共2个回答
热心网友
时间:2024-10-23 04:02
(P↔Q)∨(P∧R)
⇔((P→Q)∧(Q→P))∨(P∧R) 变成 合取析取
⇔((¬P∨Q)∧(¬Q∨P))∨(P∧R) 变成 合取析取
⇔((¬P∨Q)∧(P∨¬Q))∨(P∧R) 交换律 排序
⇔((¬P∧(P∨¬Q))∨(Q∧(P∨¬Q)))∨(P∧R) 分配律
⇔(¬P∧(P∨¬Q))∨(Q∧(P∨¬Q))∨(P∧R) 结合律
⇔(¬P∧¬Q)∨(Q∧(P∨¬Q))∨(P∧R) 合取析取 吸收率
⇔(¬P∧¬Q)∨(Q∧P)∨(P∧R) 合取析取 吸收率
⇔(¬P∧¬Q)∨(P∧Q)∨(P∧R) 交换律 排序
⇔(¬P∧¬Q∧(¬R∨R))∨(P∧Q∧(¬R∨R))∨(P∧(¬Q∨Q)∧R) 补项
⇔((¬P∧¬Q∧¬R)∨(¬P∧¬Q∧R))∨(P∧Q∧(¬R∨R))∨(P∧(¬Q∨Q)∧R) 分配律2
⇔(¬P∧¬Q∧¬R)∨(¬P∧¬Q∧R)∨(P∧Q∧(¬R∨R))∨(P∧(¬Q∨Q)∧R) 结合律
⇔(¬P∧¬Q∧¬R)∨(¬P∧¬Q∧R)∨((P∧Q∧¬R)∨(P∧Q∧R))∨(P∧(¬Q∨Q)∧R) 分配律2
⇔(¬P∧¬Q∧¬R)∨(¬P∧¬Q∧R)∨(P∧Q∧¬R)∨(P∧Q∧R)∨(P∧(¬Q∨Q)∧R) 结合律
⇔(¬P∧¬Q∧¬R)∨(¬P∧¬Q∧R)∨(P∧Q∧¬R)∨(P∧Q∧R)∨((P∧¬Q∧R)∨(P∧Q∧R)) 分配律2
⇔(¬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∧Q∧¬R)∨(P∧¬Q∧R)∨(P∧Q∧R) 等幂律
得到主析取范式,再检查遗漏的极小项
⇔m₀∨m₁∨m₅∨m₆∨m₇⇔∑(0,1,5,6,7)
⇔¬∑(2,3,4)⇔∏(2,3,4)⇔M₂∧M₃∧M₄
⇔¬(P∧¬Q∧¬R)∧¬(¬P∧Q∧R)∧¬(¬P∧Q∧¬R) 德摩根定律
⇔(¬P∨Q∨R)∧(P∨¬Q∨¬R)∧(P∨¬Q∨R) 德摩根定律
得到主合取范式
热心网友
时间:2024-10-23 04:03
用真值表法求(P↔Q)∪(P∩R)的主范式
P Q R (P↔Q)∪(P∩R)
1 1 1 1
1 1 0 1
1 0 1 1
1 0 0 0
0 1 1 0
0 1 0 0
0 0 1 0
0 0 0 0
所以原式的主析取范式为:(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↔Q)∪(P∩R)的主析取范式和主合取范式
⇔(¬P∧(P∨¬Q))∨(Q∧(P∨¬Q))∨(P∧R) 结合律 ⇔(¬P∧¬Q)∨(Q∧(P∨¬Q))∨(P∧R) 合取析取 吸收率 ⇔(¬P∧¬Q)∨(Q∧P)∨(P∧R) 合取析取 吸收率 ⇔(¬P∧¬Q)∨(P∧Q)∨(P...
particle Inspection
关于这个问题,您可以联系公司官网的客户服务部门获取相关信息。以下为该公司的基本信息:申克博士测试设备(昆山)有限公司上海分公司是申克博士测试设备(昆山)有限公司的上海分公司,位于中国(上海)自由贸易试验区。该公司是德国申克博士测试设备有限公司的全资子公司,申克博士是全球领先的企业测试设备制造商之一。申克博士测试设备(昆山)有限公司上海分公司主要负责华东地区的销售、售后服务及技术支持工作。公司致力于为客户提供高品质的测试设备和技术服务,帮助客户提高产品质量和生产效率。德国申克博士测试设备(昆山)有限公司上海分公司是一家具有创新精神的高科技公司。本公司 研发,生产,销售用于产品质量以及生产工艺监控的自动光学表面检测及测量方案。这还包括高品质,客制化的传动系统。系统正是众多企业的致胜法宝:例如,...
离散数学:求(p↔q)→r的主合取范式,求学霸解答!
⇔ (p∧¬q)∨(¬p∧q)∨r 结合律 ⇔(p∨(¬p∧q)∨r)∧(¬q∨(¬p∧q)∨r) 分配率 拆开第1个括号 ⇔ (p∨q∨r)∧(¬q∨(¬p∧q)∨r) 合取析取 吸收率 ⇔ (p∨q∨r)∧(¬q∨¬p∨r) 合取析...
离散数学 逻辑,证明¬(P↔ Q)和P↔ ¬Q逻辑等价
P↔ ¬Q逻辑等价,(条件?:当p与q有相反的真值时,P↔ ¬Q两边恰好都为真,就是说p=1,Q=0)这种条件下,显然,¬(P↔ Q)=1 P↔ ¬Q=1 逻辑定价 如果,p=0,q=1 ¬(P↔ Q)=1 P↔ ¬Q=1 也是逻辑等价 这应该只是,解说吧 当P与Q有相反的...
p→q 用连结词↑↓表示 怎么做 离散数学
p与非q等价于非p析取非q,观察如果把非q换成q就等价于所求,非q用推论可以表示为q与非q。故所求等价于p与非(q与非q)。所求是析取范式,p或非q化简会变成合取范式,所以考虑前面加一个非(推论)。(p或非p)或非q,先写成非(非p析取q),观察上式为所求取反,利用推论,所求等价于(p或非p...
《离散数学》中关于P→Q的问题
《离散数学》中关于P→Q的条件问题,P为0, Q为1时,P→Q为1。这种推断称为“善意推定”。举个例子吧:如果天下雨(P),则马路湿(Q)。“如果天不下雨(非P),则马路湿(Q)”可能为真,因为造成马路湿的因素很多,即P为0,Q为1,则P→Q为1,是善意推定。命题的判断常常要联系现实生活...
离散数学(P→Q)∧┐R求主析取范式
简单分析一下,答案如图所示
离散数学证明:(P→Q)→R=>(P→Q)→(P→R)
若P是真的,则当Q是假的,则P→(Q→R)是真命题;则Q→(P→R)也是真命题;若P是真的,Q是真的,R是真的,则P→(Q→R)是真命题;则Q→(P→R)也是真命题;若P是真的,Q是真的,R是假的,则P→(Q→R)是假命题;则Q→(P→R)是假命题。综合上面所得,在每一种情况下,两个...
离散数学证明: S→R, P→Q, Q→R?
综述:因为¬Q∨R = Q→R,并且¬(¬P∧S) = P∨¬S =¬S∨P = S→P,所以这儿看上去给定4个前提S→P, P→Q, Q→R和¬R要去证¬S.前3个前提蕴含S→R.又根据第4个前提,所以¬S。离散数学(Discrete mathematics)是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要...
《离散数学》中关于P→Q的问题
比如说P:2 > 5 Q:6 > 5 则由P是可以推出Q的(因为6大于2)
为什么规定无论q是真是假,p→q均为真 离散数学中蕴涵式的问题
哪有这个规定?应该是:p为假时,无论q是真是假,p→q均为真。可以理解为p假时,推导出任何结论都是可能的