- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
定理6.11 德·摩根(De Morgan)定律 设 (L,?,?) 是一个分配格,对任意元素 a, b,若 a, b 有余元素 a’ ,b’ ,则 (a ? b)’ = a’ ? b’ (a ? b) = a’ ? b’ 证明:因为 ( a’ ? b’ )?(a?b) =(a’ ? b’ ? a )?( a’ ? b’ ? b) =(1 ? b’ )?( a’ ? 1) = 1?1=1 而且 ( a’ ? b’ )?(a?b) =(a’?a?b)?(b’?a?b) =(0?b)?(0?a) =0?0=0 故由余元素定义知, ( a ? b)’= a’ ? b’ 同理可证另一等式。 定理6.12 设格 (L,?,?) 是分配格,对任意 a, b, c∈L,如果 a?c=b?c,a?c=b?c 则有 a=b。 证明:若 (L,?,?) 是分配格, 且 a?c=b?c,a?c=b?c,则 a=a?(a?c)=a?(b?c) =(a?b)?(a?c) =(a?b)?(b?c)=b?(a?c) =b?(b?c)=b 推论6.2 设格 (L,?,?) 是一个有余分配格,则对任意a∈L,a 的余元素是唯一的。 证明:因 (L,?,?) 是有余格,设和都是 a 的余元素,即 a?a’=0,a?a’=1 a?a’’=0,a?a’’=1 故 a?a’=a?a’’,a?a’=a?a’’。 由定理9.5 知, a’=a’’。 6.2 布尔代数 6.2.1 布尔代数的定义 定义6.17 一个有余分配格是一个布尔代数。 有余格仅保证了余的普遍性 (即每一个元素皆至少有一个余元),但不保证余的唯一性 (即对于同一个元素可能有多个余元);而分配格仅保证了余的唯一性,但不保证余的普遍性;只是在有余分配格中,才吸取了以上两者的特点,既保证了余元的普遍性又保证了它的唯一性。 布尔代数首先是一个格,是个特殊的格(布尔格),其特殊性表现在三个方面,即有界性,有余性和可分配性。另外显见,在集合 B 中存在一个偏序关系 ≤,同时因布尔代数是个有余分配格,故前述的关于有余格、分配格的性质在其中皆成立,亦即为布尔代数的一般性质。 因为布尔代数是一个格,今后将布尔代数中的运算?简记为 ?,称为乘法。运算 ? 简记为 ?,称为加法。因为布尔代数是有界格,将最大元素记为 1,最小元素记为 0。因为布尔代数是有余分配格,所以,对布尔代数中任意元素 a,有唯一的余元素,因此,这是布尔代数上的一个一元代数运算,称为余运算,今后将布尔代数中的余运算记为 - ,例如,元素a的余元素记为-a,因此,一个布尔代数可记为 (B, ?, ?, -, 0, 1)。今后,有时将 a?b 简记为 ab。 【例6.16】设 B={0, 1},B 上的运算 ?, ?, ˉ 如表定义: ? 0 1 0 1 0 0 0 1 不难证明 (B, ?, ?, -, 0, 1) 是布尔代数,这是最简单的一个布尔代数,习惯上也称为电路代数。 ? 0 1 0 1 0 1 1 1 x 0 1 1 0 【例6.17】设 S 是一个非空集合,?(S) 是 S 的幂集合。不难证明:(?(S), ∩, ∪, ˉ, Φ, S) 是一个布尔代数。其中:A∩B 表示 A, B 的交集;A∪B 表示 A, B 的并集,表示 A 的余集。此代数也称为集合代数。若 S 有 n 个元素,则 ρ(S) 有 2n 个元素,且布尔代数的图是一个n维立方体。对应于运算 ∪ 和 ∩,?(s) 中的偏序关系是子集间的关系。在图中,分别给出了对应于当 S 具有 1、2 和 3 个元素时的布代数(?(S), ∩, ∪) 的图。注意,当 S 是一个空集时,?(S) 中的 Φ=1=0,因而相应的布尔代数称为退化布尔代数。 幂集的布尔代数 【例6.18】设 S 是命题公式的集合,不难证明 (S, ∧, ∨,~, F, T) 是一个布尔代数,也称为命题代数。 【例6.19】 设 Bn 是由 0, 1 做分量的所有 n 元向量集合。对任意 a, b∈Bn,令 a=(a1, a2, …, an),b=(b1, b2, …, bn),定义 Bn 上的运算如下: a?b=(a1?b1
您可能关注的文档
最近下载
- 廊坊银盾保安押运有限公司职务职级体系设计方案-20220521-V1.1.pptx VIP
- 人教版小学数学五年级上册全册教案(含全册教学反思).pdf VIP
- 装配式建筑装饰装修技术 课件 模块一 装配式装修概述.ppt
- 诺如病毒ppt课件.pptx VIP
- 【基恩士】MU-N 系列 用户手册 LR-W70(C)篇 (简体中文).pdf VIP
- 四年级上册音乐国歌.ppt VIP
- 2025浙江杭州市人才集团有限公司招聘16人笔试参考题库附带答案详解.doc
- GB∕T 684-2023 化学试剂 甲苯.pdf
- 《中国消化道黏膜下肿瘤内镜诊治专家共识(2023版)》解读PPT课件.pptx VIP
- 糖尿病患者饮食.ppt VIP
文档评论(0)