- 1、本文档共52页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
§2. 布尔代数 定义1.布尔代数(Boolean algebra) 有补的分配格(B,?, ?, ?, ? , 0, 1) 称为布尔代数。 注:?布尔代数(B,?, ?, ?, ? , 0, 1)简记为B; ?若0=1,则B称为退化的布尔代数。以后, 不讨论此种情况,因此,今后, 假定总有|B|?2; 例1.集合代数(2X, ? ,?, ? ,? , ?, X ) 是布尔代数。 已知集合代数(2X, ? ,?, ? ,? , ?, X ) 是有补的分配格(本章§1例10和例20),因此是布尔代数。 例2.开关代数 (switching algebra) 。 (S, ? ,?, ? , ? , 0, 1) 是布尔代数。这里:S={0,1},0?0, 0?1, 1?1,其运算表如下: 通过变元代换,显见表2与表1是完全相同的。令 h:S? 2X , h (0)= ?, h (1)= X (这里:X={a}) 则易证h是一个双射的同态函数。 开关代数(S, ? ,?, ? , ? , 0, 1)与集合代数(2X, ? ,?, ? ,? , ?, X ) 是同构的(这里X={a}),所以开关代数(S, ? ,?, ? , ? , 0, 1)是一个布尔代数。 例3.命题代数(?, ? , ?, ? , ? , F, T) 是布尔代数。 这里:?={F,T},F ? F, F ? T, T ? T,其运算表如下: 通过变元代换,显见表3与表1是完全相同的。令 h: ?? 2X , h (F)= ?, h (T)= X (这里 X={a} 则易证h是一个双射的同态函数。 命题代数(?, ? , ?, ? , ? , F, T)与集合代数(2X, ? ,?, ? ,? , ?, X ) 是同构的(这里X={a}) ,所以命题代数(?, ? , ?, ? , ? , F, T)是一个布尔代数。 注:?利用?,在命题逻辑中可定义逻辑推论(蕴涵)关系?(?)。即 ??? (或? ? ?) ? ?v(?(v)? ?(v)) ?有限布尔代数:对于布尔代数(B,?, ?, ?, ? , 0, 1),若?n?N,使|B|=n ,则称其为有限布尔代数; ?集合代数({?, X }, ? ,?, ? ,? , ?, X )、开关代数(S, ? ,?, ? , ? , 0, 1) 、命题代数(?, ? , ?, ? , ? , F, T)都是有限布尔代数。 例4.n元集合代数(2X, ? ,?, ? ,? , ?, X ) 是有限布尔代数。 这里:X={a1, a2,?, an},因此, |X|=n, |2X|=2n 。 显然,有限集合代数是有限布尔代数。 n元集合代数 是有限集合代数,因此是有限布尔代数。 例5.n元(维)开关代数(Sn, ? ,?, ? , ? , 0, 1)是有限布尔代数。这里:Sn={(x1, x2,? , xn):xi?S(1?i ? n)}= Sn (其中S={0,1}), 0 = (0,0, ?,0),1 = (1,1, ?,1),并且 ?x,y?Sn ,x = (x1, x2, ?, xn) , y = (y1, y2, ?, yn) x ? y ? ?i(1?i ? n) (xi ? yi) x ? y = (x1 ? y1, x2 ? y2, ?, xn ? yn) x ? y = (x1 ? y1, x2 ? y2, ?, xn ? yn) = ( , , ?, ) 即n元开关代数的序关系、运算、最小元和最大元的定义都归结为一元开关代数(S, ? ,?, ? , ? , 0, 1) 。 现在 来证: (Sn, ? ,?, ? , ? , 0, 1) ? (2X, ? ,?, ? ,? , ?, X ) 这里:X={a1, a2, ?, an},即 n元开关代数与n元集合代数是同构的。 从而由n元集合代数是有限布尔代数(例4),可知n元开关代数(Sn, ? , ?, ? , ? , 0, 1)也是有限布尔代数。 令:h: Sn? 2X , ?x?Sn ,x = (x1, x2, ? , xn) , h(x)=A?2X (或A?X ) 这里:A={ai:ai? X ? xi =1(1?i ? n)} 因此 ai?h(x) ? ai?A ? xi =1 (1
您可能关注的文档
- 高中英语写好建议信.ppt
- 【毕业设计】基于UC3843PWM控制的正激式多路直流稳压的开关电源设计.doc
- 《供配电技术》课后习题答案 第2版 (唐志平 史国栋 著).pdf
- 2008计算机科学引论影印版复习资料.ppt
- 2015届高三英语一轮语法专项突破:第3节介词和代词.ppt
- 2018年高考语文文学类文本备考之散文讲解.ppt
- 【人教版】2016版七年级上写作《学会记事》_图文文库.ppt
- 【聚焦中考】(四川地区)2017届中考数学总复习 专题聚焦 第一章 选择题、填空题 第4讲 选择填空压轴题之图形变化问题.ppt
- [计算机软件及应用]漫谈小米云服务和云相册.ppt
- 2012版中考复习英语精品(含11真题)语法专题3 代词.ppt
- 2024年江西省寻乌县九上数学开学复习检测模拟试题【含答案】.doc
- 2024年江西省省宜春市袁州区数学九上开学学业水平测试模拟试题【含答案】.doc
- 《GB/T 44275.2-2024工业自动化系统与集成 开放技术字典及其在主数据中的应用 第2部分:术语》.pdf
- 中国国家标准 GB/T 44275.2-2024工业自动化系统与集成 开放技术字典及其在主数据中的应用 第2部分:术语.pdf
- GB/T 44285.1-2024卡及身份识别安全设备 通过移动设备进行身份管理的构件 第1部分:移动电子身份系统的通用系统架构.pdf
- 《GB/T 44285.1-2024卡及身份识别安全设备 通过移动设备进行身份管理的构件 第1部分:移动电子身份系统的通用系统架构》.pdf
- 中国国家标准 GB/T 44285.1-2024卡及身份识别安全设备 通过移动设备进行身份管理的构件 第1部分:移动电子身份系统的通用系统架构.pdf
- GB/T 44275.11-2024工业自动化系统与集成 开放技术字典及其在主数据中的应用 第11部分:术语制定指南.pdf
- 中国国家标准 GB/T 44275.11-2024工业自动化系统与集成 开放技术字典及其在主数据中的应用 第11部分:术语制定指南.pdf
- 《GB/T 44275.11-2024工业自动化系统与集成 开放技术字典及其在主数据中的应用 第11部分:术语制定指南》.pdf
文档评论(0)