离散数学-代数结构 南京大学计算机科学与技术系

Slides:



Advertisements
Similar presentations
第一节 不定积分的概念及其 计算法概述 一、原函数与不定积分的概念 二、基本积分表 三、不定积分的性质及简单计算 四、小结.
Advertisements

全微分 教学目的:全微分的有关概念和意义 教学重点:全微分的计算和应用 教学难点:全微分应用于近似计算.
复习: :对任意的x∈A,都有x∈B。 集合A与集合B间的关系 A(B) A B :存在x0∈A,但x0∈B。 A B A B.
第二节 时间和位移.
应用题的解法.
第三章 函数逼近 — 最佳平方逼近.
从2010年江苏高考数学试题说开去 江苏省西亭高级中学 瞿国华.
清仓处理 跳楼价 满200返160 5折酬宾.
致亲爱的同学们 天空的幸福是穿一身蓝 森林的幸福是披一身绿 阳光的幸福是如钻石般耀眼 老师的幸福是因为认识了你们 愿你们努力进取,永不言败.
第3课时 逻辑连结词和四种命题 要点·疑点·考点 课 前 热 身   能力·思维·方法   延伸·拓展 误 解 分 析.
命题及其关系 命题.
第一章 常用逻辑用语.
1.1.2 四 种 命 题.
高一数学 充分条件与必要条件 教育科学学院03级教育技术2班 刘文平.
1.1.1 四种命题.
上海交通大学 概率论第一、二章测验题 大学数学教研室 童品苗.
例题 教学目的: 微积分基本公式 教学重点: 牛顿----莱布尼兹公式 教学难点: 变上限积分的性质与应用.
第五章 定积分及其应用.
离散数学 Discrete mathematics
勾股定理 说课人:钱丹.
你一定要認識的數學家.
C语言程序设计 第五章 选择结构程序设计.
Chapter 4 歸納(Induction)與遞迴(Recursion)
數位邏輯簡介.
第二章 矩阵(matrix) 第8次课.
计算机问题求解--论题 布尔代数 2017年12月28日.
習作2-1 題目+解答 紐約港 紐約中央公園 格陵蘭島.
离散数学─逻辑和证明 南京大学计算机科学与技术系
计算机数学基础 主讲老师: 邓辉文.
§2 求导法则 2.1 求导数的四则运算法则 下面分三部分加以证明, 并同时给出相应的推论和例题 .
第一章 函数 函数 — 研究对象—第一章 分析基础 极限 — 研究方法—第二章 连续 — 研究桥梁—第二章.
人教版数学四年级(下) 乘法分配律 单击页面即可演示.
第三部分 代数系统 ——格 西安工程大学 计算机科学学院 王爱丽.
第二章 逻辑和证明 2.2 命题等价 命题演算:用真值相同的命题取代另一个 在证明时广泛使用 定义1. 永真式(重言式):真值总是真
第一章 函数与极限.
代数格.
《概率论》总复习.
线性代数 第二章 矩阵 §1 矩阵的定义 定义:m×n个数排成的数表 3) 零矩阵: 4) n阶方阵:An=[aij]n×n
第二部分 集合论 第六章 集合代数 主要内容 集合的基本概念 属于、包含 幂集、空集 文氏图等 集合的基本运算 并、交、补、差等 集合恒等式
离散数学─归纳与递归 南京大学计算机科学与技术系
第一章 集合论 1.2 集合的运算 集合的基本运算 定义1、2、4、5 集合的元素并(和)、交、差-、补
第七章 格与布尔代数 布尔代数是计算机逻辑设计的基础,它是由格引出的, 格又是从偏序集引出的。所以我们先回顾一下偏序集。
课前注意 课前注意 大家好!欢迎加入0118班! 请注意以下几点: 1.服务:卡顿、听不清声音、看不见ppt—管家( ) 2.课堂秩序:公共课堂,勿谈与课堂无关或消极的话题。 3.答疑:上课听讲,课后答疑,微信留言。 4.联系方式:提示老师手机/微信: QQ:
定理21.9(可满足性定理)设A是P(Y)的协调子集,则存在P(Y)的解释域U和项解释,使得赋值函数v(A){1}。
1.设A和B是集合,证明:A=B当且仅当A∩B=A∪B
第一节 不定积分的概念与性质 一、原函数与不定积分的概念 二、不定积分的几何意义 三、基本积分表 四、不定积分的性质 五、小结 思考题.
多层循环 Private Sub Command1_Click() Dim i As Integer, j As Integer
学习任务三 偏导数 结合一元函数的导数学习二元函数的偏导数是非常有用的. 要求了解二元函数的偏导数的定义, 掌握二元函数偏导数的计算.
第3章 多维随机向量及其分布 3.1 随机向量及其联合分布函数 3.2 二维离散型随机向量 3.3 二维连续型随机向量
充分条件与必要条件.
考试时间:5月8日(周三)9:50 地点: Z2107教室 答疑时间: 5月7日13:30-16:00 地点:软件楼4楼密码与信息安全实验室.
9.1.2不等式的性质 周村实验中学 许伟伟.
C ( )下圖有 4 個邊長為 x 的正方形,4 個 長為 x、寬為 1 的長方形,以及 1 個 邊長為1 的正方形,則這 9 個圖形的
2.2矩阵的代数运算.
第8讲 布尔代数 Boolean Algebra.
第15讲 特征值与特征向量的性质 主要内容:特征值与特征向量的性质.
(3.3.2) 函数的极值与导数.
《离散结构》 二元运算性质的判断 西安工程大学计算机科学学院 王爱丽.
§2 方阵的特征值与特征向量.
主讲教师 欧阳丹彤 吉林大学计算机科学与技术学院
第八章 服務部門成本分攤.
美丽的旋转.
第四节 向量的乘积 一、两向量的数量积 二、两向量的向量积.
習作2-1 題目+解答 紐約港 紐約中央公園 格陵蘭島.
概率论与数理统计.
第二章 一元一次不等式和一元一次不等式组 回顾与复习(一).
离散数学─归纳与递归 南京大学计算机科学与技术系
§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:

离散数学-代数结构 南京大学计算机科学与技术系 布尔代数 离散数学-代数结构 南京大学计算机科学与技术系

内容提要 布尔函数 布尔代数 布尔代数的抽象定义 布尔代数的性质 有限布尔代数 布尔代数与数字逻辑电路设计

布尔函数 令B={0, 1}, Bn={(x1, …, xn)| xiB, i =1, …, n}, 从Bn到B 的函数称为n度布尔函数, f : BnB。 取值范围为B的变元称为布尔变元 ,xB。 n度布尔函数的个数:22n (22 , 24 , 28, …) 三种说法 含n个命题变量的命题逻辑表达式 n度布尔函数 f : BnB 有n个输入和一个输出的逻辑电路

一个逻辑电路设计的例子 举重比赛中三个裁判中两个或者两个以上判定为成功则该次成绩有效, 设计一个电子打分器, 输出一个结果: “成功”或”失败”。 x y z f(x,y,z) 布尔函数: f(x,y,z)=1 iff. x,y,z 至少有两个为1。 00001111 00110011 01010101 00010111 相应的布尔表达式: (xyz) (xyz) (xyz) (xyz)

回顾:命题表达式的主析取范式 求 (pq)  r 的主析取范式 (¬p 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) 001 011 100 111 ¬p  r  ¬p  (¬q  q)  r  (¬p  ¬q  r )  (¬p  q  r ) q  r  ( p  q  r )  (¬p  q  r )

集合{0, 1}上的运算 布尔和 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

布尔函数上的运算 布尔和 (f+g)(x1, …, xn)= f(x1, …, xn)+g(x1, …, xn) 布尔积 补函数 f (x1, …, xn)= f(x1, …, xn)

布尔恒等式(1) 等 式 名 称 x+(y+z)=(x+y)+z x (yz)=(xy)  z 结合律 x+y = y+x 等 式 名 称 x+(y+z)=(x+y)+z x (yz)=(xy)  z 结合律 x+y = y+x xy = yx 交换律 x+(yz)=(x+y)(x+z) x (y+z)=xy +x z 分配律 x+0 = x x1 = x 同一律 x + x =1 x  x =0 补律

布尔恒等式(2) 等 式 名 称 x+(xy)=x x (x+y)=x 吸收律 x+x = x xx = x 幂等律 x+1 = 1 等 式 名 称 x+(xy)=x x (x+y)=x 吸收律 x+x = x xx = x 幂等律 x+1 = 1 x0 = 0 支配律 x = x 双重补律 (x  y) = x + y (x+y) = x  y 德摩根律

布尔代数的抽象定义 一个布尔代数是一个集合B,它有二元运算和、一元运算 以及特殊元素0和1,且x, y, zB, 下列性质成立: x(yz)=(xy)z x(yz)=(xy)z 结合律 xy =yx xy= yx 交换律 x(yz)=(xy)(xz) x(yz)=(xy) (xz) 分配律 x0 = x x1 = x 同一律 x  x =1 x  x =0 补 律 a,b分别是◦和*的单位元蕴含两者之一:a是全下界,0是上确界运算,b是全上界,*是下确界运算;a是全上界,0是下确界运算,b是全下界,*是上确界运算;

布尔代数举例 ({0, 1}, +,  , , 0, 1)为布尔代数 n度布尔函数全体也构成一个布尔代数 ({0, 1}, +,  , , 0, 1)为布尔代数 n度布尔函数全体也构成一个布尔代数 布尔和 布尔积 补函数 全取0的函数、全取1的函数 A的幂集也构成一个布尔代数((A), ⋂, ⋃, , , A) a,b分别是◦和*的单位元蕴含两者之一:a是全下界,0是上确界运算,b是全上界,*是下确界运算;a是全上界,0是下确界运算,b是全下界,*是上确界运算;

布尔代数举例 Bn={(x1, …, xn)| xiB, i =1, …, n}构成布尔代数 x= (a1 , …, an), y=(b1 , …, bn), aiB, biB x  y = (c1 , …, cn), where ci=aibi x  y = (d1 , …, dn), where di=aibi x= (e1 , …, en), where ei=ai a,b分别是◦和*的单位元蕴含两者之一:a是全下界,0是上确界运算,b是全上界,*是下确界运算;a是全上界,0是下确界运算,b是全下界,*是上确界运算;

布尔代数的性质 结合律、交换律、分配律、同一律、补律 蕴含:支配律、吸收律、幂等律、双重补律、德摩根律 证明支配律: xB, x1=1, x0=0 x1= 1(x  1)= (x  x)(x 1)= x  (x  1)= x  x=1 x0= 0(x 0) =(x  x) (x 0)= x  (x  0)= x  x=0

布尔代数的性质 证明吸收律 证明幂等律 x  (xy)= (x1)  (xy)= x  (1y) = x1 = x x  x= x  (x0) = x (应用同一律、吸收律) 吸收律 幂等律 x  x = x  ( x  (xx) ) = x (两次应用吸收律)

布尔代数的性质 引理:x, y, zB, 若 xz=yz 且 xz = yz ,则 x = y 证明双重补律 x = x(xz) = x  (yz) = (x  y) (x  z ) //吸收律/分配律 y = y(y z ) = y  (xz) = (y  x) (y  z ) 证明双重补律 x  x =1= x  x x  x =0= x  x x = x

布尔代数的性质 证明德摩根律: x, yB, (xy)= x  y; 根据补元的唯一性,只需证明x  y是xy的补元。 (xy) (x  y)= (x  x  y )(y  x  y ) =1 (xy) (x  y)= (x  y x ) (x  y  y ) =0

布尔代数的性质 结合律 交换律 分配律 同一律 补律 支配律 吸收律 幂等律 双重补律 德摩根律 格 布尔代数:有补的分配格

格中的原子 定义:设L是格,L中有最小元(全下界)0,给定元素a0, 若xL, 有: 0≺x≼a  x=a 则称a是L中的原子 (原子是覆盖最小元的那些元素。) 设a, b是格L中的原子,若ab, 则ab=0 假设a  b0, 注意:ab≼a且ab≼b,由原子的定义: ab=a, ab=b, a=b, 矛盾。

格中的原子 a a a c c b b b d 原子 c d d e e (1) (2) (3)

有限布尔代数的表示定理 任一有限布尔代数B 同构于 B中所有的原子构成的集合A的幂集代数系统P(A)。 即(B, , , ', 0, 1)  (P(A), ⋂, ⋃, , , A) 备注(关于无限布尔代数) 2N,即无限的0/1序列x0, x1, x2, … 这一无限布尔代数有原子 2N的一个子代数:周期序列(Periodic sequence) 这个布尔代数没有原子

有限布尔代数(示例) {2,3,5} 30 {2,3} 6 {2,5} {3,5} 10 15 {3} 3 {5} {2} 5 2  1

有限布尔代数基数是2的整数次幂 任何有限布尔代数的基数为2n, n是自然数。 等势的有限布尔代数均同构 设B是有限代数系统,A是B中所有原子的集合。 则:BP(A), |B|=|P(A)|=2|A| 等势的有限布尔代数均同构

有限布尔代数(举例) 与含n个元素的集合的幂集代数系统同构的布尔代数记为Bn n=0 n=2 n=1 n=3 001 111 110 011 101 010 100 000 11 10 01 00 n=0 n=1 1 n=2 n=3

Hasse Diagrams of Isomorphic Lattices 111 110 001 011 101 010 100 000 {2,3,5} {2,3} {5} {3,5} {2,5} {3} {2}  {a,b,c} {a,b} {c} {b,c} {a,c} {b} {a} 

Bn as Product of n B’s B1, ({0,1}, , , 1, 0, ’), is denoted as B. For any n≥1, Bn =BB...B, where BB...B is given the product partial order.

Hasse Diagram of Bn n=0 n=2 n=1 n=3 1 11 10 01 001 00 100 000 111 110 101 011 10 01 010 n=0 001 00 100 n=2 000 n=1 n=3

Examples Dn is the poset of all positive divisors of n with the partial order “divisibility”. 30 6 6 15 10 D20 is not a Boolean algebra 2 3 3 5 2 1 1 D30 D6

Dn as Boolean Algebra Let n=p1p2...pk, where the pi are distinct primes. Then Dn is a Boolean algebra. Let S={p1, p2, ... pk}, and for any subset T of S, aT is the product of the primes in T. Note: any divisor of n must be some aT. And we have aT|n for any T. For any subsets V,T, VT iff. aV|aT, and aVaT=GCD(aV, aT) and aVaT=LCM(aV, aT). f: P(S)Dn given by f(T)= aT is an isomorphism from P(S) to Dn.

Proof of Non-Boolean Algebra If n is a positive integer and p2|n, where p is a prime number, then Dn is not a Boolean algebra. Proof Since p2|n, n= p2q for some positive integer q. Note that p is also an element of Dn, then if Dn is a Boolean algebra, p must have a complement p’, which means GCD(p, p’)=1 and LCM(p, p’)=n. So, pp’=n, which leads to p’=pq. So, GCD(p, pq)=1, contradiction.

下列格是否构成布尔代数? 24 8 4 6 2 3 12 1

布尔代数与数字逻辑电路设计 一个有n个输入、一个输出的逻辑电路对应于一个用 含n个布尔变量的布尔代数表达式定义的布尔函数 f : BnB。 布尔函数的表达式:{和、积、补}是函数完全的。 用门电路元件(并、交、否)搭出所需的逻辑电路。 电路极小化:卡诺图

作业 教材内容:[屈婉玲] 11.2节 课后习题: pp. 262—263 13—14 16—19 p. 219 13—14 16—19