关于离散数学，适用等值演算证明下列等值式，求教！
1个回答
展开全部
(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<-->(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<-->(q<-->r)
用等价等值式、蕴含等值式、分配律就可以证明
本回答被提问者采纳
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
