⇔¬((p∨q)→r)∨p 变成 交并
⇔¬(¬(p∨q)∨r)∨p 变成 交并
⇔((p∨q)∧¬r)∨p 德摩根定律
⇔((p∨q)∨p)∧(¬r∨p)
⇔(p∨q)∧(¬r∨p)
⇔(p∨q∨(r∧¬r))∧(p∨(¬q∧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 变成 交并 ⇔¬(¬(p∨q)∨r)∨p 变成 交并 ⇔((p∨q)∧¬r)∨p 德摩根定律 ⇔((p∨q)∨p)∧(¬r∨p)⇔(p∨q)∧(¬r∨p)⇔(p∨q∨(r∧¬r))∧(p∨(¬q∧q)∨...
...∧(P→R)的主析取范式和主合取范式 求步骤 急急急急
步骤如下：(¬P∨Q)∧(P→R)⇔(¬P∨Q)∧(¬P∨R) 变成 合取析取 ⇔(¬P∨Q∨(¬R∧R))∧(¬P∨(¬Q∧Q)∨R) 补项 ⇔((¬P∨Q∨¬R)∧(¬P∨Q∨R))∧(¬P∨(¬Q∧Q)∨R) 分配律2...
离散数学:求析取范式和合取范式
P∧(P→Q)⇔P∧(¬P∨Q) 变成 合取析取 ⇔P∧Q 合取析取 吸收率 得到主析取范式 然后检查遗漏的极小项，取反，合取后得到，主合取范式：(¬P∨¬Q)∧(¬P∨Q)∧(P∨¬Q)
关于离散数学 求如下公式的主析取范式和主合取 范式 (p∧q)∨(p∧r...
求主范式的过程如下：(p∧q)∨(p∧r)⇔(p∧q∧(¬r∨r))∨(p∧(¬q∨q)∧r) 补项 ⇔((p∧q∧¬r)∨(p∧q∧r))∨(p∧(¬q∨q)∧r) 分配律2 ⇔(p∧q∧¬r)∨(p∧q∧r)∨(p∧(¬q∨q)∧r) 结合律 ⇔(p...
离散数学中怎样用主析取范式求主合取范式
主析取范式是由极小项之和构成的，命题公式化简出来的主析取范式中包含的极小项，其下标对应的指派得到的命题公式的真值应该为1。主合取范式由极大项之积构成，命题公式等价的主合取范式中包含的极大项，其对应下标应该是使对应的指派得到命题公式的真值为0.所以，假设有三个命题変元，极小项和极大项...
离散数学中怎样用主析取范式求主合取范式
得到主析取范式后，可以检查遗漏的极小项，得到与之相应的极大项，然后这些极大项合取，即可得到主合取范式 http:\/\/jingyan.baidu.com\/article\/1612d5005ed288e20f1eee6e.html
离散数学的主析取范式和主合取范式应该怎样求 求具体的方法 一看到这样...
主合取范式:若干个极大项的合取。主析取范式:若干个极小项的析取。合取：同真取真，其余取假，就相当于集合中的取交集；析取：有真取真，同假取假，就相当于集合中的取并集。定理：（1）一个简单析取式是重言式当且仅当它同时含某个命题变项及它的否定。（2）一个简单合取式是矛盾式当且仅当...
离散数学:求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。命题公式...
离散数学 求主析取范式和主合取范式
离散数学 求主析取范式和主合取范式 我来答 你的回答被采纳后将获得: 系统奖励15(财富值+成长值)+难题奖励20(财富值+成长值)1个回答 #热议# 该不该让孩子很早学习人情世故?百度网友ea116ba 2015-03-26 · TA获得超过1372个赞 知道小有建树答主 回答量:1127 采纳率:87% 帮助的人:375万 ...
离散数学,求主析取、合取范式
主合取范式由极大项之积构成,命题公式等价的主合取范式中包含的极大项,其对应下标应该是使对应的指派得到命题公式的真值为0.所以,假设有三个命题変元,极小项和极大项的下标分别是0--7,如果一个命题変元的主析取范式表示为m1或m3或m5,它的主合取范式应该是M0且M2且M4且M6且M7.也就是说下标是...
