离散数学的问题

[复制链接]
查看11 | 回复1 | 2013-3-12 18:48:01 | 显示全部楼层 |阅读模式
第二步得到的四个合取式中的第三个是矛盾式0,可以去掉了,剩下的三个都不是极小项,缺少一个命题变项,添加另一个命题变项的方法在书上肯定是有介绍的,比如第一个,利用同一律、排中律,再用分配律化为:(┐p∧┐q)=(┐p∧┐q)∧1=(┐p∧┐q)∧(r∨┐r)=(┐p∧┐q∧r)∨(┐p∧┐q∧┐r)其余两个一样做法,把重复的去掉后就是答案所写。...
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

主题

0

回帖

4882万

积分

论坛元老

Rank: 8Rank: 8

积分
48824836
热门排行