Escuela Politcnica Superior

Leyes Bsicas del lgebra de

Leyes Bsicas del lgebra de
Boole
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
Leyes Conmutativas
El orden en que se aplica a las variables la
operacin OR es indiferente:
A+B = B+A
El orden en que se aplica a las variables la
operacin AND es indiferente:
AB = BA
Ley conmutativa de la suma para dos variables
Ley conmutativa de la multiplicacin para dos variables
Escuela Politcnica Superior
Leyes Asociativas
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:
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:
A(BC) = (AB)C
Ley asociativa de la suma para tres variables
Ley asociativa de la multiplicacin para tres variables
Escuela Politcnica Superior
Ley Distributiva
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.
A(B + C) = AB + AC
Ley distributiva para tres variables
Escuela Politcnica Superior
Reglas Bsicas del lgebra de
Reglas Bsicas del lgebra de
Boole
Boole
Muy tiles para la manipulacin y simplificacin
de expresiones booleanas.
1. A + 0 = A
2. A + 1 = 1
3. A 0 = 0
4. A 1 = A
9. A = A
10. A + AB = A
11. A + AB = A + B
12. (A + B)(A + C) = A + BC
5. A + A = A
6. A + A = 1
7. A A = A
8. A A = 0
A, B, o C pueden representar una nica variable o una combinacin de variables.
Escuela Politcnica Superior
Reglas del lgebra de
Reglas del lgebra de
Boole
Boole
:
:
Demostraciones (I)
Demostraciones (I)
1. A + 0 = A
2. A + 1 = 1
3. A 0 = 0
4. A 1 = A
5. A + A = A
X = 0
X = 1
X = 0
Escuela Politcnica Superior
Reglas del lgebra de
Reglas del lgebra de
Boole
Boole
:
:
Demostraciones (II)
Demostraciones (II)
6. A + A = 1
7. A A = A
8. A A = 0
9. A = A
X=0
Escuela Politcnica Superior
Reglas del lgebra de
Reglas del lgebra de
Boole
Boole
:
:
Demostraciones (III)
Demostraciones (III)
10. A + AB = A
A + AB = A (1 + B) Sacar factor comn A (ley distributiva)
= A 1 Regla 2: (1 + B) = 1
= A Regla 4: A 1 = A
Escuela Politcnica Superior
Reglas del lgebra de
Reglas del lgebra de
Boole
Boole
:
:
Demostraciones (IV)
Demostraciones (IV)
11. A + AB = A + B
A + B = (A + AB) + B Regla 10: A = A + AB
= A + (A + ) B Sacar factor comn
= A + 1 B Regla 6: A + = 1
= A + B Regla 4: A 1 = A
A
A
A
A
Escuela Politcnica Superior
Reglas del lgebra de
Reglas del lgebra de
Boole
Boole
:
:
Demostraciones (V)
Demostraciones (V)
12. (A + B)(A + C) = A + BC
(A + B)(A + C) = AA + AC + AB + BC Ley distributiva
= A + AC + AB + BC Regla 7: AA = A
= A + BC Regla 10: A + AB = A
(aplicada 2 veces)