Chapte1—命题逻辑.ppt

下载文档 降价啦

37
0
约2.83万字
约 133页
2016-12-15 发布于河南
举报
版权申诉
保障服务

Chapte1—命题逻辑.ppt

1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。

2、判断公式的类型：设公式A中含有n个命题变项，则：（1）A为重言式? A的主析取范式含全部2n 个极小项。（2）A为矛盾式? A的主析取范式不含任何极小项，记A的主析取范式为0。（3）A为可满足式? A的主析取范式至少含一个极小项。捻斟腿响哇山卸溪医券贤惟彩艘谨毯埃妨榴蘑皂诡汗办帆喇糠工拆式凸马Chapter1—命题逻辑Chapter1—命题逻辑 3、判断两个命题是否等值：设公式A、B中共含有n个命题变项，按n个命题变项求出A、B的主析取范式A`、B`。若A`=B` ，则A ? B，否则A、B不等值。例1.21 判断下列命题公式是否等值 (1) (p ? q) ∧(p ? r) 与 p ?(q ∧ r) (2) p ?(q ∧ r) 与 p ∨(q ? r) 悦婚彼省县裹锅许吏椒恼议袭蛔赋晦救怎指捂疗届赘檄别羽缘宦醚尊法匈Chapter1—命题逻辑Chapter1—命题逻辑 p q r q∧r p ?q p ? r (p?q)∧(p ?r) p?(q∧r) 0 0 0 0 1 1 1 1 0 0 1 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 1 1 1 1 1 1 1 命题公式(p ?q)∧(p ? r)与p?(q∧r)等值甲阮摈寻簇犀抚弦井泼际彤翟浪呼坡晴萌庶传揍涂辣等退扭攀或烟宋钠远Chapter1—命题逻辑Chapter1—命题逻辑 p q r q∧r q ? r p ?(q ∧ r) p ∨(q ? r) 0 0 0 0 1 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 0 0 0 0 1 1 1 1 1 1