第七章格和布尔代数精简资料.ppt

西安电子科技大学多媒体研究所 yuliang@mti.xidian.edu.cn * * 7.4Stone表示定理 『定理』(Stone表示定理)设A, ∧, ∨,’是一个有限布尔格A, ≤所诱导的一个有限布尔格代数，S是布尔格A, ≤的所有原子的集合,则A, ∧, ∨,’和 (S), ∩, ∪,ˉ同构。 西安电子科技大学多媒体研究所 yuliang@mti.xidian.edu.cn * * 7.4Stone表示定理的推论 『推论1』有限布尔格的元素个数必定等于2n,其中n是该布尔格中所有原子的个数。 『推论2』任何一个具有2n个元素的有限布尔代数都是同构的。 西安电子科技大学多媒体研究所 yuliang@mti.xidian.edu.cn * * 7.4布尔表达式 布尔常元：设B, ∧, ∨,’是一个布尔代数，称B中的元素为该布尔代数的布尔常元。 布尔变元：设B, ∧, ∨,’是一个布尔代数，称取值于B中元素的变量为该布尔代数的布尔变元。 西安电子科技大学多媒体研究所 yuliang@mti.xidian.edu.cn * * 7.4布尔表达式 布尔表达式的归纳定义： 单个布尔常元和单个布尔变元是布尔表达式。 如果e1和e2是布尔表达式，则e1’,(e1∨e2),(e1∧e2)也是布尔表达式。 只有有限次应用(1)和(2)所构造的符号串是布尔表达式。 西安电子科技大学多媒体研究所 yuliang@mti.xidian.edu.cn * * 7.4布尔表达式 【例题】设B, ∧, ∨,’是一个布尔代数，B={0,a,b,1},判断以下表达式是否是布尔表达式。 (a)a; (b)0∧x; (c)(1∧x1) ∨x2； (d)(a∨b)’ ∧ (x1 ∨x2) ∧ (x1 ∨x2) ’； 西安电子科技大学多媒体研究所 yuliang@mti.xidian.edu.cn * * 7.4布尔表达式 n元布尔表达式：含n个相异变元的布尔表达式,记为E(x1,x2,…,xn),其中x1,x2,…,xn为变元。 n元布尔表达式的值：将E(x1,x2,…,xn)中的变元指定为布尔常元，计算出来的表达式的值。 西安电子科技大学多媒体研究所 yuliang@mti.xidian.edu.cn * * 7.4布尔表达式 【例题】设布尔代数{0,1}, ∧, ∨,’上的布尔表达式为 E(x1,x2,x3)=(x1∨x2)∧(x1’ ∨x2’) ∧(x2∨x3)’ 求解E(1,0,1)的值。 西安电子科技大学多媒体研究所 yuliang@mti.xidian.edu.cn * * 7.4主范式 极小项：布尔代数B, ∧, ∨,’上的n元布尔表达式 ∧ ∧… ∧ 称为极小项,其中 = 。 主析取范式：布尔代数B, ∧, ∨,’上(a0∧m0) ∨(a1∧m1) ∨… ∨(a2n-1∧m2n-1) 型的布尔表达式称为主析取范式，其中ai∈B。 xi xi’ 西安电子科技大学多媒体研究所 yuliang@mti.xidian.edu.cn * * 7.4主范式 极大项：布尔代数B, ∧, ∨,’上的n元布尔表达式 ∨ ∨…∨ 称为极大项,其中 = 。 主合取范式：布尔代数B, ∧, ∨,’ 上 (a0 ∨ m0) ∧(a1 ∨ m1) ∧ … ∧(a2n-1 ∨ m2n-1)型的布尔表达式称为主合取范式，其中ai∈B。 xi xi’ 例3：将布尔代数〈｛0,a,b,1｝,*,⊕,′,0,1〉上的布尔 表达式 f(x1,x2)=(a*x1)*(x1⊕x2′)⊕b*x1*x2 化成主析取范式。 西安电子科技大学多媒体研究所 yuliang@mti.xidian.edu.cn * * 7.4主范式 【例题】设f(x1,x2,x3)=(a∧x2∧x3) ∨(b∧x1)是布尔代数{0,a,b,1}, ∧, ∨,’上的布尔表达式。 (a)求f(a,0,b)的值。 (b)求f(x1,x2,x3)的主析取范式和主合取范式。 * 格与布尔代数：应用－数据安全和数字逻辑设计，次序关系很重要的意义，偏序关系的格、代数系统格、特殊格布尔代数 * * 偏序关系：自反、反对称、传递，上界：集合B是A的子集，如果对于B中的任意一个元素都有b=a，则a属于A称为B的上界，反之(b=a)称为B的下届。最大上界：a是B的一个上界，对于B中的任意一个上界a’，都有a’=a,则a属于A称为B的最大上界。反之称为B的最小上界。最大、最小元素，极大、极小元素，上界、下界，最小上界、最大下界 偏序关系一般用哈斯图来