布尔代数的性质证明 结合律、交换律、分配律、同一律、补律 口蕴含:支配律、吸收律、幂等律、双重补律、德摩根律 口证明支配律:x∈B,xv1=1,xA0=0 ▣xV1=1AcV1)=(rv)A(v1)=xV(依∧1)=xV=1 ▣x∧0=0V(xA0)=(KAV(KA0)=x∧(依V0)=xΛx=0布尔代数的性质证明 结合律、交换律、分配律、同一律、补律 蕴含:支配律、吸收律、幂等律、双重补律、德摩根律 证明支配律:xB, x1=1, x0=0 x1= 1(x 1)= (x x)(x 1)= x (x 1)= x x=1 x0= 0(x 0) =(x x) (x 0)= x (x 0)= x x=0 7