Булева алгебра
= 
y
x y x
z z = ( z xz ) y x y =
= z xy x y = ( z x y x y ) = z x y =
= y x y x
z z = ( z xz ) y x y =
= z xy x y = ( z x y x y ) = z x y =