- 1、本文档共57页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
PAGE
PAGE 1
第十一章布尔代数与格
离散数学-代数结构
南京大学计算机科学与技术系
回顾
回顾
偏序关系
偏序集与哈斯图
偏序集中的特殊元素
特殊元素的性质
偏序格
提要
提要
布尔函数
代数系统与布尔代数
作为有补分配格的布尔代数
布尔代数与逻辑电路
卡诺图与逻辑电路的化简
一个逻辑电路设计的例子
一个逻辑电路设计的例子
xyzf(x,y,z)举重比赛中三个裁判中两个或者两个以上判定为成功则该次成绩有效
x
y
z
f(x,y,z)
布尔函数: f(x,y,z)=1 iff.
相应的布尔表达式:(x’?y?z)
相应的布尔表达式:
(x’?y?z)? (x?y’?z)?
(x?y?z’)? (x?y?z)
0
0
0
0
0
0
1
0
0
1
0
0
0
1
1
1
1
0
0
0
1
0
1
1
1
1
0
1
1
1
1
1
4
集合{0, 1}上的运算
集合{0, 1}上的运算
PAGE
PAGE 10
令B={0, 1},取值范围为B的变元称为布尔变元,x?B。
布尔和
1+1=1, 1+0=1, 0+1=1, 0+0=0
布尔积
1?1=1, 1? 0=0, 0?1=0, 0?0=0
补
0=1, 1=0
布尔函数
布尔函数
Bn={(x1, …, xn)| xi?B, i =1, …, n},函数f : Bn?B称为n度布尔函数
f(x,y,z)=(y?z)? (x?z)? (x?y)
总共有多少个不同的
n度布尔函数?
x
y
f(x,y,z)
z
布尔函数上的运算
布尔函数上的运算
布尔和
(f+g)(x1, …, xn)= f(x1, …, xn)+g(x1, …, xn)
布尔积
(f g)(x1, …, xn)=f(x1, …, xn)? g(x1, …, xn)
补函数
f (x1, …, xn)= f(x1, …, xn)
布尔函数
布尔函数
f(x,y,z)=(y?z)? (x?z)? (x?y)
x
x
y
f(x,y,z)
z
回顾:命题表达式的主析取范式
回顾:命题表达式的主析取范式
求 (p?q) ? r 的主析取范式
(?p? r) ? (q? r) ? (p??q??r ) (析取范式)
?
?p ? r ? ?p ? (?q ? q) ? r
? (?p ? ?q ? r ) ? (?p ? q ? r )
q ? r ? ( p ? q ? r ) ? (?p ? q ? r )
(?p ??q ? r) ? (?p ? q ? r) ? (p ? q ? r) ? (p ??q??r ) (?p ??q ? r) ? (?p ? q ? r) ? (p??q??r) ? (p ? q ? r)
001 011 100 111
布尔恒等式(1
布尔恒等式(1)
等 式
名 称
x = x
双重补律
x+x = x x?x = x
幂等律
x+0 = x
x?1 = x
同一律
x+1 = 1
x?0 = 0
支配律
x+y = y+x
x?y = y?x
交换律
布尔恒等式(2
布尔恒等式(2)
等 式
名 称
x+(y+z)=(x+y)+z x? (y?z)=(x?y) ? z
结合律
x+(y?z)=(x+y)?(x+z)
x? (y+z)=x?y +x? z
分配律
(x ? y) = x + y
(x+y) = x ? y
德摩根律
x+(x?y)=x x? (x+y)=x
吸收律
x + x =1
x ? x =0
补律
代数系统--运算的定义
代数系统--运算的定义
函数?: An?A称为A上的n元运算。
举例,利用普通四则运算定义实数集上的二元运算“*”:
x*y = x+y-xy
则:2*3 = -1; 0.5*0.7 = 0.85
对于A上的n元运算?:An?A,若B?A,且?(B)?B, 则称该运算?在集合B上封闭。
集合A={1,2,3,…,10}, gcd封闭,lcm则否。
代数系统
代数系统
一个代数系统
一个非空集合(元素可以是任何对象)
有一个或者若干个运算:×,
上述运算在上述集合上封闭
记法: (S, ×,)
例子:
整数集与普通加法:(Z, +)
布尔代数的抽象定义
布尔代数:特殊的代数系统:
包含特殊元素0和1的集合B
集合B上的二元运算?和?、一元运算?
?x, y, z?B, 下列性质成立:
x?(y?z)=(x?y)?z x?(y?z)=(x?y)?z
结合律
x?(y?z)=(x?y)?(x?z)
x?(y?z)=(x?y) ?(x?z)
分配律
x?y =y?x x?y= y?x
交换律
x?0 = x x?1 = x
同一律
x ? x =1
x ? x =0
补律
PAGE
PAGE 15
布尔代
您可能关注的文档
- 南京大学《离散数学》课件-第10章偏序与偏序格.docx
- 南京大学《离散数学》课件-第12章数论初步.docx
- 南京大学《离散数学》课件-第13章鸽笼原理与排列组合.docx
- 南京大学《离散数学》课件-第14章递归数列及函数“增长”.docx
- 南京大学《离散数学》课件-第15章代数系统引论.docx
- 南京大学《离散数学》课件-第16章群论导引.docx
- 南京大学《离散数学》课件-第17章子群,群的分解.docx
- 南京大学《离散数学》课件-第18章循环群与群同构.docx
- 南京大学《离散数学》课件-第19章离散概率.docx
- 南京大学《离散数学》课件-第1周.pdf
- 2025年高考物理复习四十:光的干涉、衍射和偏振(含解析).pdf
- 高考模拟作文写作:“做一种劳作做到圆满”写作解析+范文汇展+标题+素材.docx
- 2025年高考物理复习四十:光的干涉、衍射和偏振(含解析).docx
- 促销台项目风险评估报告.docx
- 《模具制造工艺》课程标准.pdf
- 纺织仪器,相关专用测试仪器项目风险评估报告.docx
- 第15课《梅岭三章》说课稿-2024-2025学年统编版语文七年级上册(2024).docx
- 2022年安全生产月知识竞赛试题库与答案.pdf
- 8.1 公平正义的价值(说课稿)八年级道德与法治下册同步备课系列(统编版).docx
- 轻油蒸汽转化催化剂项目安全风险评价报告.docx
文档评论(0)