¿Cómo reducir \ $ (\ bar B.C + B) \ $ a \ $ (B + C) \ $?
Ley idempotente
A * A = A
A + A = A
Ley asociativa
(A * B) * C = A * (B * C)
(A + B) + C = A + (B + C)
Ley de conmutación
A * B = B * A
A + B = B + A
Ley Distributiva
A * (B + C) = A * B + A * C
A + (B * C) = (A + B) * (A + C)
Ley de identidad
A * 0 = 0 A * 1 = A
A + 1 = 1 A + 0 = A
Ley de complemento
A * ~ A = 0
A + ~ A = 1
Ley de Involución
~ (~ A) = A
Ley de DeMorgan
~ (A * B) = ~ A + ~ B
~ (A + B) = ~ A * ~ B
A veces, lo mejor que puede hacer es mirar la tabla de verdad para la expresión que se le da.
\ $ (\ bar BC + B) \ $ da esta tabla de verdad.
Ahora, estoy bastante seguro de que puede ver en esta tabla por qué se puede eliminar \ $ \ bar B \ $. Solo piénsalo.
Alternativamente, si expande la ecuación original (también conocida como la aplicación de la Ley Distributiva), obtiene \ $ (\ bar B + B). (C + B) \ $, ¿geddit todavía?
Lea otras preguntas en las etiquetas boolean-algebra