离散数学等值演算 谓词公式等值演算

等值演算公式,1,A可为非非A(双重否定律)2,A可为AVA(幂等律)3,A可为A^A(幂等律)4,AVB可为BVA(交换律)5,A^B可为B^A(交换律)6,AV(BVC)可为(.

解此类问题的步骤应为: ① 将简单命题符号化 ② 写出各复合命题 ③ 写出由各复合. ∨(┐r∧┐s)) ∧(u→(p∧q)) ④ 求a的析取范式(用等值演算法),简要过程如下: a(.

楼主,这个等值演算应该不成立,比如p=0,q=1,r=0时前面为假,后面为真.下面我给你它的等值演算吧!p—>q—>r经过演算得m1@m3@m4@m5@m7 @代表是离散数学.

利用等值式进行等值演算,很明显抄主要是用分配律.这没有什么难处,就是写起来袭挺繁琐的.6个小括号内看作一个整体,分别记作abcdef.先用分配律,得到8个合取式组成的析取式,再判断知每一个式子的真值:a∧c∧e的真值是0,因为p1与p2不能同时为真.其余的类似判断.道只有b∧c∧f的真值是1,就是答案的结果

(p∨┐q∨r)∧┐p <==> (p∨┐q∨r)∧(┐p∨(q∧┐q)∨(r∧┐r)) <==> (p∨┐q∨r)∧(┐p∨q∨r)∧(┐p∨┐q∨r)∧(┐p∨q∨┐r)∧(┐p∨┐q∨┐r) <==> m2∧m4∧m6∧m5∧m7 (主合取范式) <==> m0∨m1∨m3 (主析取范式)

1、P→((Q→P)∧(┐P∧Q)) =┐P V ((Q→P)∧(┐P∧Q)) ==┐P V ((┐Q V P)∧(┐P∧Q)) =┐P V ((┐Q ∧(┐P∧Q)) V (P∧(┐P∧Q))) =┐P =(┐P∧┐Q )V(┐P∧Q )(主析取.

用分配率:(p∧q)∨(p∧~q) = ((p∧q)∨p)∧((p∧q)∨~q) = p∧(p∨~q)=p(~p∨q)∧(~q∨p) = ((~p∨q)∧~q)∨((~p∨q)∧p) = (~p∧~q)∨(p∧q) = (p→q)∧(p←q)第2个是双条件命题,我打不出符号,应该就是这样了吧,用真值表也能看出来的

这个事情你只要把合取看成是高中学的集合就好理解一点了,合取是求交集,析取是求并集.这样想就会容易很多了.你多做一下题目记好工式就会好了.

(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)得到主合取范式(2)(q→p)∧(¬p∧q)⇔(¬q∨p)∧¬p∧q⇔(¬q∧¬p∧q)∨(p∧¬p∧q)⇔恒为假

(p∧q)∨(非p∧r)∨(q∧r)(p∧q)∨(非p∧r)∨((p∨非p)∧(q∧r))(p∧q)∨(非p∧r)∨(p∧q∧r)∨(非p∧r∧q)(p∧q)∨(p∧q∧r)∨(非p∧r)∨(非p∧r∧q)(p∧q)∨(非p∧r) (其中否定符号无法打出来,用“非”表示) p(qr)用等价等值式、蕴含等值式、分配律就可以证明