88问答网
所有问题
当前搜索:
求主析取范式的两种方法
...求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和
主析取范式
...
答:
列真值表法或者逻辑推出法都可以知道 主合取范式为:(┒X1∨X2∨X3∨X4)∧(┒X1∨X2∨┒X3∨X4)∧ (X1∨X2∨┒X3∨X4)∧(X1∨┒X2∨┒X3∨X4)∧(┒X1∨X2∨┒X3∨X4)∧(┒X1∨┒X2∨┒X3∨X4)
主析取范式
为:(┒X1∧X2∧┒X3∧X4)∨(┒X1∧X2∧┒X3∧┒X4)∨...
离散数学怎么通过主合取
范式求
得
析取范式
?
答:
对"与"的运算使用分配律,例如 (A+B)(C+D)=A(C+D)+B(C+D)=AC+AD+BC+BD.其中的字母表示集合或命题。
如何按步骤求命题公式的主合取范式与
主析取范式
答:
先化简为最简范式,然后补项。主合取范式与
主析取范式
,之间可以相互转换。具体教程:http://jingyan.baidu.com/article/1612d5005ed288e20f1eee6e.html
离散数学如何用等值演算法求(p∧q)∨r的
主析
联
范式
?
答:
非 “主析联范式” 而是 “
主析取范式
”。这种例子教科书上有的,翻翻书,用上常用的命题等价式,依样画葫芦即可。(p∧q)∨r <==> (p∨r)∧(q∨r)<==> ((p∨q∨r)∧(p∨﹁q∨r))∧((p∨q∨r)∧(﹁p∨q∨r))<==> (p∨q∨r)∧(p∨﹁q∨r)∧(﹁p∨q∨r)<==> M0...
一道离散数学的问题,请问怎么用
主范式
法证明,谢谢
答:
得到
主析取范式
右式,只有RQ
两种
变元,要添加P变元,才能求出标准的三元的主析取范式。R→Q ⇔(R→Q)∧(P∨¬P)⇔(R→Q)∧(¬P∨P) 交换律 排序 ⇔(R→Q)∧TRUE 排中律或矛盾律 ⇔R→Q 消灭TRUE/FALSE ⇔¬R∨Q 变成 合取析取 ...
求(┐p→q)→(┐q∨p)的
主析取范式
,并求成真赋值,
答:
逻辑上的“蕴含→”,是指 A→B 等同于 ┐A∨B 而 ┐p→q 则等同于 ┐(┐p)∨q ,即 p∨q (┐p→q)→(┐q∨p)⇔ ┐(┐p→q)∨(┐q∨p)⇔ ┐(p∨q)∨(┐q∨p)⇔┐p∧┐q∨┐q∨p ⇔(┐p∧┐q∨┐q)∨p ⇔┐q∨p ...
求P∨Q∨R的
主析取范式
。
答:
[P∧(¬Q∨Q)∧(¬R∨R)]∨[(¬P∨P)∧Q∧(¬R∨R)]∨[(¬P∨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的顺序依次写;真值表中值为1的项为极小项,值为0的项为极大项;n个变元共有个极小项或极大项,这为(0~-1)刚好为化简完后的主析取加主合取;永真式没有主合取范式,永假式没有
主析取范式
;推证蕴含式
的方法
(=>):真值表法;分析法(...
离散数学中怎样用
主析取范式求主
合取范式
答:
主析取范式
中,有若干的极小项,检查遗漏的极小项,找出相应的极大项。然后把这些极大项合取,即可得到主合取范式。详细解答,请参考百度 http://jingyan.baidu.com/article/1612d5005ed288e20f1eee6e.html
离散数学的一个简单题 求这个公式的
析取范式
和合取范式 帮帮忙 要详 ...
答:
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) 德摩根定律 得到
主析取范式
...
棣栭〉
<涓婁竴椤
5
6
7
8
10
11
12
9
13
14
涓嬩竴椤
灏鹃〉
其他人还搜