Leyes Bsicas del lgebra de Boole

Leyes bsicas del lgebra de Boole:

Leyes conmutativas de la suma y multiplicacin.
Leyes asociativas de la suma y multiplicacin.
Ley distributiva.

Son las mismas que las del lgebra ordinaria.

Escuela Politcnica Superior

Leyes Conmutativas
El orden en que se aplica a las variables la
operacin OR es indiferente:
Ley conmutativa de la suma para dos variables

A+B = B+A
El orden en que se aplica a las variables la
operacin AND es indiferente:
Ley conmutativa de la multiplicacin para dos variables

AB = BA
Escuela Politcnica Superior

Leyes Asociativas
Al aplicar la operacin OR a ms de dos variables, el
resultado es el mismo independientemente de la forma
en que se agrupen las variables:
Ley asociativa de la suma para tres variables

A + (B + C) = (A + B) + C

Al aplicar la operacin AND a ms de dos variables, el

resultado es el mismo independientemente de la forma
en que se agrupen las variables:
Ley asociativa de la multiplicacin para tres variables

A(BC) = (AB)C

Escuela Politcnica Superior

Ley Distributiva
Aplicar la operacin OR a dos o ms variables y luego
aplicar la operacin AND al resultado de la operacin y
a otra variable aislada, es equivalente a aplicar la
operacin AND a la variable aislada con cada uno de los
sumandos y luego aplicar la operacin OR a los
productos resultantes.
Esta ley tambin expresa el proceso de sacar factor
comn, en el que la variable comn se saca como factor
de los productos parciales.
Ley distributiva para tres variables

A(B + C) = AB + AC
Escuela Politcnica Superior

Reglas Bsicas del lgebra de Boole

Muy tiles para la manipulacin y simplificacin
de expresiones booleanas.
1.
2.
3.
4.

A+0=A
A+1=1
A0=0
A1=A

5.
6.
7.
8.

A+A=A
A+A=1
AA=A
AA=0

9. A = A
10. A + AB = A
11. A + AB = A + B
12. (A + B)(A + C) = A + BC

A, B, o C pueden representar una nica variable o una combinacin de variables.

Escuela Politcnica Superior

Reglas del lgebra de Boole:

Demostraciones (I)
1.

A+0=A

X=0

2. A + 1 = 1

X=1

3. A 0 = 0

X=0

4. A 1 = A
5. A + A = A
Escuela Politcnica Superior

Reglas del lgebra de Boole:

Demostraciones (II)
6. A + A = 1
7. A A = A
8. A A = 0
9. A = A
Escuela Politcnica Superior

X=0

Reglas del lgebra de Boole:

Demostraciones (III)
10. A + AB = A
A + AB = A (1 + B) Sacar factor comn A (ley distributiva)
=A1
Regla 2: (1 + B) = 1
=A
Regla 4: A 1 = A

Escuela Politcnica Superior

Reglas del lgebra de Boole:

Demostraciones (IV)
11. A + AB = A + B
A + AB = (A + AB) + AB
= A + (A + A) B
=A+1B
=A+B

Escuela Politcnica Superior

Regla 10: A = A + AB
Sacar factor comn
Regla 6: A + A = 1
Regla 4: A 1 = A

Reglas del lgebra de Boole:

Demostraciones (V)
12. (A + B)(A + C) = A + BC
(A + B)(A + C) = AA + AC + AB + BC
= A + AC + AB + BC
= A + BC

Escuela Politcnica Superior

Ley distributiva
Regla 7: AA = A
Regla 10: A + AB = A
(aplicada 2 veces)