2015离散数学对偶与范式_第1页
2015离散数学对偶与范式_第2页
2015离散数学对偶与范式_第3页
2015离散数学对偶与范式_第4页
2015离散数学对偶与范式_第5页
已阅读5页，还剩11页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

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. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论