命题逻辑 离散数学
[[[（p∧q)∧r]∨[（p∧q）∧¬r]]∨¬q]→s化简上课的时候我写了一遍，化出了答案。00回家之后再化简一遍就化不出来了...
[[[（p∧q )∧r ]∨[（p∧q）∧¬r]]∨¬q ] →s
化简
上课的时候我写了一遍，化出了答案。0 0回家之后再化简一遍就化不出来了 展开
化简
上课的时候我写了一遍，化出了答案。0 0回家之后再化简一遍就化不出来了 展开
2个回答
展开全部
[[[（p∧q )∧r ]∨[（p∧q）∧¬r]]∨¬q ] →s
=[[（p∧q )∧[r ∨¬r]]∨¬q ] →s
=[[（p∧q )∧T]∨¬q ] →s
=[（p∧q )∨¬q ] →s
=[（p∨¬q）∧（q∨¬q )] →s
=[(p∨¬q)∧T] →s
=(p∨¬q) →s
=¬ (p∨¬q) ∨s
=（¬p∧q) ∨s
=[[（p∧q )∧[r ∨¬r]]∨¬q ] →s
=[[（p∧q )∧T]∨¬q ] →s
=[（p∧q )∨¬q ] →s
=[（p∨¬q）∧（q∨¬q )] →s
=[(p∨¬q)∧T] →s
=(p∨¬q) →s
=¬ (p∨¬q) ∨s
=（¬p∧q) ∨s
本回答由提问者推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
