用等值演算法证明(pv「q)v(「p^q)<=>(pvq)^「(p^q)
1个回答
展开全部
我们已知：p->q <=> ┐pvq
左边 <=> ┐（p<->q）
<=> ┐( (p->q ) ^ (q->p) )
<=> ┐( (┐pvq ) ^ (┐qvp) )
<=> ┐ (┐pvq ) v ┐ (┐qvp)
<=> (p ^ ┐q ) v (q ^ ┐p)
右边 <=> (p v q ) ^ (┐p v ┐ q)
<=> (p ^ (┐p v ┐q)) v (q ^ (┐p v ┐ q))
<=> (p ^ ┐q ) v (q ^ ┐p) <=> 左边
左边 <=> ┐（p<->q）
<=> ┐( (p->q ) ^ (q->p) )
<=> ┐( (┐pvq ) ^ (┐qvp) )
<=> ┐ (┐pvq ) v ┐ (┐qvp)
<=> (p ^ ┐q ) v (q ^ ┐p)
右边 <=> (p v q ) ^ (┐p v ┐ q)
<=> (p ^ (┐p v ┐q)) v (q ^ (┐p v ┐ q))
<=> (p ^ ┐q ) v (q ^ ┐p) <=> 左边
本回答被网友采纳
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
