相关文档

• 离散数学-1-7 对偶与范式.ppt

  单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第一章 命题逻辑1-7 对偶与范式1尽管命题公式的最小联结词组可为??∧???∨??↑??↓?但实际上一般出于方便的目的命题公式常常包含??∧ ∨ ?从第15页的表1-4.8的命题定律中可以看出很多常用等价式是成对出现的只要将其中的∧和∨分别换成∨和∧就可以由一个得到另一个例如将命题定律(P∨Q)∨R?P∨(Q∨R)中的∨换成

• 1-78-对偶与范式.ppt

  显然A也是A的对偶式 对偶式是 主析取范式 主析取范式TFTTQFT求主析取范式的方法分为：（1）真值表法（2）等价公式法看P36 推演步骤 看P35 例题8例题9也可以得出结论：（1）没有两个大项是等价的（2）每个大项只对应P和Q的一组真值指派使得该大项的真值为F记作： M00=P?Q M01=P?? Q M10= ?P?Q M11=?P??Q总结出规律：在大项

• 对偶与范式.ppt

  15 对偶与范式 对偶式与对偶原理 析取范式与合取范式 主析取范式与主合取范式 1对偶式和对偶原理定义 在仅含有联结词?, ∧,∨的命题公式A中，将∨换成∧, ∧换成∨，若A中含有0或1，就将0换成1，1换成0，所得命题公式称为A的对偶式，记为A* 从定义不难看出，(A*)* 还原成A例?(p ∧q) 与?(p ∨ q)0 与 1 (p ∨ q) ∨0与(p ∧ q) ∧ 12定理 设A和A*互为

• 离散数学2-重言式与范式.ppt

  #

• 1.7对偶与范式.ppt

  #

• 对偶与范式4.ppt

  #

• 1.3对偶与范式.ppt

  15 对偶与范式 对偶式与对偶原理 析取范式与合取范式 主析取范式与主合取范式 1对偶式和对偶原理定义 在仅含有联结词?, ∧,∨的命题公式A中，将∨换成∧, ∧换成∨，若A中含有0或1，就将0换成1，1换成0，所得命题公式称为A的对偶式，记为A* 从定义不难看出，(A*)* 还原成A例?(p ∧q) 与?(p ∨ q)0 与 1 (p ∨ q) ∨0与(p ∧ q) ∧ 12定理 设A和A*互为

• 离散数学教程与范例.ppt

  单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级 有101个人参加乒乓球淘汰赛(每一轮比赛 在参加人数是奇数时让一人轮空)共需 进行多少场比赛方可决出优胜者(一场比赛 指两人的一次对垒)淘汰赛解(一) 第一轮 50场 剩50名优胜者 1名轮空 第二轮 25场 剩25名优胜者 1名轮空 第三轮 13场 剩13名优胜者 第四轮 6场 剩6名优胜者 1名

• 离散数学-3-4 序偶与笛卡儿积.ppt

  单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第三章 集合与关系3-4 序偶与笛卡儿积 授课人：李朔Email:chn.nj.lsgmail1一序偶 生活中许多事物是成对出现的并且这种成对出现的事物有一定的顺序(选课任课住宿)一般的说两个具有固定顺序的客体组成一个序偶它常常表达两个客体间的关系序偶包含两个元素但它们有确定的次序P101 定义3-4.1(1)由两

• 离散数学第7章.ppt

  第二级第三级第四级第五级第7章 格与布尔代数第7章 格与布尔代数 7.1 格 7.2 格是代数系统7.3 特殊的格7.4 布尔代数7.1 格 在第三章曾讨论过偏序集合定义了有关的术语并曾证明过:(1)一个偏序集合的子集如果存在最小上界(lub)则它是唯一的如果存在最大下界(glb)则它也是唯一的(2)如果偏序集合拥有最小元素则它是唯一的如果偏序集合拥有最大元