温馨提示：由于个人手机设置不同，如果发现不能下载，请复制以下地址【https://www.wenke99.com/d-10526550.html】到电脑端继续下载（重复下载不扣费）。
1: 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。 2: 试题试卷类文档，如果标题没有明确说明有答案则都视为没有答案，请知晓。 3: 文件的所有权益归上传用户所有。 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。 5. 本站仅提供交流平台，并不能对任何下载内容负责。 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
本文（主析取范式的求法ppt课件.ppt）为本站会员（晟***）主动上传，文客久久仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私，请立即通知文客久久（发送邮件至hr@wenke99.com或直接QQ联系客服），我们立即给予删除！
第一章 命题逻辑第七讲 定义 对于给定的命题公式，如果有一个等价公式仅由小项的析取所组成，则该等价式称为原式的主析取范式。内容回顾小项 定义 n个命题变元的合取式，称为布尔合取或小项，其中每个变元与它的否定不能同时存在，但两者必须出现且仅出现一次。 每个小项可用n位二进制编码表示。以变元自身出现的用1 表示，以其否定出现的用0表示： 小项的性质如下： （1）每一个小项当其真值指派与编码相同时，其真值为1，其余的2n1种均为0; （2）任意两个不同小项的合取式永假： （3）全体小项的析取式永为真，记为：主析取范式的求法 真值表法 等值演算法趣味推理题 A、B、C三人去餐馆吃饭，他们每人要的不是火腿就是猪排。 （1）如果A要的是火腿，那么B要的就是猪排。 （2）A或C要的是火腿，但是不会两人都要火腿。 （3）B和C不会两人都要猪排。 谁昨天要的是火腿，今天要的是猪排？ 只有B才能昨天要火腿，今天要猪排。 154 主合取范式定义1- n个命题变元的析取式，称为布尔析取或极大项，其中每个变元与它的否定不能同时存在，但两者必须出现且仅出现一次。例如，2个命题变元p和Q 的大项为：3个命题变元p
Copyright © 2018-2021 Wenke99.com All rights reserved
工信部备案号：浙ICP备20026746号-2
公安局备案号：浙公网安备33038302330469号
本站为C2C交文档易平台，即用户上传的文档直接卖给下载用户，本站只是网络服务中间平台，所有原创文档下载所得归上传人所有，若您发现上传作品侵犯了您的权利，请立刻联系网站客服并提供证据，平台将在3个工作日内予以改正。
