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)