离散数学,求非(P∧Q)→(P∨Q)的主析取范式和主合取范式?

解这个题有一步是(P∧Q)∨(P∨Q)怎么再化简呢?

第1个回答  2019-12-11
用P'表示非p.
(P∧Q)'→(P∨Q)
=(P∧Q)∨(P∨Q)
=P∨Q.
可以吗?追问

啊,看不太懂。。。。

追答

哪一步看不懂?

追问

为什么(P∧Q)∨(P∨Q)=P∨Q呢?

追答

从集合的角度看,P∧Q是P∨Q的子集。

可以吗?

追问

可!

本回答被提问者采纳

离散数学,求非(P∧Q)→(P∨Q)的主析取范式和主合取范式?
用P'表示非p.(P∧Q)'→(P∨Q)=(P∧Q)∨(P∨Q)=P∨Q.可以吗?

求离散数学(P→ Q)→ R主合取范式和主析取范式
用P'表示非P,P→Q=P'+Q,所以(p→q)→R=(P'+Q)'+R=PQ'+R(主析取范式)=(P+R)(Q'+R)(主合取范式).仅供参考。 抢首赞 已赞过 已踩过< 你对这个回答的评价是? 评论 分享 复制链接http:\/\/zhidao.baidu.com\/question\/1890903374033973628\/answer\/4554885786 新浪微博 微信扫一扫 举报 收起 推荐律师...

求下列公式的主析取范式,再用主析取范式求主合取范式。(p∨q)→q
主析取范式:(非p∧非q)∨(p∧q)∨(p∧非q)主合取范式:p∨非q 先利用a→b<=>非a∨b求得主析取范式,再利用布尔析取(大项)和布尔合取(小项)求主合取范式 命题公式为真对应的极小项的析取就是主析取范式。对于命题公式A为真的命题变元指派来说,这组成真指派一定对应一个成真的极...

离散数学 求P→(P∧(Q→P))的主析取范式和主合取范式并判断是否为重言式...
离散数学 求P→(P∧(Q→P))的主析取范式和主合取范式并判断是否为重言式  我来答 1个回答 #热议# 直播| 一起见证OPPO Reno7系列正式亮相!匿名用户 2014-06-20 展开全部 追问 帮我 一步一步划一下 我自己做了一下 但是不太确定 感谢大神 本回答被提问者采纳 已赞过 已踩过< 你对这个回答的评...

...公式(P∨Q)→(R∨Q) 的主析取范式、主合取范式 有谁知道怎么求的?望...
可以用真值表求。根据蕴含式A→B的真值的情形,只有A真B假时才为假,所以(P∨Q)→(R∨Q) 成假只有当P∨Q真,R∨Q假时,此时P真Q假R假,即成假赋值只有100,对应的极大项是M4,所以主合取范式是M4,那么主析取范式就是m0∨m1∨m2∨m3∨m5∨m6∨m7 参考资料:符号表示参考自耿素云的教材...

离散数学:求p→(q∧┐r)的主合取范式、主析取范式、成真赋值成假赋值以...
命题公式是蕴涵式,成假赋值只有一种情况,是p真q∧┐r 假时,q∧┐r 假有三种情况,q,r都真或都假,或q假r真,所以命题公式的成假赋值是111,101,100,对应的十进制数是7,5,4,所以主合取范式是M4∧M5∧M7。成真赋值是000,001,010,011,110,主析取范式是m0∨m1∨m2∨m3∨m6。命题公式...

求((p∨q)→r)→p 的主析取范式和主合取范式;要求用两种方法:等值演算 ...
求((p∨q)→r)→p 的主析取范式和主合取范式;要求用两种方法:等值演算法,真值表法。10  我来答 分享 微信扫一扫 网络繁忙请稍后重试 新浪微博 QQ空间 举报 浏览13 次 可选中1个或多个下面的关键词,搜索相关资料。也可直接点“搜索资料”搜索整个问题。 真值表 析取 范式 合取 算法 搜索资料 本...

离散数学 求公式的析取范式,合取范式,主合取范式 公式:(¬P∨¬...
吸收率 ⇔(P∧Q)∨(¬P∧Q)∨(¬Q∧P) 合取析取 吸收率 ⇔(P∧Q)∨(¬P∧Q)∨(P∧¬Q) 交换律 排序 得到主析取范式,再检查遗漏的极小项 ⇔¬(¬P∧¬Q) 德摩根定律 ⇔(P∨Q) 德摩根定律 得到主合取范式 ...

主析取范式和主合取范式有什么区别?
主合取范式,就是若干个极大项的合取(交集)。如何按步骤求命题公式的主合取范式与主析取范式主析取范式,就是若干个极小项的析取(并集)。如何按步骤求命题公式的主合取范式与主析取范式而所谓的极大项,就是包含全部数目扮闭的命题变元的析取表达式。例如:p∨¬q∨r如何按步骤求命题公式的...

求公式((P∨q)∧(p→q))↔(q→p) 的主析取范式,再由主析取范式求出...
【答案】:q∧p(主析取范式) ; (p∨q)∧(p∨q)∧(p∨非q) (主合取范式)解析:((p∨q) ∧(p→q)) ?(q→p)=((p∨q) ∧(非p∨q)) ?(非q∨p)=((p∧非p)∨q)) ?(非q∨p)=(F∨q)) ?(非q∨p)=q ?(非q∨p)=(q∧(非q∨p))∨(非q∧非(非q∨p))=(q∧...

相似回答