Булева алгебра
Пример. xy 
( y x z )
=
= 
y ( 
y
x z )( (
) 
) = x y y ( 
)(
) =
= x y 
y (
y )( ) =
x y y (
y 
) = = x y y ( y ) = x
y y y y y =