ISWZ-3407(02) Matemáticas Discretas I

Tarea relaciones de conjuntos

Nombres: Isaac Puga, Mateo Villacreses, Rodrigo Andrade

Profesor: María Jiménez

Fecha: 14/07/2023

Informe: Simplificación de una expresión utilizando propiedades del

Álgebra de Boole

Introducción:

El Álgebra de Boole es un sistema matemático que se utiliza para simplificar y manipular

expresiones lógicas. Sus propiedades y teoremas permiten simplificar expresiones
complejas a formas más simples y comprensibles. En este informe, se abordará la
simplificación de la expresión dada utilizando las propiedades conmutativa, asociativa y
distributiva del Álgebra de Boole, sin recurrir a las leyes de De Morgan.
Expresión a simplificar: La expresión a simplificar es la siguiente: bar(bar(A) · (C + D) +
bar(B) · (A + D) + bar(A) · bar(B) · bar(C))

Simplificación paso a paso:

Aplicación de la propiedad distributiva: (~ (~ (A) · C + ~ (A) · D) + ~ (B) · A + ~ (B) · D + ~

(A) · ~ (B) · ~ (C))
Distribución de la negación "bar" dentro del primer conjunto de paréntesis: ~ (~ (A) · C + ~
(A) · D) = (A + ~C)(A + ~D)
Combinación de los términos del segundo conjunto de paréntesis: bar(B) · A + bar(B) · D =
B(A + ~D)
Combinación de los términos del tercer conjunto de paréntesis: bar(A) · bar(B) · bar(C) =
~A · ~B · ~C
Combinación de las expresiones simplificadas resultantes: (A + ~C)(A + ~D) + B(A + ~D) +
~A · ~B · ~C
Aplicación de la ley distributiva a la expresión (A + ~C)(A + ~D): (A + ~C)(A + ~D) = A(A +
~D) + ~C(A + ~D) = A + ~C(A + ~D)
Simplificación de la expresión ~C(A + ~D): ~C(A + ~D) = ~CA + ~C~D = ~C + ~C~D =
~C(1 + ~D) = ~C(1) = ~C
Combinación de los términos resultantes: A + ~C + B(A + ~D) + ~A · ~B · ~C
Distribución del término B sobre (A + ~D): B(A + ~D) = BA + B~D
Combinación de los términos resultantes: A + ~C + BA + B~D + ~A · ~B · ~C
Reordenamiento de los términos para agrupar los términos comunes: A + BA + ~C + B~D
+ ~A · ~B · ~C
Aplicación de la ley de absorción a BA: A + BA = A
Simplificación de los términos restantes: A + ~C + B~D + ~A · ~B · ~C
Resultado final: La expresión simplificada resulta en: B(A + ~D)(A + ~C)

Capturas Circuito:
Conclusiones:

La simplificación de expresiones lógicas utilizando el Álgebra de Boole es una

herramienta útil para reducir la complejidad y mejorar la comprensión de las relaciones
lógicas. En este informe, se demostró cómo aplicar las propiedades conmutativa,
asociativa y distributiva para simplificar una expresión sin recurrir a las leyes de De
Morgan. La expresión original se simplificó paso a paso, llegando a una forma más simple
y compacta mediante la aplicación de las propiedades y teoremas del Álgebra de Boole.