离散数学中怎样用主析取范式求主合取范式
得到主析取范式后,可以检查遗漏的极小项,得到与之相应的极大项,然后这些极大项合取,即可得到主合取范式 http:\/\/jingyan.baidu.com\/article\/1612d5005ed288e20f1eee6e.html
离散数学中怎样用主析取范式求主合取范式
主析取范式是由极小项之和构成的,命题公式化简出来的主析取范式中包含的极小项,其下标对应的指派得到的命题公式的真值应该为1。主合取范式由极大项之积构成,命题公式等价的主合取范式中包含的极大项,其对应下标应该是使对应的指派得到命题公式的真值为0.所以,假设有三个命题変元,极小项和极大项...
离散数学:求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)∧(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...
离散数学求主析取范式主合取范式问题: 当一个式子很容易化成主析取范式...
由主析取范式求主合取范式:含有n个命题变项的命题公式主析取范式中每一个极小项的成真赋值就是命题公式所有的成真赋值,从所有的2^n个赋值中去掉这些成真赋值,剩下的就是成假赋值,每一个成假赋值对应一个极大项,所有的极大项组成的合取范式就是主合取范式。本题,成真赋值是11,10,01,所以成...
关于离散数学 求如下公式的主析取范式和主合取 范式 (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...
离散数学,求主析取主合取范式~ ((A∨B)→C)→A
求主合取范式的步骤如下:¬((A∨B)→C)→A ⇔((A∨B)→C)∨A 变成 合取析取 ⇔(¬(A∨B)∨C)∨A 变成 合取析取 ⇔((¬A∧¬B)∨C)∨A 德摩根定律 ⇔(¬A∧¬B)∨C∨A 结合律 ⇔¬B∨C∨A 合取析取 ...
离散数学的主析取范式和主合取范式应该怎样求 求具体的方法 一看到这样...
理论基础:主合取范式:若干个极大项的合取。主析取范式:若干个极小项的析取。合取:同真取真,其余取假,就相当于集合中的取交集;析取:有真取真,同假取假,就相当于集合中的取并集。定理:(1)一个简单析取式是重言式当且仅当它同时含某个命题变项及它的否定。(2)一个简单合取式是矛盾式...
离散数学:求析取范式和合取范式
跟据题意作等价变换即可:P∧(P→Q)⇔P∧(¬P∨Q) 变成 合取析取 ⇔P∧Q 合取析取 吸收率 得到主析取范式 然后检查遗漏的极小项,取反,合取后得到,主合取范式:(¬P∨¬Q)∧(¬P∨Q)∧(P∨¬Q)
离散数学,求主析取、合取范式
主析取范式是由极小项之和构成的,命题公式化简出来的主析取范式中包含的极小项,其下标对应的指派得到的命题公式的真值应该为1.主合取范式由极大项之积构成,命题公式等价的主合取范式中包含的极大项,其对应下标应该是使对应的指派得到命题公式的真值为0.所以,假设有三个命题変元,极小项和极大项的...