主合取范式由极大项之积构成,命题公式等价的主合取范式中包含的极大项,其对应下标应该是使对应的指派得到命题公式的真值为0.
所以,假设有三个命题変元,极小项和极大项的下标分别是0--7,如果一个命题変元的主析取范式表示为m1或m3或m5,它的主合取范式应该是M0且M2且M4且M6且M7.
也就是说下标是极小项下标集合的补集.本回答被网友采纳
离散数学,求主析取主合取范式～ ((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 合取析取 吸...
离散数学:求析取范式和合取范式
P∧(P→Q)⇔P∧(¬P∨Q) 变成 合取析取 ⇔P∧Q 合取析取 吸收率 得到主析取范式 然后检查遗漏的极小项，取反，合取后得到，主合取范式：(¬P∨¬Q)∧(¬P∨Q)∧(P∨¬Q)
离散数学(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∧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.所以,假设有三个命题変元,极小项和极大项的...
离散数学题目,主析取,主合取
先进行化简，求出一个主范式后，再求另一个主范式 具体过程：(P∧R)∨(Q∧R)∨¬P ⇔R∨(Q∧R)∨¬P 合取析取 吸收率 ⇔R∨¬P 合取析取 吸收率 ⇔¬P∨R 交换律 排序 ⇔¬P∨(¬Q∧Q)∨R 补项 ⇔(¬P∨&#...
离散数学:求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∨¬q∨¬r)这是主合取范式 检查遗漏极大项，得到相应的极小项，从而最终得到主析取范式 ⇔(p∧¬q∧r)∨(¬p∧¬q∧¬r)∨(¬p∧¬q∧r)∨(¬p∧q∧¬r)∨(¬p∧q∧¬r)...
离散数学的主析取范式和主合取范式应该怎样求 求具体的方法 一看到这样...
理论基础：主合取范式:若干个极大项的合取。主析取范式:若干个极小项的析取。合取：同真取真，其余取假，就相当于集合中的取交集；析取：有真取真，同假取假，就相当于集合中的取并集。定理：（1）一个简单析取式是重言式当且仅当它同时含某个命题变项及它的否定。（2）一个简单合取式是矛盾式...
离散数学 求主析取范式
P→(┐Q∨R) <==> ┐P∨(┐Q∨R)<==> ┐P∨┐Q∨R <==> M6 <==> Π(6) (主合取范式)<==> Σ(0,1,2,3,4,5,7) (主析取范式)注：符号取自屈婉玲等编写的《离散数学》。
