第8讲 布尔代数 Boolean Algebra.

Slides:



Advertisements
Similar presentations
实数与代数式是初中数学中重要的基础知识, 是中考的必考内容.这部分知识散布于多个章节之中, 知识点琐碎,但概念性强,在中考试卷中多以填空题、 选择题、化简、探索或求值的形式出现.在复习中, 一定要加强对各个概念、性质和公式的辨析和理 解.注重让学生在实际背景中理解基本的数量关系和 变化规律,注重使学生经历从实际问题中建立数学模.
Advertisements

2011年会计初级职称全国统考 初级会计实务 教案 主讲:高峰 2010年12月.
财经法规与会计职业道德 Company Logo.
温 度 定义: 表示物体冷热程度的物理量。 国际单位:开尔文(K) 单位 常用单位:摄氏度(℃) 原理: 根据液体热胀冷缩的性质制成的。
行政诉讼法.
第二章 遺傳 2‧4 突變.
服务热线: 菏泽教师招聘考试统考Q群: 菏泽教师统考教育基础模拟题解析.
江苏省2008年普通高校 招生录取办法 常熟理工学院学生处
巧用叠词,妙趣横生.
大数的认识 公顷和平方千米 角的度量、平行四边形和梯形 四年级上册 三位数乘两位数 除数是两位数的除法 统计.
紧扣课程标准 关注社会热点 —苏教版教材新增内容复习建议 南京市南湖第一中学 马 峰.
第二部分 人文地理 第一单元 人口与城市 第5课 城市化过程和特点. 第二部分 人文地理 第一单元 人口与城市 第5课 城市化过程和特点.
民法总论 北京师范大学珠海分校 法律与行政学院 白 非.
安全系着你我他 安全教育知识竞赛.
了解太平天国运动的主要史实,认识农民起义在民主革命时期的作用与局限性。
第五章 电流和电路 制作人 魏海军
第一章 民法概述 一、民法概念 P4 二、民法的调整对象 三、民法的分类 四、民法的渊源 P10 五、民法的适用范围(效力范围)
第七章 财务报告 财务报告 第一节 财务报告概述 一、财务报告及其目标: 1、概念:财务报告是指企业对外提供的反映企业某一特定日期
线索一 线索二 复习线索 专题五 线索三 模块二 第二部分 考点一 高考考点 考点二 考点三 配套课时检测.
发展心理学 王 荣 山.
“08高考化学学业水平(必修科目)测试的命题和教学对策研究”
出入口Y27 往塔城街口/中興醫院 出入口Y25 往延平北路一段/中興醫院 出入口Y23往延平北路一段 出入口Y21往延平北路一段
高考第二轮复习课件 东莞中学松山湖学校 丁文韬
电在我们日常生活、现代化社会中的应用: 电 是 什 么?.
江苏省2009年普通高校 招生录取办法 江苏省教育考试院
政治第二轮专题复习专题七 辩 证 法.
成才之路 · 语文 人教版 · 必修2 路漫漫其修远兮 吾将上下而求索.
第七章 财务报告 主讲老师:王琼 上周知识回顾.
经济法基础习题课 第7讲 主讲老师:赵钢.
9.5两个平面垂直.
数字电子技术 Digital Electronics Technology
第三课时 匀变速直线运动的位移与时 间的关系
10.2 排列 2006年4月6日.
练习: 由三个不同的英文字母和三个不同的阿拉伯数字组成一个六位号码(每位不能重复),并且3个英文字母必须合成一组出现,3个阿拉伯数字必须合成一组出现,一共有多少种方法?
第26讲 解直角三角形的应用 考点知识精讲 中考典例精析 举一反三 考点训练.
第三部分 代数系统 ——格 西安工程大学 计算机科学学院 王爱丽.
离散数学-代数结构 南京大学计算机科学与技术系
12.3.1运用公式法 —平方差公式.
乘法公式 (1) 乘法分配律 (2) 和的平方公式 (3) 差的平方公式 (4) 平方差公式.
代数格.
中级会计实务 ——第三章 固定资产 主讲:孙文静
线性代数 第二章 矩阵 §1 矩阵的定义 定义:m×n个数排成的数表 3) 零矩阵: 4) n阶方阵:An=[aij]n×n
经济法基础习题课 主讲:赵钢.
第二部分 集合论 第六章 集合代数 主要内容 集合的基本概念 属于、包含 幂集、空集 文氏图等 集合的基本运算 并、交、补、差等 集合恒等式
数字电路.
電子白板百萬小學堂 本活動建議搭配電子白板 學生最多可分成2~6組(請按組別按鈕) 老師可以視時間多少,來進行活動 每一組要回答十個問題。
7.1 逻辑代数与门电路 逻辑代数初步 1. 数字电路中的数制和码制 (1) 数制及其转换
会计基础 第二章 会计要素与会计等式 刘颖
第一章 集合论 1.2 集合的运算 集合的基本运算 定义1、2、4、5 集合的元素并(和)、交、差-、补
复习.
第七章 格与布尔代数 布尔代数是计算机逻辑设计的基础,它是由格引出的, 格又是从偏序集引出的。所以我们先回顾一下偏序集。
第13讲 环和域, 格与布尔代数 主要内容: 1.环和域的有关内容. 2格与布尔代数的有关内容..
测验: 2.设是群G上的等价关系,并且对于G的任意三个元素a,x,x‘,若axax’则必有x x‘。证明:与G中单位元等价的元素全体构成G的一个子群。 H={x|xG,并且xe} 对任意的xH, xe, xee=xx-1 对任意的x,yH, xe, ye, eye, x-1xyx-1x.
第16讲 相似矩阵与方阵的对角化 主要内容: 1.相似矩阵 2. 方阵的对角化.
§6.7 子空间的直和 一、直和的定义 二、直和的判定 三、多个子空间的直和.
会计实务(第七讲) ——固定资产 讲师:天天老师.
1.设A和B是集合,证明:A=B当且仅当A∩B=A∪B
第三章 函数的微分学 第二节 导数的四则运算法则 一、导数的四则运算 二、偏导数的求法.
考试时间:5月8日(周三)9:50 地点: Z2107教室 答疑时间: 5月7日13:30-16:00 地点:软件楼4楼密码与信息安全实验室.
第三章 开关理论基础.
2.2矩阵的代数运算.
第15讲 特征值与特征向量的性质 主要内容:特征值与特征向量的性质.
§3 布尔格与布尔代数 一、布尔代数 定义16.10:有补分配格称为布尔(Boole)格, 习惯上写成(B;≤)。
分配律 ~ 觀念 15 × 15 × + 15 × 乘法公式 蘇德宙 老師 台灣數位學習科技股份有限公司
第四节 向量的乘积 一、两向量的数量积 二、两向量的向量积.
陪集 例:三次对称群S3={e,1, 2, 3, 4, 5}的所有非平凡子群是:
1.8 完全平方公式(一) 锦州市实验学校 数学组(3).
群只包含一个二元运算; 环、域等代数结构包含两个二元运算,两个二元运算之间也会有关系。
§2 自由代数 定义19.7:设X是集合,G是一个T-代数,为X到G的函数,若对每个T-代数A和X到A的函数,都存在唯一的G到A的同态映射,使得=,则称G(更严格的说是(G,))是生成集X上的自由T-代数。X中的元素称为生成元。 A变, 变 变, 也变 对给定的 和A,是唯一的.
1.2.2 充要条件 高二数学 选修 1-1 第一章 常用逻辑用语.
Presentation transcript:

第8讲 布尔代数 Boolean Algebra

布尔演算(布尔代数)——数理逻辑 Huntington公理布尔代数 格代数布尔代数

主要内容 8.1 格 8.2 格是一种代数结构 8.3 布尔代数

1 格? 请回忆:偏序结构 偏序集、哈斯图 上界、最小上界 下界、最大下界 最大下界、最小上界若存在,则唯一?

1 格? 示例 1 lub(a,b)=Ф glb(a,b)=e lub(a,e)=a glb(a,e)=e lub(c,d)=f glb(c,d)=Ф

1 格? 格(Lattice) 设〈L,≤〉是偏序集合,若a,bL,都有最大下界、最小上界; 则称〈L,≤〉是个格,且记glb(a,b)=ab, lub(a,b)=ab,并称它们为交和并。 注1: 由于最大下界、最小上界若存在则唯一,所以交、并是二元运算? 注2: 称<L, ,>为由格〈L,≤〉所诱导的代数系统。

1 格? 示例 2

1 格? 示例 3 设n是一正整数,Sn是n的所有因子的集合,D是整除关系,则<Sn,D>是格。 8 8 24 4 2 1 12 6 3 4 2 1 n=24 n=8

1 格? 示例 4 设S是任意集合,(S)是幂集,偏序集合<S, >是格,其中A,B(S),AB=A∩B, AB=A∪B. S={a,b} S={1,2,3} {1,2,3} {2,3} {3} {1,3} {2} {1,2} {a,b} {a} {b} {1}

1 格? 格的对偶原理 1) 集合S的偏序关系≤的逆关系≥也是偏序关系,若AS,其中≤的glb(A)对应于≥的lub(A),≤的lub(A)对应于≥的glb(A),所以,若<S,≤>是格,则<S, ≥>也是格,称这两个格互为对偶。

1 格? 2) 因为<S,≤>的交是<S,≥>的并, <S,≤>的并是<S,≥> 的交,所以,关于格的一般性质的任意命题,如用≥替换≤,用替换,用替换,格的一般性质的任意命题仍成立,这称为格的对偶原理。

1 格? 格的基本性质 1)自反性 a≤a 对偶: a≥a 2)反对称性 a≤b 且 a≥b  a=b 3)传递性 a≤b 且 b≤c  a≤c 对偶:a≥b 且 b≥c  a≥c

1 格? 格的基本性质 4) 最大下界描述之一 ab≤a 对偶 ab≥a ab≤b 对偶 ab≥b 5)最大下界描述之二 c≤a,c≤b  c≤ab 对偶 c≥a,c≥b  c≥ab

1 格? 格的基本性质 注: 格的证明思路:总是利 用反对称性。 6) 结合律 a(bc)=(ab)c 对偶 a(bc)=(ab)c 证: 令R=a(b c), R’=(ab)  c 则由4 R≤a, R≤bc  R≤a, R≤b, R≤c  R≤a b, R≤ c  R≤(ab) c  R≤R’ 同理可证:R≥R’ 所以 R=R’ 注: 格的证明思路:总是利 用反对称性。

1 格? 格的基本性质 7)等幂律 aa=a 对偶 aa=a 8)吸收律 a(ab)=a 对偶 a(ab)=a

1 格? 格的基本性质 9) a≤b  ab=a ab=b 证: a≤b a≤a, a≤b a≤ab 又 a≥ab

1 格? 格的基本性质 证:ab≤a, a≤c  ab≤c ab≤b, b≤d  ab≤d  ab≤cd 10) a≤c,b≤d  ab≤cd ab≤cd 证:ab≤a, a≤c  ab≤c ab≤b, b≤d  ab≤d  ab≤cd

1 格? 格的基本性质 11)保序性 b≤c  ab≤ac ab≤ac 证: 因为a≤a, b≤c 得证。

1 格? 格的基本性质 a(bc)≤(ab)(ac) 对偶 a(bc)≥(ab)(ac) 证: a≤ab, a≤ac 12) 分配不等式 a(bc)≤(ab)(ac) 对偶 a(bc)≥(ab)(ac) 证: a≤ab, a≤ac  a≤(ab)(ac) b≤ab, c≤ac  bc≤(ab)(ac)(性质10)  a(bc)≤(ab)(ac)

2 格是代数结构 可将代数结构的有关概念应用于格

2 格是代数结构 偏序集(格):代数结构? 代数结构:偏序集(格)? 设<L; ,>是个代数结构,,是L上二个二元运算,若二元运算,均满足 结合律 交换律 吸收律(a(ab)=a,a (ab)=a)、 等幂律(aa=a,aa=a), 则称<L, ,>是格。 注:定义中的等幂律可以消除,因它可由吸收律得到: aa= a( a( aa)) =a

2 格是代数结构 偏序集合的格、代数结构的格等价 若<L;,>是一个格(代数结构),那么,L中存在一偏序关系≤,使a,bL ,有 lub(a,b)=ab, glb(a,b)=ab.

2 格是代数结构 如何定义偏序关系? 在集合L上定义二元关系≤如下: (或:a,bL,若a≤b  ab=b) a,bL,若a≤b  ab=a (或:a,bL,若a≤b  ab=b) 如何证明? 1) ‘≤’是L上的偏序关系? 2)a,bL, {a,b}的最大下界存在, 且glb(a,b)=ab。 3)a,bL, {a,b}的最小上界存在, 且lub(a,b)=ab

2 格是代数结构 1) 证明’≤’是L上的偏序关系 自反性: aL,由等幂律aa=a,有a≤a 反对称性: a,bL, 若a≤b, b≤a,即ab=a,ba=b, 于是由交换律,有a=ab=ba=b 传递性: a,b,cL,若a≤b,b≤c,即ab=a, bc=b 于是,由ac=(ab)c = a(bc)= ab=a 得a≤c

2 格是代数结构 2)证明 a,bL,{a,b}的最大下界存在,且glb(a,b)=ab i) 下界存在,其一为ab: 由(ab)a=(aa)b=ab 有:ab≤a 同理,ab≤b 从而,ab 是a,b的下界。 ii) ab为最大下界: 设c 是a,b 的任一下界, 即c≤b, c≤a, 由c(ab)= (ca)b=cb=c 有:c≤ab 所以,ab 是a,b的最大下界。

2 格是代数结构 3) 同理可证? a,bL, {a,b}的最小上界存在,且lub(a,b)=ab 注:以后可根据需要,随意使用这二种定义和记法<L,≤>或<L;,>

2 格是代数结构 子格(subLattice)? <L, ,>是个格,SL, 若S对运算 的子格。 示例 5 已知右图所示格<{a,b,c,d}, ,> 下列结构是否为其子格? <{b,c,d},,> <{b,d}, ,> <{a,d}, ,> d c a b

2 格是代数结构 格同态? <S,*,+>,<L,,>是二个格,f: LS, 且a,bL 有 f(a*b)=f(a)f(b) f(a+b)=f(a)f(b) 称f是<L, *,+>到<S, ,>的格同态; 若f是双射,则<L,*,+>和<S,,>是同构的

2 格是代数结构 格同态的保序性: 证:a≤b  a*b=a f(a)f(b)=f(a*b)=f(a) f(a)≤’f(b) 即:f是格<L,*, +>到<L’,,>的同态映射, 若a,bL,a≤ b 则f(a)≤’f(b) 证:a≤b  a*b=a f(a)f(b)=f(a*b)=f(a) f(a)≤’f(b)

2 格是代数结构 示例 6 12 6 4 2 3 1 12 4 2 1 6 3 <S12,整除> <S12,小于等于> 显然,f: S12  S12 ,f(x)=x 则f是保序的, 即a整除b  f(a)小于等于f(b)但f不是同态的: f(3*2)=f(1)=1,而f(3)f(2)=2

2 格是代数结构 格同构的充要条件 设f是双射,则f是<A1,≤>到<A2,≤’>的格同构,当且仅当a,bA1,a≤bf(a)≤’f(b) 证:设上述二代数结构为<L,,>,<L’,*, +> 必要性: f是格同构,由格同态的保序性知 a≤b  f(a) ≤’f(b), 另一方面,设f(a) ≤’f(b) 则 f(a)=f(a)*f(b)=f(ab) 而f是双射, 故a= ab 所以a≤b

2 格是代数结构 由此看出,同构的二个格,其哈斯图相同? 充分性: 已知a,b A1, a≤b  f(a)≤’f(b) 需证f是同构, 需证明:f(ab)= f(a)*f(b)即可。 令 c= ab 则 c≤a  f(c)≤’f(a) c≤b  f(c)≤’f(b) 于是,f(c)≤’f(a)*f(b) (1) 令 f(a)*f(b)=f(d) 则 f(d)≤’f(a)  d≤a f(d)≤’f(b)  d≤b 故 d≤ab=c 所以f(d) ≤’f(c) ,即f(a)*f(b) ≤’f(c)(2) 所以,由(1)(2)有f(ab)=f(c)=f(a)*f(b) 证毕。 由此看出,同构的二个格,其哈斯图相同?

3 布尔代数 分配格、模格、有补格、有补分配格 布尔代数

3 布尔代数 格的最大元、最小元,分别记为1、0;有界格 1、0是唯一的吗? 示例 7 0是的单位元,1是的单位元? 设S={2,3,4,…,100},对于普通的数之间的小于或等于关系≤,〈S,≤〉是一个格,其最大元素1=100,最小元素0=2。 1、0是唯一的吗? 0是的单位元,1是的单位元?

3 布尔代数 补元 设<L,,,0,1>是有界格,aL,若存在bL,有ab=0,ab=1,则称b为a的补元,记为a’。 1 若a是b的补元,则b也是a的补元? 2 有界格中,0,1互为补元? 3 补元可以不存在,可以不唯一?

3 布尔代数 示例 8 a) a的补元是b,c, b的补元是a,c, c的补元是a,b b) a,b,c 均不存在补元 1 a c b 1 a a) a的补元是b,c, b的补元是a,c, c的补元是a,b b) a,b,c 均不存在补元 1 b c a

3 布尔代数 若一个格既是有补格,又是分配格, 则此格称为有补分配格, 又称布尔代数(Boolean Algebra) 。 有补格 若在一个有界格中,每个元素至少有一 个补元,则称此格为有补格。 有补分配格 若一个格既是有补格,又是分配格, 则此格称为有补分配格, 又称布尔代数(Boolean Algebra) 。

3 布尔代数 示例 9:布尔代数 集合代数,命题代数,开关代数为布尔代数 (因为满足结合律、交换律、吸收律、分配律、存在补元及0,1) 1) 集合代数<P(S), ∩,∪, ,,S>是布尔代数 2) 开关代数<{0,1}, ,, ,0 ,1>是布尔代数,其中 为与运算,为或运算, 为非运算.

3 布尔代数 十条定律 设<S;∨,∧,->是一个布尔代数,a,b,c是S中任意三个元素,在S中成立以下算律。    1) 交换律     2) 结合律  3) 等幂律     4) 吸收律  5) 分配律     6) 同一律     7) 零一律     8) 互补律     9) 对合律    10) 德·摩根律 以上十条定律并不都是独立的, 均可由交换律、分配律、同一律和互补律得到。

3 布尔代数 示例 10 设<L, , , ´,0,1>是布尔代数,则有: 1) aL, (a´)´=a 2) a,bL,(ab)´=a´b´ 2) 证明: (ab)  ( a´b ´) = (ab a´) (abb´) = ((aa´)  b) (a (bb´)) = (1b) (a 1)=1, (ab) ( a´b ´) = (a a´b´) (ba´b´) = ((a a´)b´ ) ((b b´) a´) = (0b´ ) (0 a´) = 0. 所以 a´b ´是 ab的补元,即 (ab) ´ = a´b ´ 同理可证 ( ab) ´= a ´ b ´

3 布尔代数 几个个结论: Bool(n)中任意函数可以表示为多个Bool(n)的原子(也称为基本积或最小项)的运算 布尔代数的每一子代数仍是布尔代数。 一个布尔代数的每一满同态像均是布尔代数。 有限布尔代数与某集合代数同构