Algebra de Boole

EIE 446 - SISTEMAS DIGITALES
Tema 4: Algebra de Boole y Simplificacin Lgica
Nombre del curso: Sistemas Digitales

Nombre del docente: Hctor Vargas
OBJETIVOS DE LA UNIDAD
Aplicar las leyes y reglas bsicas del lgebra de Boole.
Aplicar los teoremas de DeMorgan a las expresiones booleanas.
Describir redes de puertas mediante expresiones booleanas.
Evaluar las expresiones booleanas.
Simplificar expresiones mediante las leyes y reglas del lgebra booleana.
Convertir cualquier expresin booleana en una suma de productos o producto
de sumas (SOP o POS).
Utilizar los mapas de Karnaugh para simplificar expresiones booleanas, tablas
de verdad.
Utilizar condiciones indiferentes para simplificar funciones booleanas.
OPERACIONES Y EXPRESIONES BOOLEANAS

El algebra de Boole son las matemticas de los sistemas digitales. Es
indispensable tener unos conocimientos bsicos del lgebra booleana para
estudiar y analizar los circuitos lgicos.
En el tema previo hemos estudiado las operaciones y expresiones booleanas
para las puertas NOT, AND, OR, NAND y NOR.
Definiciones
Los trminos variable, complemento y literal son trminos utilizados en el
lgebra booleana:
Una variable es un smbolo que se utiliza para representar magnitudes

lgicas. Una variable puede tener el valor 0 o 1.
El complemento es el inverso de una variable y se indica mediante una
barra encima de la misma. As, el complemento de A es A.
Un literal es una variable o el complemento de una variable.
Suma booleana
Como hemos visto en el tema anterior, la suma booleana es equivalente a la
operacin OR. El trmino suma es 1 si al menos uno de sus literales son 1. El
trmino suma es cero solamente si cada literal es 0.
0+0 = 0 0+1 = 1 1+0 = 1 1+1 = 1
En el lgebra de Boole, el trmino suma es una suma de literales. En los

circuitos lgicos, un trmino suma se obtiene con la operacin OR, sin que
exista ninguna operacin AND. Ejemplos: A+B, A+B, A+B+C, A+B+C+D.
Determinar los valores de A, B, y C Qu hacen la

suma de la expresin A + B + C = 0 ?
Cada literal debe ser = 0; por lo tanto A = 1, B = 0 y C = 1.
Multiplicacin booleana
Igualmente, ya hemos visto que la multiplicacin booleana es equivalente a
la operacin AND. El producto de literales forma un trmino producto. El
trmino producto ser 1 solamente si todos literales son 1.
00= 0 01= 0 10= 0 11= 1
En el lgebra de Boole, el trmino producto es un producto de literales. En

los circuitos lgicos, un trmino producto se obtiene con la operacin AND,
sin que exista ninguna operacin OR. Ejemplos: AB, AB, ABC, ABCD.
Cules son los valores de A, B y C si el trmino producto

de A.B.C = 1 ?
Cada literal debe ser = 1; por lo tanto A = 1, B = 0 y C = 0.
LEYES Y REGLAS DEL ALGEBRA DE BOOLE

Al igual que en otras reas de las matemticas, existen en el lgebra de
Boole una serie de reglas y leyes bien determinadas que tienen que seguirse
para aplicarla correctamente.
Leyes del lgebra de Boole

Las leyes del lgebra de Boole son las mismas que en el lgebra ordinaria.
Cada una de las leyes se explicar con dos o tres variables, aunque el
nmero de variables no est limitado a esta cantidad.
Leyes conmutativas
Las leyes conmutativas se aplican a la suma y la multiplicacin.
Para la suma la ley conmutativa declara: En trminos del resultado, el

orden en el cual se suman (OR) las variables es indiferente.
A+B=B+A
A
B
A+ B
B
A
B+ A
Para la multiplicacin la ley conmutativa declara: En trminos del

resultado, el orden en el cual se multiplican (AND) las variables es
indiferente.
AB = BA
A
B
AB
B
A
BA
Leyes asociativas
Las leyes asociativas se aplican tambin a la suma y la multiplicacin.
Para la suma la ley asociativa declara: Cuando de suman (OR) ms de

dos variables, el resultado es el mismo a pesar del agrupamiento de las
variables.
A
A + (B + C) = (A + B) + C
A+(B+C)
B
C
B+C
A
B
A+B
(A+B)+C
Para la multiplicacin la ley asociativa declara: Cuando se multiplican

(AND) ms de dos variables, el resultado es el mismo a pesar del
agrupamiento.
A
A(BC) = (AB)C
B
C
A(BC)
BC
A
B
C
AB
(AB)C
Ley distributiva
La ley distributiva es la ley de factorizacin. Una expresin que contiene
factores comunes se puede factorizar tal como en el algebra ordinaria.
AB + AC = A(B + C)
La ley distributiva se puede ilustrar con circuitos equivalentes:
B
C
A
B
B+ C
X
X
X = A(B + C)
AB
A
C
AC
X = AB + AC
Reglas del lgebra booleana

A continuacin, se enumeran las doce reglas bsicas, muy tiles, para la
manipulacin y simplificacin de expresiones booleanas.
3. A . 0 = 0
7. A . A = A
8. A . A = 0
=
9. A = A
4. A . 1 = A
10. A + AB = A
5. A + A = A
11. A + AB = A + B
6. A + A = 1
12. (A + B)(A + C) = A + BC
1. A + 0 = A
2. A + 1 = 1
Las nueve primeras reglas se vern en trminos de su aplicacin a las puertas

lgicas. Las reglas 10 a 12 se obtendrn de las reglas ms sencillas y de las
leyes anteriormente explicadas.

Las Reglas del algebra Booleana se pueden ilustrar con diagramas
de Venn. La variable A se representa como un rea.
La regla A + AB = A se puede ilustrar fcilmente con un diagrama.
Aadir una zona de solapamiento para representar la variable B.
La regin de interseccin entre A y B representa AB.
A
AB
Visualmente, el diagrama muestra que A + AB = A. Otras

reglas tambin se pueden ilustrar con estos diagramas.

Ilustrar la regla A + AB = A + B con un diagrama de Venn.
Esta vez, A se representa por el rea azul y B de nuevo por el

crculo rojo. La interseccin representa AB.
Observe que A + AB = A + B
BA
AB

La Regla 12, que declara que (A + B)(A + C) = A + BC, se puede probar al
aplicar las leyes y reglas como sigue:
(A + B)(A + C) = AA + AC + AB + BC
= A + AC + AB + BC
= A(1 + C + B) + BC
= A . 1 + BC
= A + BC
Esta regla es un poco ms complicada, pero tambin puede ser demostrada
con un diagrama de Venn. Homework .
TEOREMAS DE DeMORGAN
DeMorgan propuso dos teoremas que constituyen una parte importante del
lgebra de Boole.
Fundamentalmente, los teoremas de DeMorgan proporcionan una verificacin
matemtica de la equivalencia entre las puertas NAND y negativa-OR, y las
puertas NOR y negativa-AND.
En lo sucesivo aprenderemos:
Los postulados de los teoremas de DeMorgan.

Relacionar los teoremas de DeMorgan con la equivalencia entre puertas
NAND y negativa-OR, y puertas NOR y negativa-AND.
Aplicar los teoremas de DeMorgan para simplificar las expresiones
booleanas.
1er Teorema de DeMorgan.
Enunciado: El complemento de un producto de variables es igual a la

suma de las variables complementadas.
AB = A + B
Aplicando el primer teorema de DeMorgan a las puertas:
A
AB
B
NAND
A+B
B
Negative-OR
Inputs
A
0
0
1
1
B
0
1
0
1
Output
AB A + B
1
1
1
1
1
1
0
0
2do Teorema de DeMorgan.
Enunciado: El complemento de una suma de variables es igual al
producto de las variables complementadas.
A+B=A.B
Aplicando el segundo teorema de DeMorgan a las puertas:
A
A+B
B
NOR
A
B
Negative-AND
AB
Inputs
A
0
0
1
1
B
0
1
0
1
Output
A + B AB
1
1
0
0
0
0
0
0
Como se ha comentado, los teoremas de DeMorgan se aplican tambin a
expresiones en las que existen ms de dos variables. A continuacin veremos
la aplicacin de los teoremas de DeMorgan a expresiones de 3 y 4 variables.
Aplicar los teoremas de DeMorgan a las expresiones XYZ y X Y Z .
Solucin:
XYZ X Y Z
X Y Z XY Z
Aplicar los teoremas de DeMorgan a las expresiones WXYZ y W X Y Z .

Solucin:
WXYZ W X Y Z
W X Y Z W XY Z
Si analizamos los postulados de DeMorgan, cada variable podra en realidad
representar una combinacin de otras variables. A continuacin un ejemplo:
X puede ser igual al trmino AB+C, e Y puede ser igual a A+BC. As, si
aplicamos el primer teorema de DeMorgan para dos variables AB A B , a
la expresin ( AB C )( A BC ) obtenemos el siguiente resultado:
( AB C )( A BC ) ( AB C ) ( A BC )
En el resultado anterior se ve que hay dos trminos, AB C y A BC , a los
que podemos aplicar otra vez DeMorgan A B AB , obteniendo:
( AB C ) ( A BC ) ( AB)C A( BC )
De esta manera obtenemos otros dos trminos en la expresin a los que
nuevamente podemos aplicar DeMorgan. Estos trminos son AB y BC . Una
ltima aplicacin del teorema nos da como resultado:
( AB)C A( BC ) ( A B)C A( B C )
Los teoremas de DeMorgan ya no pueden seguir aplicndose, aunque este
resultado puede ser simplificado an ms mediante el uso de reglas y leyes
de Boole.
Aplicacin de los teoremas de DeMorgan

A continuacin se analiza un procedimiento que ilustra la aplicacin de los
teoremas de DeMorgan y del lgebra de Boole utilizando como ejemplo la
siguiente expresin:
A BC D( E F )
Paso 1. Identificamos los trminos a los que se pueden aplicar los teoremas
de DeMorgan y consideramos cada trmino como una nica variable. De este
modo, nos queda:
A BC X
y D( E F ) Y
Paso 2. Dado que X Y X Y
( A BC ) ( D( E F )) ( A BC )( D( E F ))

Paso 3. Utilizamos la regla 9 ( A A ) para eliminar la barra doble sobre el
trmino de la izquierda (esto no es parte del teorema de DeMorgan):
( A BC )( D( E F )) ( A BC )( D( E F ))
Paso 4. Aplicando el primer teorema de DeMorgan al segundo trmino:
( A BC )( D( E F )) ( A BC )( D ( E F ))
Paso 5. Empleamos la regla 9 nuevamente para cancelar las barras dobles
sobre la parte E F del trmino.
( A BC )( D ( E F )) ( A BC )( D E F )

Ejercicio 1: Aplicar los teoremas de DeMorgan a las expresiones:
(a) ( A B) C (b)( A B) CD (c)( A B)C D E F

Ejercicio 2: Aplicar los teoremas de DeMorgan a las expresiones:
(a) ( A B C ) D (b) ABC DEF (c) AB CD EF

Ejercicio 3: La expresin booleana de una puerta OR-exclusiva es AB AB .
Tomando esto como punto de partida, desarrollar una expresin para una
puerta NOR-exclusiva, utilizando los teoremas de DeMorgan y aquellas leyes
o reglas que se puedan aplicar.
ANLISIS BOOLEANO DE LOS CIRCUITOS LGICOS

El lgebra de Boole proporciona una manera concisa de expresar el
funcionamiento de un circuito lgico formado por una combinacin de
puertas lgicas, siendo la salida una combinacin de los valores de entrada.
Expresin booleana de un circuito lgico

Los Circuitos Lgicos Combinacionales se pueden analizar escribiendo la
expresin para cada puerta lgica y combinando estas expresiones de
acuerdo a las reglas del lgebra de Boole. A continuacin un ejemplo:
A
B
(A + B )
C (A + B )
X = C (A + B ) + D
C
D
Aplicando el teorema de DeMorgan y la ley de distribucin:
X = C (A B) + D = A B C + D
Tabla de verdad para un circuito lgico

Una vez determinada la expresin
booleana de un circuito lgico, puede
elaborarse una tabla de verdad que
represente la salida del circuito
lgico para todos los posibles valores
de las variables de entrada.
Para la expresin booleana obtenida
en el ejemplo de la diapositiva
anterior, se tiene:
X = C (A B) + D = A B C + D
Entradas
A
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
B
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
C
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
D
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
Salidas
ABC+D
0
1
1
1
0
1
0
1
0
1
0
1
0
1
0
1
SIMPLIFICACIN MEDIANTE EL LGEBRA DE BOOLE

En mltiples ocasiones a la hora de aplicar el lgebra booleana, hay que
reducir una expresin a su forma ms simple o cambiarla a una forma ms
conveniente que permita conseguir una implementacin eficiente.
Aqu trataremos el mtodo que utiliza las reglas, leyes y teoremas del
lgebra de Boole para manipular y simplificar una expresin.
Una expresin booleana simplificada debera emplear el menor nmero
posible de puertas en la implementacin de un circuito lgico.
Mediante algunos ejemplos veremos esto en detalle.
SIMPLIFICACIN MEDIANTE EL LGEBRA DE BOOLE

Ejemplo 1. Simplificar la siguiente expresin utilizando tcnicas del
lgebra de Boole.
AB A( B C ) B( B C)
Ejercicio 2. Simplificar la siguiente expresin:
( AB(C BD) AB)C

ABC ABC ABC ABC ABC

AB AC ABC
FORMAS ESTNDAR DE LAS EXPRESIONES

Todas las expresiones Booleanas pueden ser escritas en la forma suma de
productos (SOP, Sum Of Products) o en la forma producto de sumas (POS,
Product of Sums).
Estas formas pueden simplificar la implementacin de expresiones lgicas y
hacer el trabajo mucho ms sistemtico y sencillo.
Suma de productos
Cuando dos o ms productos se suman mediante la adicin booleana, la
expresin resultante se denomina suma de productos (SOP, Sum Of
Products). A continuacin algunos ejemplos:
ABC+AB
ABC+CD
CD+E
En una expresin con formato de suma de productos, una barra no puede

extenderse sobre ms de una variable. Sin embargo, ms de una variable
puede tener una barra encima. Es decir , si ABC pero no ABC
Dominio de una expresin booleana: El dominio de una expresin booleana

es el conjunto de variables contenidas en la expresin ya sea en su forma
complementada o no.
AB ABC
DOMINIO: A,
B, C
DOMINIO: A, B, C, D, E
ABC C DE BC D
La suma de productos puede ser implementada mediante una combinacin

de puertas AND/OR o puertas NAND/NAND.
A
B
A
B
AB
AB
X=AB+AC
A
C
AC
AND/OR
X=AB+AC
A
C
AC
NAND/NAND
Producto de sumas
Cuando dos o ms trminos suma se multiplican, la expresin resultante se
denomina producto de sumas (POS, Product Of Sums). A continuacin
algunos ejemplos:
( A B)( A B C ) ( A B C )(C D E )( B C D)
En una expresin con formato de suma de productos, una barra no puede

extenderse sobre ms de una variable. Sin embargo, ms de una variable
puede tener una barra encima. Es decir , si A B C pero no A B C
El producto de sumas puede ser implementado mediante una combinacin de
puertas OR/AND como ilustra la figura.
A
B
A+B
X=(A+B)(A+C)
A
C
A+C
OR/AND
FORMA SOP ESTNDAR

En la forma SOP estndar, todas las variables del dominio deben aparecer en
cada trmino. Esta forma es til para la construccin de tablas de verdad.
Puedes extender un trmino no-estndar a su forma estndar al multiplicar
el trmino por un trmino compuesto por la suma de la variable que falta y
su complemento. Es decir, aplicando la regla 6 A A 1.
Convertir X = A B + A B C a su forma estndar.

El primer trmino no incluye la variable C. Por lo tanto,
multiplicarlo por (C + C), que es = 1:
X = A B (C + C) + A B C
=ABC+ABC+ABC
Ejercicio: Convertir la siguiente expresin booleana al formato SOP estndar:
ABC AB ABCD
FORMA POS ESTNDAR

En la forma POS estndar, todas las variables en el dominio deben aparecer
en cada trmino suma de la expresin.
Puedes extender una forma de expresin POS no-estndar a su forma
estndar al aadir el producto de la variable que falta y su complemento y
aplicando la regla 12, que declara que: (A + B)(A + C) = A + BC.
Convertir X = (A + B)(A + B + C) a su forma estndar.
El primer trmino suma no incluye la variable C. Por lo tanto,
aadir C C y expandir el resultado aplicando la regla 12.
X = (A + B + C C)(A + B + C)
= (A +B + C )(A + B + C)(A + B + C)
Ejercicio: Convertir la siguiente expresin booleana al formato POS estndar:
( A B C )( B C D)( A B C D)
CONVERSIN DE UN SOP ESTNDAR EN UN POS ESTNDAR

Para pasar de la suma de productos estndar al producto de sumas estndar
hay que realizar los siguientes pasos:
1. Evaluar cada trmino producto de la expresin suma de productos. Es
decir, determinar los nmeros binarios que representan estos trminos.
2. Determinar todos los nmeros binarios no incluidos al realizar la
evaluacin del paso 1.
3. Escribir los trminos suma equivalente para cada valor binario del paso 2
y expresarlos en forma de producto de sumas.
VER EJEMPLO.
Convertir la siguiente suma de productos estndar en su expresin
equivalente como producto de sumas:
ABC ABC ABC ABC ABC
Desarrollo del ejemplo.
Convertir la siguiente suma de productos estndar en su expresin

equivalente como producto de sumas:
ABC ABC ABC ABC ABC

Paso 1. El resultado de la evaluacin es el siguiente:
000 010 011 101 111

Paso 2. Dado que son 3 las variables del dominio, existe un total de 23
posibles combinaciones. La expresin suma contiene cinco de estas
combinaciones, luego la expresin producto de sumas debe contener las
otras tres que son: 001, 100 y 110.
Paso 3. Recordar que estos valores binarios (paso 2) son los valores que
hacen que cada operacin suma sea igual a cero. El resultado es,
( A B C )( A B C )( A B C )
Utilizando un procedimiento similar, se puede pasar de POS a SOP estndar.
EXPRESIONES BOOLEANAS Y TABLAS DE VERDAD

Todas las expresiones booleanas pueden convertirse fcilmente en tablas de
verdad utilizando los valores binarios de cada trmino de la expresin.
Adems, las expresiones SOP y POS pueden determinarse muy fcilmente
desde las tablas de verdad.
Conversin de una suma de productos a tabla de verdad

El primer paso para construir una tabla de verdad consiste en enumerar
todas las posible combinaciones de los valores de entrada.
El segundo paso consiste en pasar la suma de productos a su forma estndar,
si no lo est ya.
Finalmente, se escribe un 1 en la columna de salida de cada valor binario
que hace que la suma de productos estndar sea 1, y un 0 en los restantes.
VER EJEMPLO.
Desarrollar una tabla de verdad para la expresin:
ABC ABC ABC
Conversin de un producto de sumas a tabla de verdad

El primer paso para construir una tabla de verdad consiste en enumerar
todas las posible combinaciones de los valores de entrada.
El segundo paso consiste en pasar el producto de sumas a su forma estndar,
si no lo est ya.
Finalmente, se escribe un 0 en la columna de salida de cada valor binario
que hace que la suma de productos estndar sea 0, y un 1 en los restantes.
Ejercicio.
Desarrollar una tabla de verdad para la expresin:
( A B C )( A B C )( A B C )( A B C )( A B C )
Expresiones estndar a partir de la tabla de verdad

Para obtener la expresin algebraica de una suma de productos
representada por una tabla de verdad se deben enumerar todos los valores
de las variables de entrada para los que la salida es 1.
Luego, cada valor binario se convierte en el correspondiente trmino
producto, reemplazando cada 1 por la variable y cada 0 por la variable
complementada. Ejemplo: El valor binario 1010 ABC D
Para obtener la expresin algebraica de un producto de sumas representado
por una tabla de verdad se deben enumerar todos los valores de las
variables de entrada para los que la salida es 0.
Luego, cada valor binario se convierte en el correspondiente trmino suma,
reemplazando cada 0 por la variable y cada 1 por la variable
complementada. Ejemplo: El valor binario 1010 A B C D
Expresiones estndar a partir de la tabla de verdad
Entradas
Ejercicio: A partir de la tabla de verdad de

la derecha, determine la expresin suma de
productos y la expresin producto de sumas
estndar equivalente.
A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
Salida
X
0
0
0
1
1
0
1
1
Representaciones cannicas SOP y POS

Otra forma de representar las sumas de productos y productos de sumas
estndar son las formas cannicas.
Minterms 1: Son los trminos producto de cada fila de la tabla de verdad
que hacen que tal trmino producto valga 1.
Expresin para representar en SOP estndar mediante minterms.
F (lista de variables) (lista de ndices de minterms 1)

Maxterms 0: Son los trminos suma de cada fila de la tabla de verdad que
hacen que tal trmino suma valga 0.
Expresin para representar en POS estndar mediante maxterms.
F (lista de variables) lista de ndices de maxterms 0

Tabla representativa de minterms y maxterms de tres variables.
Entradas
Salida
A B C
0 0 0
0 0 1
MINTERMS
0 1 0
0 1 1
1 0 0
XY Z
1 0 1
1 1 0
1 1 1
X YZ
XYZ
X YZ
X YZ
XYZ
XY Z
XYZ
NOTACIN
m0
m1
m2
m3
m4
m5
m6
m7
MAXTERMS
X Y Z
X Y Z
X Y Z
X Y Z
X Y Z
X Y Z
X Y Z
X Y Z
NOTACIN
M0
M1
M2
M3
M4
M5
M6
M7

Exprese la funcin booleana F = X+YZ como suma de minterms 1.
F X YZ
F X (Y Y )( Z Z ) ( X X )YZ
F XYZ X Y Z XY Z X Y Z XYZ X YZ
Eliminando los duplicados, de acuerdo con la regla 5, y reordenando los
minterms en orden ascendente, obtenemos finalmente,
F X YZ X Y Z X Y Z XY Z XYZ
m3 m4 m5 m6 m7
(3, 4, 5, 6, 7)
Ejercicio para la casa: Exprese la funcin booleana F X Y XZ como
producto de maxterms 0.
MAPAS DE KARNAUGH
Mientras que con las leyes, reglas y teoremas del lgebra de Boole la
reduccin de las expresiones dependa de nuestra habilidad para aplicarlas,
los mapas de Karnaugh nos proporcionan un mtodo sistemtico para el
mismo propsito.
Si se aplica correctamente, el mtodo genera las expresiones suma de
productos o producto de sumas ms simples posibles, conocidas como
expresiones mnimas.
Un mapa de Karnaugh es similar a una tabla de verdad, ya que muestra

todas las posibles combinaciones de entrada y salida resultante para cada
una de ellas.
Los mapas de Karnaugh se pueden utilizar para reducir expresiones de dos,
tres, cuatro y cinco variables. Nosotros nos ocuparemos de los casos de tres
y cuatro variables para ilustrar los principios.
Mapa de Karnaugh de tres variables

El mapa de Karnaugh (K-map) es una herramienta para simplificar lgica
combinacional con 3 o 4 variables. Para 3 variables, se requieren 8
celdas (23).
El mapa que se muestra es para tres variables
etiquetadas A, B, y C. Cada celda representa
un posible trmino producto.
Cada celda difiere de una celda adyacente por
solo una variable.
ABC
ABC
ABC
ABC
ABC
ABC
ABC
ABC

Las celdas son usualmente etiquetadas usando 0s y 1s para representar
la variable y su complemento.
C
AB
00
Cod.
Gray
Los nmeros se ingresan en cdigo gray,

para forzar que las celdas adyacentes
difieran por slo una variable.
01
11
10
Los unos se leen como la variable real y

los ceros se leen como la variable
complementada.

Alternativamente, las celdas se pueden etiquetar con las letras de
variables. Esto hace que sea ms simple de leer, pero toma ms tiempo
preparar el mapa. Observe la adyacencia de las celdas.
Leer los trminos para las
celdas amarillas.
CC
AB
AB ABC
CC
ABC
AB
AB ABC
ABC ABC
Las celdas son ABC y ABC
AB
AB ABC
ABC
AB ABC
AB
ABC
ABC
Mapa de Karnaugh de cuatro variables

En un mapa de Karnaugh de 4 variables las celdas se disponen de manera
similar al mapa de 3 variables, es decir, las variables AB estn a la
izquierda y las variables CD estn en la parte superior.
CD
AB
AB
AB
AB
CD
CD
CD
Fsicamente, cada celda es adyacente a las

celdas que estn situadas inmediatas a ella por
cualquiera de sus cuatro lados.
Una celda no es adyacente a aquellas celdas
que tocan diagonalmente alguna de las
esquinas.
Adems podemos apreciar la adyacencia
cclica de las celdas ubicadas en los extremos.
MINIMIZACIN DE UNA SOP MEDIANTE KARNAUGH

Como se ha comentado en las diapositivas anteriores, el mapa de
Karnaugh se utiliza para reducir expresiones booleanas al mnimo.
Objetivo: Siguiendo el sentido del punto anterior, una suma de
productos minimizada est formada por el mnimo nmero de trminos
producto posibles con el mnimo nmero de variables por trmino.
Generalmente, una expresin suma de productos minimizada puede
implementarse con un nmero de puertas menor que su expresin
estndar, lo cual constituye la finalidad del proceso de simplificacin.
Mapa de Karnaugh de una suma de productos estndar

Los siguientes pasos describen como completar los mapas de Karnaugh de
una suma de productos estndar:
1. Determinar el valor binario de cada trmino producto de la suma de
productos estndar.
2. A medida que evaluamos cada trmino, colocamos un 1 en el mapa de
Karnaugh en la celda que tiene el mismo valor que dicho trmino.
Cuando hayamos completado el mapa de Karnaugh correspondiente a la
suma de productos dada, en dicho mapa habrn tantos unos como trminos
en la expresin.
Generalmente cuando se trabaja con suma de productos los ceros se dejan
fuera del mapa.

Un ejemplo de mapa de Karnaugh de 3 variables de una SOP estndar.
ABC ABC ABC ABC

C
AB
00
000
0
01
11
10
001 110
100

Ejercicio 1. Transformar la siguiente suma de productos estndar en un
mapa de Karnaugh.
ABC ABC ABC ABC

Ejercicio 2. Transformar la siguiente suma de productos estndar en un
mapa de Karnaugh.
ABCD ABC D ABCD ABCD ABC D ABCD ABC D
Mapa de Karnaugh de una suma de productos no-estndar

Antes de poder utilizar un mapa de Karnaugh, las
expresiones booleanas deben estar en su forma
estndar. Si una expresin no lo est, debera pasarse
a su forma estndar mediante el procedimiento ya
descrito algunas diapositivas atrs.
C
AB
00
Otra manera ms rpida es mediante el mtodo del

desarrollo numrico de los trminos que no incluyen
todas las variables del dominio.
01
11
10
A AB ABC
000 100
001 101
010
011
110
Ejercicio 2. Obtener el K-map de: BC AB ABC ABC D ABCD ABCD
Simplificacin de una SOP mediante el mapa de Karnaugh

El proceso de minimizacin de una suma de productos estndar mediante los
mapas de Karnaugh (una vez generado el mapa) se divide en dos pasos:
Agrupacin de unos. Se deben agrupar los unos del mapa de Karnaugh de

acuerdo con ciertas reglas. La finalidad es maximizar el tamao de los grupos
y minimizar el nmero de estos grupos.
1. Un grupo tiene que contener 1,2,4,8 16 celdas (potencias de 2). En el caso de un
mapa de 3 variables, el grupo mximo puede ser de 8 celdas.
2. Cada celda del grupo debe ser adyacente a una o ms celdas del mismo grupo,
pero no todas las celdas del grupo tienen que ser adyacentes entre s.
3. Incluir en cada grupo el mayor nmero posible de 1s de acuerdo a la regla 1.
4. Cada 1 del mapa debe estar incluido en al menos un grupo. Los 1s que ya
pertenezcan a un grupo pueden estar incluidos en otro, siempre que los grupos
que se solapen contengan unos no comunes.

Ejemplo: Agrupar los 1s en el siguiente mapa de Karnaugh.
C
AB
00
01
11
1
1
10
Ejercicios: Agrupar los 1s en cada uno de los siguientes mapas de Karnaugh.

C
AB
00
01
11
10
01
1
1
CD
00
AB
00 1
01
11
1
1
11
10
10
CD
00
AB
00 1
01
11
10
01
11
10
Determinacin de la SOP mnima. Seguir las reglas siguientes:

1. Cada grupo de celdas que contiene 1s da lugar a un trmino producto compuesto
por todas las variables que aparecen en el grupo en solo una forma (no
complementada o complementada).
2. Determinar la operacin producto mnima para cada grupo.

a) Para un mapa de 3 variables:
-
Un grupo formado por una nica celda da lugar a un trmino de 3 variables.

Un grupo formado por dos celdas da lugar a un trmino de 2 variables.
Un grupo formado por cuatro celdas da lugar a un trmino de 1 variable.
Un grupo formado por ocho celdas indica que la expresin vale 1.
b) Para un mapa de 4 variables:

-
Un grupo formado por una celda da lugar a un trmino producto de 4 variables.

Un grupo formado por dos celdas da lugar a un trmino producto de 3 variables.
Un grupo formado por cuatro celdas da lugar a un trmino producto de 2 variables.
Un grupo formado por ocho celdas da lugar a un trmino producto de 1 variable.
Un grupo formado por 16 celdas indica que la expresin vale 1.
3. Sumar todos los productos mnimos obtenidos en el punto 2 para obtener la

expresin suma de productos mnima.
Ejemplo. Determinar los productos para el mapa de Karnaugh siguiente y

escribir la expresin suma de productos mnima resultante:
CD
00
AB
00 1
01
11
10
01
11
10
B AC ACD
AC
B
ACD
Ejercicios. Determinar los productos para cada uno de los mapas de Karnaugh
siguientes y escribir la expresin suma de productos mnima resultante:
BC
ABC
C
AB
00
CD
00
AB
00 1
01
11
AC
1
1
10
AB
C
AB
00
01
11
10
11
10
1
1
11
10
AC
1
01
01
AC
ABD
AB
CD
00
AB
00 1
01
11
10
1
01
11
10
BC
ABC

K-maps pueden simplificar la lgica combinacional al agrupar celdas y
eliminar las variables que cambian al cruzar una frontera.
Agrupar 1s en el mapa y leer la lgica mnima.
B cambia
al cruzar
esta
frontera
C
AB
00
01
11
10
C cambia
al cruzar
esta
frontera
1. Agrupar 1s en dos grupos

solapados como se indica.
2. Leer cada grupo eliminando
cualquier variable que cambie al
cruzar una frontera.
3. El grupo vertical se lee AC.
4. El grupo horizontal se lee AB.
X = AC +AB
Mapa de Karnaugh de cuatro variables

Agrupar los 1s en el mapa y leer la lgica mnima.
C cambia al
cruzar el lm ext
CD
00
AB
00 1
01
11
10
1
B cambia
01
11
10
B cambia
C cambia
1. Agrupar los 1s en dos grupos

separados como se indica.
2. Leer cada grupo eliminando
cualquier variable que cambie al
cruzar la frontera.
3. El grupo superior (amarillo) se
lee como AD.
4. El grupo inferior (verde) se lee
como AD.
X = AD +AD
Obtencin directa del K-map a partir de la tabla de verdad

Recordar que una tabla de verdad proporciona la salida de una expresin
booleana para todas las posibles combinaciones de las variables de entrada.
Los unos de la columna de salida de la tabla de verdad se trasladan
directamente al mapa de Karnaugh, a las celdas correspondientes a los
valores asociados de las combinaciones de variables de entrada.
Entradas
A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
Salida
X
1
0
0
0
1
0
1
1
C
AB
00
01
11
10
Condiciones indiferentes
Algunas veces se producen situaciones en las que algunas combinaciones de
las variables de entrada no estn permitidas. Por ejemplo, si recordamos el
cdigo BCD, existan seis combinaciones no vlidas: 1010, 1011, 1100, 1101,
1110, 1111.
Dado que estos estados no permitidos no ocurren nunca en una aplicacin
que emplee el cdigo BCD, pueden considerarse como trminos
indiferentes con respecto a su efecto de salida.
En la prctica, a estos trminos se les puede asignar tanto un 1 como un 0

en la salida, y no son importantes dado que nunca van a generarse.
En los mapas de Karnaugh los trminos indiferentes pueden ocuparse como
unos para agrandar los grupos o como ceros si no obtenemos ninguna
ventaja.
Condiciones indiferentes
Ejemplo: Encontrar la expresin SOP
mnima con y sin condiciones indiferentes
para la tabla de verdad siguiente:
CD
00
AB
00 1
01
11
10
01
11
10
1
1
X
1X
1X
Sin
condiciones
indiferentes
Con
condiciones
indiferentes
Entradas
A
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
B
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
C
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
Sin condiciones indiferentes Y ABC ABCD

Con condiciones indiferentes Y A BCD
D
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
Salidas
Y
0
0
0
0
0
0
0
1
1
1
X
X
X
X
X
X
PALABRAS CLAVES DE LA UNIDAD

Variable Un smbolo utilizado para representar una cantidad
lgica que puede tener un valor de 1 o 0,
usualmente designado por una letra itlica.
Complemento El inverso o opuesto de un nmero. En el lgebra
booleana, la funcin inversa, se expresa con una
barra sobre la variable.
Trmino suma La suma booleana de dos o ms literales
equivalente a una operacin OR.
Trmino El producto booleano de dos o ms literales
producto equivalente a una operacin AND.
PALABRAS CLAVES DE LA UNIDAD

Suma-de-productos Una forma de expresin booleana que es
(SOP) bsicamente la aplicacin de la funcin OR a
mltiples expresiones AND.
Producto de sumas Una forma de expresin booleana que es
(POS) bsicamente la aplicacin de la funcin AND a
mltiples expresiones OR.
Mapa de Karnaugh Un arreglo de celdas que representan

combinaciones de literales en una expresin
booleana y usado para la simplificacin
sistemtica de una expresin.
BIBLIOGRAFA
Libro base: Fundamentos de Sistemas Digitales. Autor: Tomas L. Floyd.
Libro complemento: Principios de Diseo Digital. Autor: Daniel D. Gaski.

Algebra de Boole

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Algebra de Boole

Enviado por

Direitos autorais:

Formatos disponíveis

EIE 446 - SISTEMAS DIGITALES

Tema 4: Algebra de Boole y Simplificacin Lgica

Nombre del curso: Sistemas Digitales

Utilizar condiciones indiferentes para simplificar funciones booleanas.

OPERACIONES Y EXPRESIONES BOOLEANAS

Una variable es un smbolo que se utiliza para representar magnitudes

En el lgebra de Boole, el trmino suma es una suma de literales. En los

Determinar los valores de A, B, y C Qu hacen la

En el lgebra de Boole, el trmino producto es un producto de literales. En

Cules son los valores de A, B y C si el trmino producto

LEYES Y REGLAS DEL ALGEBRA DE BOOLE

Leyes del lgebra de Boole

Para la suma la ley conmutativa declara: En trminos del resultado, el

Para la multiplicacin la ley conmutativa declara: En trminos del

Para la suma la ley asociativa declara: Cuando de suman (OR) ms de

Para la multiplicacin la ley asociativa declara: Cuando se multiplican

Reglas del lgebra booleana

Las nueve primeras reglas se vern en trminos de su aplicacin a las puertas

Reglas del lgebra booleana

Visualmente, el diagrama muestra que A + AB = A. Otras

Reglas del lgebra booleana

Esta vez, A se representa por el rea azul y B de nuevo por el

Reglas del lgebra booleana

Los postulados de los teoremas de DeMorgan.

Enunciado: El complemento de un producto de variables es igual a la

Aplicar los teoremas de DeMorgan a las expresiones WXYZ y W X Y Z .

Aplicacin de los teoremas de DeMorgan

Paso 2. Dado que X Y X Y

Aplicacin de los teoremas de DeMorgan

Aplicacin de los teoremas de DeMorgan

(a) ( A B) C (b)( A B) CD (c)( A B)C D E F

(a) ( A B C ) D (b) ABC DEF (c) AB CD EF

ANLISIS BOOLEANO DE LOS CIRCUITOS LGICOS

Expresin booleana de un circuito lgico

Aplicando el teorema de DeMorgan y la ley de distribucin:

Tabla de verdad para un circuito lgico

SIMPLIFICACIN MEDIANTE EL LGEBRA DE BOOLE

SIMPLIFICACIN MEDIANTE EL LGEBRA DE BOOLE

Ejercicio 2. Simplificar la siguiente expresin:

( AB(C BD) AB)C

ABC ABC ABC ABC ABC

FORMAS ESTNDAR DE LAS EXPRESIONES

En una expresin con formato de suma de productos, una barra no puede

Dominio de una expresin booleana: El dominio de una expresin booleana

La suma de productos puede ser implementada mediante una combinacin

En una expresin con formato de suma de productos, una barra no puede

FORMA SOP ESTNDAR

Convertir X = A B + A B C a su forma estndar.

FORMA POS ESTNDAR

CONVERSIN DE UN SOP ESTNDAR EN UN POS ESTNDAR

ABC ABC ABC ABC ABC

Desarrollo del ejemplo.

Convertir la siguiente suma de productos estndar en su expresin

ABC ABC ABC ABC ABC

000 010 011 101 111

EXPRESIONES BOOLEANAS Y TABLAS DE VERDAD

Conversin de una suma de productos a tabla de verdad

ABC ABC ABC

Conversin de un producto de sumas a tabla de verdad

Expresiones estndar a partir de la tabla de verdad

Expresiones estndar a partir de la tabla de verdad

Ejercicio: A partir de la tabla de verdad de

Representaciones cannicas SOP y POS

F (lista de variables) (lista de ndices de minterms 1)