离散数学，用等值演算法求下列公式的主析取范式 （p→q）^（r→q） 求过程，谢谢！
- 你的回答被采纳后将获得：
- 系统奖励15（财富值+成长值）+难题奖励20（财富值+成长值）
1个回答
展开全部
（p→q）^（r→q）
<=>（┐p∨q）^（┐r∨q）
<=>（┐p^q）∨（┐p^┐r）∨（q∧┐r）
<=>（┐p^q∧(r∨┐r)）∨（┐p^(q∨┐q)∧┐r）∨（(p∨┐p)∧q∧┐r）
<=>（┐p^q∧r）∨（┐p^q∧┐r）∨（┐p^┐q∧┐r）∨（p∧q∧┐r）
<=>（┐p∨q）^（┐r∨q）
<=>（┐p^q）∨（┐p^┐r）∨（q∧┐r）
<=>（┐p^q∧(r∨┐r)）∨（┐p^(q∨┐q)∧┐r）∨（(p∨┐p)∧q∧┐r）
<=>（┐p^q∧r）∨（┐p^q∧┐r）∨（┐p^┐q∧┐r）∨（p∧q∧┐r）
更多追问追答
追问
我教科书里的答案是：m000 V m001 V m100 V m110 V m111
但按你的答案的话只有四种诶.....还少了m111了...
追答
答案错了
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
