Asociativa (def)
x+(y+z)=(x+y)+z
(x⋅y)⋅z=x⋅(y⋅z)
Identidad (def)
x+0A=x
x⋅1A=x
Conmutativa (def)
x+y=y+x
x⋅y=y⋅x
Distributiva (def)
x+(y⋅z)=(x+y)⋅(x+z)
x⋅(y+z)=x⋅y+x⋅z
Complementario (def)
x+x¯¯¯=1A
x⋅a¯¯¯=0A
Absorción (prop)
x+(x⋅y)=x
x⋅(x+y)=x
Idempotencia (prop)
x+x=x
x⋅x=x
Dominancia (prop)
x+1=1
0⋅x=0
De Morgan (prop)
(x+y¯¯¯¯¯¯¯¯¯¯¯)=x¯¯¯⋅y¯¯¯
x⋅y¯¯¯¯¯¯¯¯¯=x¯¯¯+y¯¯¯
Involución (prop)
x¯¯¯^¯¯¯=x
Propiedades de bool
Definición de bool