00问答网
所有问题
当前搜索:
蕴含析取等值律
p∧q的通解是什么?
答:
⇔(p∧q∧¬r)∨(¬p∧¬q∧r)∨(¬p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧r) 等幂
律
主
析取
范式是大学数学里一门名叫离散数学的课程中的内容,在离散数学的数理逻辑一节中,利用真值表和
等值
演算法可以化简或推证一些命题,但是当命题的变元的数目较多时,...
离散数学 用
等值
演算求(P→Q)→R的主
析取
范式 (要解答过程)
答:
=>(P∨R)∧(┐Q∨R)=>((P∨R) ∨ (Q∧┐Q))∧((P∧┐P)∨(┐Q∨R))=>(P∨Q∨R) ∧ (P∨┐Q∨R) ∧(P∨┐Q∨R) ∧(┐P∨┐Q∨R)=>M0∧M2∧M6 (上式整理后得到主合取范式)=>m1∨m3∨m4∨m5∨m7 (根据主合取范式与主
析取
范式的互补性,由上式直接得到主析取范式)
离散数学题
答:
∨ ¬r∨¬p 德摩根定律 ⇔(¬p∨q) ∨(r∧¬q) ∨ ¬r分配
律
⇔(¬p∨q) ∨(¬q∨¬r)分配律 ⇔¬p∨q ∨¬q∨¬r结合律去括号 ⇔T 永真 3、主
析取
范式:与方法2类似,最后也能化成永真。
离散数学 (p ∨(q ∧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)∨(¬p∧¬q∧r)∨(¬p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧r) 等幂律。得到主
析取
范式。
用
等值
演算法求公式((pVq)^(p->q))(q->p)的主
析取
范式与主合取范式...
答:
我们已知:p->q ┐pvq 左边 ┐(pq)┐( (p->q ) ^ (q->p) )┐( (┐pvq ) ^ (┐qvp) )┐ (┐pvq ) v ┐ (┐qvp)(p ^ ┐q ) v (q ^ ┐p)右边 (p v q ) ^ (┐p v ┐ q)(p ^ (┐p v ┐q)) v (q ^ (┐p v ┐ q))(p ^ ┐q ) v (q ^ ...
请通过
等值
演算法求┐(P∧Q)→(P∨Q)的主
析取
范式。
答:
┐(P∧Q)→(P∨Q) <=>(P∧Q)∨(P∨Q) <=>P∨Q<=>(P∧(┐Q∨Q))∨(┐P∨P)∧Q)<=>(P∧┐Q)∨(P∧Q)∨(┐P∧Q)
通过
等值
演算证明((p∨q)∧(p→r)∧(~r))→q为永真式
答:
((p→q)∧(q→r))→(p→r) ??((p→q)∧(q→r))∨(p→r) 变成 合取
析取
??((?p∨q)∧(?q∨r))∨(?p∨r) 变成 合取析取 ?(?(?p∨q)∨?(?q∨r))∨(?p∨r) 德摩根定律 ?((p∧?q)∨(q∧?r))∨(?p∨r) 德摩根定律 ?(p∧?q)∨(q∧?
用
等值
演算法求这个式子主
析取
范式的详细步骤
答:
回答:亲你难道我了
(p∧q)∨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)∨(¬p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧r) 等幂律。得到主
析取
范式。
主
析取
范式的基本内容
答:
会用主
析取
范式求公式的成真赋值、成假赋值、判断公式的类型、判断两个公式是否
等值
。 定义2.2 命题变项及其否定统称作文字。 仅由有限个文字构成的析取式称为简单析取式。仅由有限个文字构成的合取式称为简单合取式。例如,文字:p,┐q,r,q.简单析取式: p,q,p∨q,p∨┐p∨r,┐p∨q∨┐r...
<涓婁竴椤
1
2
3
4
5
6
7
8
涓嬩竴椤
其他人还搜