11问答网
所有问题
当前搜索:
等值演算求主析取范式
用
等值演算求
(P→Q)→R的
主析取范式
答:
=>(P∨Q∨R) ∧ (P∨┐Q∨R) ∧(P∨┐Q∨R) ∧(┐P∨┐Q∨R)=>M0∧M2∧M6 (上式整理后得到主合取范式)=>m1∨m3∨m4∨m5∨m7 (根据主合取范式与
主析取范式
的互补性,由上式直接得到主析取范式)
用
等值演算求
公式的
主析取范式
与真赋值
答:
⇔ (¬p∧¬q)∨(p∨¬q) 德摩根定律 ⇔ (¬p∧¬q)∨(p∧(q∨¬q))∨(p∨¬p)∧¬q) 补项 ⇔ (¬p∧¬q)∨(p∧q)∨(p∧¬q) 分配率 幂等率 得到
主析取范式
(3)(p∨(q∧r))→(p∨q∨...
用
等值演算求
下面公式的
主析取范式
(﹁p→Q)→(﹁Q V P)
答:
所以,
主析取范式
为(┓P∧┓Q)V(P∧┓Q)V(P∧Q)
如何判断一个逻辑公式的
主析取范式
和主合取范式呢?
答:
等值演算
:(¬p→q)→(¬q∨p)=(p∨q)→(¬q∨p)=¬(p∨q)∨(¬q∨p);(条件式转化为
析取
式)=(¬p∧¬q)∨(¬q∨p);(否定转移到到单个逻辑变量)
求主范式
和将公式简化的过程正好相反,它要求每个子式都包含所有逻辑变量。这通常就需要...
离散数学数理逻辑题目
答:
主析取范式
和主合取范式的概念应该知道吧?
等值演算
:(¬p→q)→(¬q∨p)=(p∨q)→(¬q∨p)=¬(p∨q)∨(¬q∨p);(条件式转化为析取式)=(¬p∧¬q)∨(¬q∨p);(否定转移到到单个逻辑变量)
求主
范式和将公式简化的过程正好相反,它要求...
...怎么
演算
变成
主析取范式
? 答案是 m1∨m2∨m5
答:
常规做法是进行
等值演算
,过程有点麻烦。也可以用真值表,
主析取范式
中的每一个极小项mj的下标对应的二进制数(对于本题来说,就是三位二进制了)就是命题公式的成真赋值。所以我们只要找出所有的成真赋值,转换为十进制数,就得到了所有的极小项。(p->r)∧(q->┐r)∧(┐r->(p∨q)) 为真,...
离散数学
等值演算
,跪求答案第十四题
答:
(1)p→(p∧(q→p))⇔ ¬p ∨ (p∧(¬q∨p))⇔ ¬p ∨ (p∧¬q)∨p ⇔p∧¬q 得到
主析取范式
检查遗漏的3个最大项 p∧q, ¬p∧q, ¬p∧¬q ⇔ (¬p∨¬q)∧(p∨¬q)∧(p∨q)...
等值演算
法和
主析取范式
法的区别
答:
等值演算
法和
主析取范式
法的区别:算法不同,含义不同。一、算法不同:已知:p->q┐pvq,左边┐(pq),┐((p->q)^(q->p)),(p^┐q)v(q^┐p),右边(pvq)^(┐pv┐q),(p^┐q)v(q^┐p)左边。二、含义不同:¬(P∨Q)→R⇔¬(¬(...
求(P↓Q)→(P∧¬(Q∨¬R))的
主析取范式
,,,大神你会吗!呜呜呜...
答:
所以(P↓Q)→(P∧¬(Q∨¬R))的
主析取范式
是m2∨m3∨m4∨m5∨m6∨m7。解法二:
等值演算
。(P↓Q)→(P∧¬(Q∨¬R))<=>¬¬(P∨Q)∨(P∧¬Q∧R)<=>(P∨Q)∨(P∧¬Q∧R)<=>P∨Q<=>(P∧Q∧R)∨(P∧Q∧¬R)∨(P∧&...
求(P↓Q)→(P∧¬(Q∨¬R))的
主析取范式
,,,大神你会吗!呜呜呜...
答:
所以(P↓Q)→(P∧¬(Q∨¬R))的
主析取范式
是m2∨m3∨m4∨m5∨m6∨m7。解法二:
等值演算
。(P↓Q)→(P∧¬(Q∨¬R))<=>¬¬(P∨Q)∨(P∧¬Q∧R)<=>(P∨Q)∨(P∧¬Q∧R)<=>P∨Q<=>(P∧Q∧R)∨(P∧Q∧¬R)∨(P∧&...
1
2
3
涓嬩竴椤
其他人还搜
用等值演算法求主析取范式
求合取范式与析取范式
析取范式和合取范式
离散数学真值表求主析取范式
一个公式有几个主析取范式
求pvq的主析取范式
主析取范式判断重言式
利用真值表求析取范式
如何求主析取范式