第七章格和布尔代数精简试卷资料.pptVIP

西安电子科技大学多媒体研究所 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)所构造的符号串是布尔表达式。 西安电子科技大学多