88问答网
所有问题
当前搜索:
分析法可以求助析取范式
一道离散数学的问题,请问怎么用
主范式
法证明,谢谢
答:
只需将左边、右边的式子,分别求出
主析取范式
A、B,然后证明A里面的极小项,都在B的极小项里即可。左边式子 (Q→(P∧¬P))→(R→(R→(P∧¬P)))⇔(Q→FALSE)→(R→(R→FALSE)) 排中律或矛盾律 ⇔¬Q→(R→¬R) 消灭TRUE/FALSE ⇔Q∨(R→...
离散数学:用
主析取范式
法证明下面推理是正确的。
答:
这个显然不是
主析取范式
。p: a 是奇数 q: a 能被2 整除 r: a 是偶数 若 a 是奇数, 则 a 不能被2 整除:p→¬q 若 a 是偶数, 则 a 能被 2 整除:r→q 如果 a 是偶数, 则 a 不是奇数: r→¬p (p→¬q)∧(r→q)⇔ (¬p∨¬q)∧(&...
用真值表法及等值演算法求公式(P→Q)→R 的
主析取范式
和主合取...
答:
书上有例子的,你只要把p_q(我手机上找不到箭头了)这种转换成非p且q的形式去做,然后根据
主析取范式
和主合取范式的定义转化成全部是并或全部是交的就行,注意德摩根律的应用
离散数学
范式
问题,急,求详解
答:
M01,M10,M11所以与 ┐(q→┐p) ∧┐p 等价的主合取范式为M00∧M01∧M10∧M11=∏(0,1,2,3);公式(┐p→q )→(┐q∨p)从真值表中看出其真值为1的小项有m00,m10,m11三项,所以与 (┐p→q )→(┐q∨p)等价的
主析取范式
为m00∨m10∨m11=∑(0,2,3)
等值演算法和
主析取范式
法的区别
答:
等值演算法和
主析取范式
法的区别:算法不同,含义不同。一、算法不同:已知:p->q┐pvq,左边┐(pq),┐((p->q)^(q->p)),(p^┐q)v(q^┐p),右边(pvq)^(┐pv┐q),(p^┐q)v(q^┐p)左边。二、含义不同:¬(P∨Q)→R⇔¬(¬(...
离散数学的问题
答:
用真值表法看 你命题有多少个变元 那就知道有多少个 极小项 极大项 所以例如 你的是 永真式 那
主析取范式
就是所有极小项析取 反之 不用说了吧 还有定理:任何公式都有与之等价的主析取范式和主合取范式 我小学没毕业 不知道说得对或者错 希望对你有用吧 ...
永假式为什么没有
主析取范式
答:
因为没有对应的极小项
离散数学
求主析取范式
主合取范式问题: 当一个式子很容易化成主析取范式...
答:
由
主析取范式求主
合取范式:含有n个命题变项的命题公式主析取范式中每一个极小项的成真赋值就是命题公式所有的成真赋值,从所有的2^n个赋值中去掉这些成真赋值,剩下的就是成假赋值,每一个成假赋值对应一个极大项,所有的极大项组成的合取范式就是主合取范式。本题,成真赋值是11,10,01,所以成...
离散数学,怎么
求主
合取范式及
主析取范式
?以及怎么判断重言式?_百度...
答:
A⇒B,是A∨┓B,A⇔B,A∨┓B十┓A∨B 代入。主合取范式是所有变量或其非先组成与式在再相加。
主析取范式
是所有变量或其非,组成或式再相加。
离散数学题求写下过程.~
答:
q)∧(q∨(¬p∧q)) 结合律 ⇔(p∨¬q)∧(q∨(¬p∧q)) 等幂律 ⇔(p∨¬q)∧q 合取析取 吸收率 ⇔p∧q 合取析取 吸收率 得到
主析取范式
检查遗漏的极小项,然后取反后合取,得到 主合取范式 (¬p∨q)∧(p∨¬q)∧(p∨q)
棣栭〉
<涓婁竴椤
5
6
7
8
10
11
12
9
13
14
涓嬩竴椤
灏鹃〉
其他人还搜