原式=>┐(┐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∧┐Q)
=>(P∧┐Q∧R)∨(P∧┐Q┐R)∨(P∧Q∧R)∨(P∧┐Q ∧R)∨ (┐P∧Q ∧R)∨(┐P∧┐Q∧R)(上式整理后)
=>m1∨m3∨m4∨m5∨m7 (上式整理后)
方法二:
原式=>┐(┐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 (根据主合取范式与主析取范式的互补性,由上式直接得到主析取范式)本回答被提问者采纳
...用等值演算求(P→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 (根据主合取范式与主析取范式的互补性,由上式直接得到主析取范式)
离散数学中的等值演算
等值演算的证明：((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 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)→r)↔s ⇔(((¬p∧¬q)∨r)→s)∧(s→((p∨q)→r))⇔((¬(¬p∧¬q)∧¬r)∨s)∧(s→((p∨q)→r))⇔(((p∨q)∧¬r)∨s)∧(s→((p∨q)→r))⇔(((p∨q)∧¬r)∨s)∧(&#...
...q->┐r)∧(┐r->(p∨q)) 怎么演算变成主析取范式? 答案是 m1∨m2...
常规做法是进行等值演算，过程有点麻烦。也可以用真值表，主析取范式中的每一个极小项mj的下标对应的二进制数(对于本题来说，就是三位二进制了)就是命题公式的成真赋值。所以我们只要找出所有的成真赋值，转换为十进制数，就得到了所有的极小项。(p->r)∧(q->┐r)∧(┐r->(p∨q)) 为真，...
离散数学 等值演算 p→q→r<=>(p→ q)→(p→r)
楼主，这个等值演算应该不成立，比如p=0,q=1,r=0时前面为假，后面为真。下面我给你它的等值演算吧！p—>q—>r经过演算得m1@m3@m4@m5@m7 @代表是离散数学的吸取或张开符号。而(p—>q)—>(p—>r)非(非p@q)@(非p@r) <=>(p^非q)@（非p@r) <=>(P^非q)^(非r@r))@...
用等值演算求公式的主析取范式与真赋值
得到主析取范式 （3）(p∨(q∧r))→(p∨q∨r)⇔ ¬(p∨(q∧r))∨(p∨q∨r) 变成 合取析取 ⇔ (¬(p∨(q∧r))∨p)∨q∨r 结合律 ⇔（¬(q∧r)∨p）∨q∨r 吸收率 ⇔（¬q∨¬r∨p）∨q∨r 德摩根定律 ⇔ T...
离散数学中的消解律如何用逻辑演算证明?
等值演算的证明：((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)→(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∧&...
