lgebra Booleana y

Simplificacin Lgica
M. en C. Erika Vilches

Parte 2
 Simplificacin utilizando
lgebra Booleana
Simplificar la expresin AB + A(B + C) + B(B + C)
1. Aplicar la ley distributiva al segundo y tercer trminos
en la expresin AB + AB + AC + BB + BC
2. Aplicar la regla 7 (BB = B) al cuarto trmino
AB + AB + AC + B + BC

3. Aplicar la regla 5 (AB + AB = AB) a los primeros 2

trminos AB + AC + B + BC
4. Aplicar la regla 10 (B + BC = B) a los ltimos dos
trminos AB + AC + B

5. Aplicar la regla 10 (AB + B = B) al primer y tercer

trminos B + AC
 En este punto la expresin esta lo ms
simplificada posible
Este camino no es necesariamente el nico
Una vez que se ha ganado experiencia, se
pueden combinar muchos pasos individuales
 Simplificar la expresin Booleana

1. Aplicar la ley distributiva a los trminos entre

brackets

2. Aplicar la regla 8 al segundo trmino entre

parntesis

3. Aplicar la regla 3 (A0D = 0) al segundo trmino

entre parntesis

4. Aplicar la regla 1 (eliminar el 0) entre los parntesis

5. Aplicar la ley distributiva

6. Aplicar la regla 7 (CC = C) al primer trmino

7. Factorizar

8. Aplicar la regla 6

9. Aplicar la regla 4 (eliminar el 1)

 Ejercicios
Simplificar las siguientes expresiones
Booleanas:

Implemente cada expresin en la columna de la

derecha tal cual se muestra con las compuertas
lgicas apropiadas. Posteriormente implemente la
expresin simplificada y compare el nmero de
compuertas.
 Formas Estndar de las
Expresiones Booleanas
Suma de Productos (SOP)
Un trmino producto, tambin llamado
minitrmino, es un trmino que consiste del
producto (multiplicacin Booleana) de
literales (variables o sus complementos).
Cuando dos o ms trminos producto se
suman en una suma Booleana, la expresion
resultante es una suma de productos.
Suma de Productos (SOP, del ingls sum-of-
products) AB + ABC
 Una expresin SOP puede tener un trmino
con una sola variable A + ABC
En una expresin SOP, una sola barra no se
puede extender a ms de una variable, sin
embargo ms de una variable en un trmino
puede tener una barra. Se puede tener el
trmino pero no .
El dominio de una expresin Booleana es el
conjunto de variables contenidas en la
expresin complementadas o sin
complementar. El dominio de la expresin
es A, B, C, D, E.
 Implementar una expresin SOP requiere
simplemente ORear los productos de 2 o
ms compuertas AND.
Un trmino producto es producido por una
operacin AND, y la suma de dos o ms
trminos producto se produce con una
operacin OR.

Implementacin de la expresin SOP

AB + BCD + AC
Conversin de una expresin general a la
forma SOP

Cualquier expresin lgica se puede cambiar

a la forma SOP aplicando las tcnicas de
lgebra Booleana.
Ejemplo: A(B + CD) puede ser cambiado a
la forma SOP aplicando la ley distributiva
A(B + CD) = AB + ACD
Ejercicio: Convierta las siguientes
expresiones Booleanas a la forma SOP:
Forma SOP Estndar

Una expresin SOP estndar es aquella en

donde todas las variables en el dominio
aparecen en cada trmino producto en la
expresin. Por ejemplo:
Las expresiones SOP estndar son
importantes en la construccin de tablas de
verdad y en el mtodo de simplificacin
mapas de Karnaugh.
Cualquier SOP no estndar (referido
solamente como SOP) se puede convertir a
la forma estndar utilizando lgebra
Booleana
Convirtiendo Trminos Producto a SOP
Estndar

Regla 6
Cualquier cosa se puede multiplicar por 1
sin cambiar su valor.
1. Multiplicar cada trmino producto no
estndar por un trmino hecho con la suma
de una variable faltante y su complemento.
Esto resulta en dos trminos producto.
2. Repetir el paso 1 hasta que todos los
trminos producto resultantes contengan
todas las variables en el dominio en forma
complementada o sin complementar
Ejemplo: Convertir la expresin a la forma
SOP estndar.

Dominio A, B, C, D. Tomar un trmino a la vez. Al

primer trmino le falta ya variable o . Entonces
multiplicar el primer trmino por como sigue:

En el segundo trmino, faltan las variables o y

o , entonces primero multiplicar el segundo trmino
por como sigue:

A ambos trminos resultantes les falta la variable o .

Multiplicar ambos trminos por como sigue:
El tercer trmino ya se encuentra en forma
estndar.
La forma SOP estndar completa de la expresin original
es como sigue:

Una expresin SOP (estndar o no) es igual a 1 solo

cuando uno o ms de los trminos producto en la
expresin es igual a 1.

Ejercicio: Convierta la expresin

a la forma SOP estndar.
Producto de Sumas (POS)
Un trmino suma, tambin llamado
maxitrmino, consiste de la suma Booleana
de literales (variables o sus complementos).
Cuando dos o ms trminos suma son
multiplicados, la expresin resultante es un
producto de sumas.
Producto de sumas (POS, del ingls product-
of-sums)
Puede contener un trmino con una sola
variable
Una expresin POS (estndar o no) es igual
a 0 solo cuando uno o ms de los trminos
suma en la expresin es igual a 0.
 En una expresin POS, una barra no se
puede extender sobre mas de una variable,
sin embargo mas de una variable en un
trmino puede tener una barra. Se puede
tener el trmino pero no .
Implementar una expresin POS requiere
simplemente ANDear las salidas de dos o
mas compuertas OR.

Implementacin de la expresin POS

(A + B)(B + C + D)(A + C)
Forma POS Estndar

Una expresin POS estndar es aquella en la

que todas las variables en el dominio
aparecen en cada trmino suma en la
expresin. Ejemplo:

Cualquier expresin POS no estndar se

puede convertir a una expresin POS
estndar utilizando lgebra Booleana.
Convirtiendo Trminos Suma a POS Estndar

Regla 8
Se puede sumar 0 a cualquier cosa sin
cambiar su valor.
1. Sumar a cada trmino suma no estndar un
trmino hecho con el producto de una
variable faltante y su complemento. Esto
resulta en dos trminos suma.
2. Aplicar la regla 12
3. Repetir el paso 1 hasta que todos los
trminos suma resultantes contengan a
todas las variables del dominio en forma
complementada o sin complementar.
Ejemplo: Convertir la expresin
a la forma POS estndar.
Dominio A, B, C, D. Tomar un trmino a la vez. Al
primer trmino le falta ya variable o .
Entonces sumar y aplicar la regla 12 como sigue:

Al segundo trmino le falta ya variable o .

Entonces sumar y aplicar la regla 12 como sigue:

El tercer trmino ya se encuentra en forma

POS estndar. La forma POS estndar de la expresin
original es como sigue:
Convirtiendo SOP Estndar a POS Estndar

1. Evaluar cada trmino producto en la

expresin SOP, de modo que la expresin
sea igual a 1. (Determinar los nmeros
binarios que representan los trminos
producto)
2. Determinar todos los nmeros binarios no
incluidos en la evaluacin del paso 1.
3. Escribir el trmino suma equivalente para
cada nmero binario del paso 2 y expresar
en forma POS (La expresin debe ser igual a
cero).
Convertir la siguiente expresin SOP a su expresin POS
equivalente
La evaluacin para que la expresin sea igual a 1 es
como sigue: 000 + 010 + 101 + 111
Hay 3 variables, por lo tanto hay 2^3 = 8 posibles
combinaciones. La expresin SOP contiene 5 de esas
posibles combinaciones, por lo tanto el POS debe
contener las otras tres, que son 001, 100 y 110.

La expresin POS equivalente (su evaluacin es 0) es:

Utilizando un procedimiento similar, se puede ir de

POS a SOP