p—>q—>r经过演算得m1@m3@m4@m5@m7 @代表是离散数学的吸取或张开符号。
而(p—>q)—>(p—>r)非(非p@q)@(非p@r) <=>(p^非q)@（非p@r) <=>(P^非q)^(非r@r))@非p@r <=>(p^非q^非r)@(p^非q^r)@非p@r <=>(p^非q^非r)@(p^非q^r)@(非p^q^r)@(p^非q^r)@(p^q^r)@(非p^q^r)@(非p^r^非q)@(非p^非r^q)@(非p^非r^非q) <=>m4@m5@m3@m5@m7@m3@m1@m2@m0 <=>m0@m1@m2@m3@m4@m5@m7
楼主认真看下，不懂可问我。
楼主必须悬赏这位热心的达人啊！打这么多字而且那么的准确，真是我的粉丝！！！追问
我完全没用他写的~~~！！ 不仅凌乱 而且复杂 标准答案简单明了
离散数学 等值演算 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))@...
离散数学中的等值演算
等值演算的证明：((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)→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 (根据主合取...
(离散数学)对((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...
离散数学中的消解律如何用逻辑演算证明?
等值演算的证明：((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→r)<=>p→(q∧r)
（p→q)∧(p→r)=（非p∨q)∧(非p∨r)=非p∨(q∧r)=p→(q∧r)
离散数学 等值演算法
(1) p→q， (2) (sVt), (3) (qA 7r)V(-q ^r)，(4) (r As)V(→rA -s)， (5) 1- +(p ^q) 要求满足各条件，因而要求(1)~(5)的合取式为真.设:A≈(p→q) A(sV1)八((q八→r)V(→qλr))A((rAs)V(r八-s))∩(t→(p^q))为了求出各派遣方案,应求出A...
离散数学等值演算
如下。
通过等值演算证明((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∧?r)∨?p∨r 结合律 ??q∨...
