布尔代数的性质证明 9 引理：x,y,z∈B,若xA=yAz且xVz=Vz,则x=y ▣x=xV(xAZ)=xv (AZ)=(cVy)A(cVz)∥吸收律/分配律 yy(A)=yv(xAZ)=Vx)) 口证明双重补律 axVx-l-EVx 口XAX=0=元Λ 口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 9 布尔代数的性质证明