Conmutativa:

yx= y + x + y x.
multiplicamos:
yx = y + x + x y
sumamos :
yx = x + y + x y = yx

Asociativa:
(xy)z = (x + y + x y)z
(xy)z = (x + y + x y + z + (x + y + x y) z
(xy)z = x + y + x y + z + x z + y z + x y z

Ordenamos:
(xy)z = x + y + z + x y + x z + y z + x y z ..
x(yz) = x(y + z + y z)
x(yz) = x + (y + z + y z) + x (y + z + y z)
x(yz) = x + y + z + y z + x y + x z + x y z)


Ordenamos:
(xy)z = x + y + z + x y + x z + y z + x y z
(xy)z =x(yz)

Distributiva de la suma con respecto a no es posible
x(y+z) = x + (y + z) + x (y + z) + = x + y + z + x y + x z
(xy)+(xz) = (x + y + x y)+(x + z + x z) =2 x + y + z + x y + x z


Distribucin de con respecto a la suma no es posible
x+(yz) = x + (y + z +yz) + = x + y + z + y z
(x+y)(x + z) = (x + y)+(x + z) + (x + y)+(x + z)
(x+y)(x + z) = 2x + y + z + x^2 + x y + x z + y z


Unidades :
Existe U = 0
x U = x + 0 + x.0 = x
U x = 0 + x + 0.x = x

A la inversa:
Existe
x + y + x y = U = 0
y (1 + x) = -x
y = x^-1 = -x / (1 + x)