原创力文档- 1、本文档共62页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 5、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 6、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学屈婉玲_耿素云_张立昂第2章_高教
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 求A的主析取范式 A=(p?r)?(q??r)?((p??q)?(?p?q)) ? (?p?r)?(?q??r)?((p??q)?(?p?q)) ? ((?p??q)?(?p??r)?(r??q)?(r??r)) ?((p??q)?(?p?q)) ? ((?p??q)?(p??q))?((?p??r)?(p??q)) ?((r??q)?(p??q))?((?p??q)?(?p?q)) ?((?p??r)?(?p?q))?((r??q)?(?p?q)) ? (p??q?r)?(?p?q??r) 成真赋值:101,010 结论: 方案1 派A与C去, 方案2 派B去 主范式的应用 * 由主析取范式确定主合取范式 例10 设A有3个命题变项, 且已知A= m1?m3?m7, 求A的主合取 范式. 解 A的成真赋值是1,3,7的二进制表示, 成假赋值是在主析取 范式中没有出现的极小项的下角标0,2,4,5,6的二进制表示, 它 们恰好是A的主合取范式的极大项的下角标, 故 A ? M0?M2?M4?M5?M6 用成真赋值和成假赋值确定主范式 由主合取范式确定主析取范式 用真值表确定主范式 * 2.3 联结词的完备集 定义2.6 称F:{0,1}n? {0,1} 为n元真值函数. {0,1}n={00…0, 00…1, …, 11…1}，包含 个长为n的0,1符号串. 共有 个n元真值函数. 1元真值函数 p 0 0 0 1 1 1 0 1 0 1 * 真值函数 p q 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 p q 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 2元真值函数 {0,1}n={00…0, 00…1, …, 11…1} * 公式与真值函数 任何一个含n个命题变项的命题公式A都对应惟一的一个n元 真值函数 F , F 恰好为A的真值表. 等值的公式对应的真值函数相同. 例如：p?q, ?p?q 都对应 * 联结词完备集 定义2.7 设S是一个联结词集合，如果任何n(n?1) 元真值函数都可以由仅含S中的联结词构成的公式表示，则称S是联结词完备集 若S是联结词完备集, 则任何命题公式都可由S中的联结词表示 定理2.6 S = {?, ?, ?}是联结词完备集 证明 由范式存在定理可证 * 联结词完备集 推论 以下都是联结词完备集 (1) S1 = {?, ?, ?, ?} (2) S2 = {?, ?, ?, ?, ?} (3) S3 = {?, ?}
文档评论（0）