11问答网
所有问题
当前搜索:
离散数学主析取范式怎么求
离散数学求主析取范式
答:
综述:一般可能会用到分配律:A∨(B∧C)<=>(A∨B)∧(A∨C),A∧(B∨C)<=>(A∧B)∨(A∧C)
。其次若化简式里有蕴涵符号,则可以用蕴涵等值式A→B<=>A∨B进行化简;若求主析取范式,化简式中有p∧q,需给其配上r,可配(p∧q)∧(r∨r),这里用了零律及同一律,这里就不详说...
离散数学
中的
主析取范式怎么求
?
答:
(1) p→q, (2) (sVt), (3) (qA 7r)V(-q ^r),(4) (r As)V(→rA -s), (5) 1- +(p ^q) 要求满足各条件,因而要求(1)~(5)的合取式为真.设:A≈(p→q) A(sV1)八((q八→r)V(→qλr))A((rAs)V(r八-s))∩(t→(p^q))为了求出各派遣方案,应求出A...
离散数学
的
主析取范式
和主合取范式应该
怎样求
求具体的方法 一看到这样...
答:
主合取范式:若干个极大项的合取。主析取范式:若干个极小项的析取
。合取:同真取真,其余取假,就相当于集合中的取交集;析取:有真取真,同假取假,就相当于集合中的取并集。定理:(1)一个简单析取式是重言式当且仅当它同时含某个命题变项及它的否定。(2)一个简单合取式是矛盾式当且仅当...
离散数学
用等值演算求(P→Q)→R的
主析取范式
(要解答过程)
答:
方法一:原式=>┐(┐P∨Q)∨R =>(P∧┐Q)∨R =>((P∧┐Q)∧(R∨┐R))∨(R∧(P∨┐P)∧(Q∨┐Q)))=>(P∧┐Q∧R)∨
(P∧┐Q┐R)∨((R∧P)∨(R∧┐P))∧(Q∨┐Q))=>(P∧┐Q∧R)∨(P∧┐Q┐R)∨(R∧P∧Q)∨(R∧P∧┐Q)∨ (R∧┐P∧Q)∨(R∧┐P∧...
...的
主析取范式
、主合取范式 有谁知道
怎么求
的?望赐教
答:
可以用真值表求
。根据蕴含式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)∧(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...
主析取范式怎么求
?
答:
主析取范式
是大学数学里一门名叫
离散数学
(Discrete mathematics)的课程中的内容,在离散数学的数理逻辑一节中,利用真值表和等值演算法可以化简或推证一些命题,但是当命题的变元的数目较多时,上述方法都显得不方便,所以需要给出把命题公式规范的方法,即把命题公式化成主合取范式和主析取范式的方法。
离散数学
,求
主析取
、合取
范式
答:
主析取范式
是由极小项之和构成的,命题公式化简出来的主析取范式中包含的极小项,其下标对应的指派得到的命题公式的真值应该为1.主合取范式由极大项之积构成,命题公式等价的主合取范式中包含的极大项,其对应下标应该是使对应的指派得到命题公式的真值为0.所以,假设有三个命题変元,极小项和极大项的...
求这个的
主析取范式
,
离散数学
答:
P,
主析取范式
:所有简单合取式都是极小项的析取范式,称为主析取范式。所有简单析取式都是极大项的合取范式称为主合取范式。P-〉(P∧(Q-〉P))=P-〉(P∧(Q∨¬P))=P-〉((P∧Q)∨(P∧¬P))=P-〉(P∧Q)=P∨¬(P∧Q)=P∨(¬P∨¬Q)=1 ...
1
2
3
4
5
6
7
8
9
10
涓嬩竴椤
灏鹃〉
其他人还搜
等值演算法求主析取范式
真值表求主合取范式
离散数学主析取范式应用题
主析取范式定义
离散数学主析取范式换算m
求主析取范式的两种方法
离散主析取范式的定义
主析取范式怎么求例题
主范式判断公式类型