4.1.3 Leyes y/o propiedades del álgebra booleana (conmutativas, asociativas, distibutivas, de DeMorgan, etc.)

 

 

Sea A un conjunto que contiene dos o más elementos.[8]

Ley conmutativa

Para cada x, y en A:

x + y = y + x

 

Ley asociativa

Para cada x, y, z en A:

x+(y+z)=(x+y)+z

x·(y·z)=(x·y)·z

 

Ley distributiva

Para cada x, y, z en A:

x+(y·z)=(x+y)·(x+z)

x·(y+z)=(x·y)+(x·z)

 

Existencia de neutros

x+0=x

x·1=x 

 

Existencia de complementos

x+x'=1

x·x'=0 

 

Ley De Morgan

(x+y)'=x'·y'

(x·y)'=x'+y'

 

Teorema 1: Idempotencia

x+x=x

x·x=x 

 

Teorema 2: Identidad de elementos 0 y 1.

x+1=1

x·0=0 

 

Teorema 3: Absorción

x+(x·y)=x

x·(x+y)=x

 

Teorema 4: Complemento de 0 y 1

0'=1

1'=0

 

Teorema 5: Involución

(x')'=x