版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领
文档简介
1、,定理（范式存在定理）： 任何命题公式都存在着与之等值的主析取范式和主合取范式, 并且是惟一的.,等价式(equivalences),8,求主析取范式的方法,直接等价 设公式A含命题变项p1,p2,pn (1) 除， ，以外的联接词变没。 (2)将A变析取范式A=A1 A2 As, 其中Aj是简单/基本合取式。 (3)将Aj变极小项，即长度为n的简单/基本合取式。 (4)消去重复出现的Aj 。 二. 真值表法,例：求命题公式 的主析取范式和主合取范式。,真值表法,应 用,1.某科研所要从3名科研骨干A、B 、C中挑选1-2名出国进修，由于工作需要，选派时要满足以下条件： （1）若A去，则C同去
2、 （2）若B去，则C不能去 （3）若C不去，则A或B可以去 问所里应如何选派他们？,应 用,2. 有一会议室,四周都有出入门,门旁装有开关（双态开关),为了控制全室的照明，要求设计一线路，使得改变任一只开关的状态，就能改变全室的明暗。假设,室中无人时灯暗,有人时灯亮。写出控制电路的逻辑表达式并画出电路图。,WORD AND EXPRESSIONS,literal文字 fundamental /elementary conjunction基本合取式 fundamental /elementary disjunction基本析取式 disjunctive normal form 析取范式 Complete /full disjunctive normal form 主析取范式 Conjunctive /full normal form合取范式 complete conjunctive normal form 主合取范式,1-7.1 对偶式 定义1-7.1 在给定的命题公式A中，将联结词换成 ，将换成，若有特殊变元F和T亦相互取代，所得公式A*称为A的对偶式。,显然，A也是A*的对偶式。,例 : 求对偶式 (
温馨提示
- 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 企业数字化转型的五大生存法则
- 基于数字孪生的制造业智能化升级策略探讨
- 微咸水灌溉：滨海盐碱土水盐调控与金银花生长的协同效应探究
- 干旱区典型内陆河流域径流过程模拟与不确定性分析：以具体流域为例
- 小组合作学习：开启大学生自主学习能力培养的新路径
- 小学低年级英语口语作业设计的现状、问题与突破路径研究
- 实习经历对大学毕业生初次就业质量的影响：基于多维度视角的剖析
- 多维协同视角下兰州大学研究生创新能力培养模式的探索与实践
- 2025年一建《机电工程管理与实务》考试真题剖析及备考策略解析试卷
- 2025年医保知识考试题库及答案：医保患者权益保障法律法规解读与应用试题
- 公司合伙人管理制度
- 婚介所个人资料登记表格
- 整形医院双眼皮培训课件
- Meta分析很全的课件
- 电商仓库流程及诊断
- 静脉治疗课件
- NPUAP压疮指南更新的解读
- 2020年华为采购物料环保规范？V4
- IPQC制程检验流程图
- 进料检验报告单
- 2022年江苏省南京市中考历史试题(含答案)
评论
0/150
提交评论