定义64.3具有有限个元素的布尔代数称为有限布 尔代数。 定义6-44设<A∨,∧,>和<B,∨,∧,>是两个 布尔代数如果存在着A到B的双射f,对于任意的a3b∈A 都有 fasb=f(a)vf(b) f(a∧b)=f(a)∧f(b) fa=f(a 则称<A∨,∧,>和<B,∨,∧,>同构 可以证明对于每一正整数n,必存在着2个元素的布 尔代数;反之,任一有限布尔代数它的元素个数必为2的幂 次4 定义6-4.3 具有有限个元素的布尔代数称为有限布 尔代数。 定义6-4.4 设<A,∨,∧, - >和<B,∨,∧, ->是两个 布尔代数,如果存在着A到B的双射f,对于任意的a,b A, 都有 f(a∨b)=f(a)∨f(b) f(a∧b)=f(a)∧f(b) f(a)=f(a) 则称<A,∨,∧, - >和<B,∨,∧, ->同构。 可以证明,对于每一正整数n,必存在着2 n个元素的布 尔代数;反之,任一有限布尔代数,它的元素个数必为2的幂 次