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: A + (B + C) = (A + B) + C
Ley asociativa de la suma para tres variables

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 multiplicacin para tres variables

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. A(B + C) = AB + AC
Escuela Politcnica Superior

Ley distributiva para tres variables

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 3. A 0 = 0 4. A 1 = A 5. A + A = A
Escuela Politcnica Superior

X=1

X=0

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 Regla 10: A = A + AB Sacar factor comn Regla 6: A + A = 1 Regla 4: A 1 = A

Escuela Politcnica Superior

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 Ley distributiva Regla 7: AA = A Regla 10: A + AB = A (aplicada 2 veces)

Escuela Politcnica Superior