Digitales Clases 2018

T-2 lgebra de Boole.
Lgica combinacional 1
TEMA - 2
LGEBRA DE BOOLE. LGICA COMBINACIONAL.
El control digital, y en particular el binario, est presente en todos los campos de la vida,
desde los sistemas de refrigeracin hasta los complejos sistemas de control de vuelo. Aunque
los circuitos electrnicos de estos sistemas pueden tener niveles de complejidad muy
diferentes, todos se basan en combinaciones de elementos ms pequeos llamados puertas
lgicas, las cuales se construyen a partir de transistores y elementos pasivos.
En este tema se aborda el estudio de dichas puertas lgicas, el lgebra de conmutacin

que se utiliza para manipular las magnitudes binarias y algunas aplicaciones.
1. Estados lgicos y funcin lgica.

Los elementos que constituyen los circuitos digitales se caracterizan por admitir slo dos
estados. Es el caso por ejemplo de un conmutador que slo puede estar ENCENDIDO o
APAGADO, o una vlvula hidrulica que slo pueda estar ABIERTA o CERRADA.
Para representar estos dos estados se usan los smbolos 0 y 1. Generalmente, el 1 se

asociar al estado de conmutador CERRADO, ENCENDIDO, VERDADERO, y el 0 se asocia
al estado de conmutador ABIERTO, APAGADO o FALSO.
En el circuito de la Figura 2-1 se representa el estado del conmutador con la variable S y

el de la lmpara con la variable binaria L. En la tabla se observa la relacin entre ambas.
Tabla de verdad S L 1 cerrado

S L S L 0 abierto
ABIERTO APAGADA 0 0
CERRADA ENCENDIDA 1 1
Figura 2-1 . Circuito binario.
La funcin lgica es aquella que relaciona las entradas y salidas de un circuito lgico.
Puede expresarse mediante:
1. Tabla de verdad: Es ella se representan a la izquierda todos los estados posibles de las
entradas (en el ejemplo, el estado del conmutador) y a la derecha los estados
correspondientes a la salida (en el ejemplo, la lmpara).
2. Funcin booleana: Es una expresin matemtica que emplea los operadores booleanos
(en el ejemplo, L = S).
2 T-2 lgebra de Boole. Lgica combinacional
2. Puertas lgicas elementales.

Una puerta lgica es un elemento que toma una o ms seales binarias de entrada y
produce una salida binaria funcin de estas entradas. Cada puerta lgica se representa
mediante un smbolo lgico. Hay tres tipos elementales de puertas: AND, OR y NOT. A partir
de ellas se pueden construir otras ms complejas, como las puertas: NAND, NOR y XOR.
2.1. Puerta AND.

El funcionamiento de la puerta lgica AND es equivalente al de un circuito con dos
conmutadores en serie como el de la Figura 2-2. En dicho circuito es necesario que los dos
conmutadores estn cerrados para que la lmpara se encienda.
La relacin entre las posiciones de los conmutadores y el estado de la lmpara se

muestra en la tabla de verdad.
Smbolo
A B L A B L
A
0 0 0
L 1 cerrado
0 1 0 B
0 abierto
1 0 0
1 1 1
Figura 2-2 . Circuito equivalente a una puerta AND de
dos entradas.
La relacin es la siguiente: la lmpara se enciende slo si el conmutador A Y el

conmutador B estn a 1, es decir, L = A (AND) B. Esta relacin se conoce como AND.
Las puertas AND pueden tener ms de dos A

entradas. En la Figura 2-3 se representa una puerta B L
AND de tres entradas. C
Figura 2-3 . AND de tres entradas.
La salida de una puerta AND es verdadera (1) si, y slo si, todas las entradas son
verdaderas. Esta operacin corresponde a una multiplicacin lgica binaria que para dos
entradas sera: L= A B .
2.2. Puerta OR.

El funcionamiento de esta puerta es equivalente al de dos conmutadores en paralelo
como en la Figura 2-4. En esta configuracin la lmpara se encender si cualquiera de los dos
conmutadores se cierra.
A
Smbolo
A B L
0 0 0 A B L
L 1 cerrado
0 1 1
B 0 abierto
1 0 1
1 1 1
Figura 2-4 . Circuito equivalente a una puerta OR de dos
entradas.
En este caso la relacin es la siguiente: la lmpara se encender si y slo si, el
conmutador A O (OR) el B estn cerrados. Esta funcin se describe en la tabla de verdad.
La salida de una puerta OR es verdadera (1) si, y slo si, al menos una de las entradas
es verdadera. Esta relacin corresponde a una suma lgica binaria: L= A + B.
T-2 lgebra de Boole. Lgica combinacional 3
2.3. Puerta NOT.

La salida de una puerta NOT es siempre el complementario de la entrada, de tal manera
que si la entrada es 0 la salida es 1 y viceversa. Se conoce tambin como INVERSOR y
posee una nica entrada.
Smbolo
A L
0 1
A L
1 0
La operacin lgica se conoce como negacin y se escribe: L = A (negado de A).
El indicador de negacin es un crculo ( o ) que indica inversin o complementacin

cuando aparece en la entrada o en la salida de un elemento lgico. El smbolo triangular sin el
crculo representara una funcin en la que el estado de la salida sera idntico al de la entrada,
esta funcin recibe el nombre de buffer. Los buffers se usan para cambiar las propiedades
elctricas de una seal sin afectar al estado lgico de la misma.
2.4. Puerta NAND.

Equivale a una puerta AND seguida de un INVERSOR. Su nombre viene de Not-AND .
El smbolo lgico es una puerta AND con un crculo en la salida. La tabla de verdad es igual al
de la puerta AND con el estado de salida negado. Una puerta NAND puede tener ms de dos
entradas.
Smbolo A B L
A A 0 0 1
L L 0 1 1
B B
1 0 1
1 1 0
2.5 Puerta NOR.

Equivale a una puerta OR seguida de un INVERSOR. Su nombre viene de Not-OR . El
smbolo lgico es una puerta OR con un crculo en la salida. La tabla de verdad es igual al de la
puerta OR con el estado de salida negado. Tambin puede tener ms de dos entradas.
Smbolo
A B L
A A 0 0 1
L L 0 1 0
B B
1 0 0
1 1 0
2.6. Puerta OR exclusiva (XOR).

La salida de una puerta OR exclusiva es verdadera (1) si, y slo si, una y slo una de
sus dos entradas es verdadera. Se asemeja a la OR (inclusiva), excepto que excluye el caso
en que las dos entradas son verdaderas. La figura muestra un circuito equivalente. En una
puerta OR exclusiva la salida ser 1 cuando el nmero de entradas que son 1 sea impar.
El circuito equivalente de la Figura 2-6 se deriva de considerar el funcionamiento de al

puerta XOR como combinacin de dos condiciones X e Y. X representa la condicin de que
cualquiera de las entradas: A o (OR) B sea 1, e Y la condicin de que A y (AND) B no (NOT)
sean 1 (NAND).
A B L Smbolo
A B C L
0 0 0 0 0 0 0
A
0 1 1 A 0 0 1 1 B L
L C
1 0 1 0 1 0 1
B
1 1 0 0 1 1 0
Figura 2-5 . XOR de tres entradas.
1 0 0 1
1 0 1 0
X
1 1 0 0
A L 1 1 1 1
B
Y
Figura 2-6 . Circuito equivalente a una puerta XOR.
2.7. Puerta NOR exclusiva.

Es la negacin de la puerta OR exclusiva (puerta OR seguida de un INVERSOR).
A B C Smbolo
X
0 0 1
0 1 0 A C A C
1 0 0 B B
1 1 1
Y
A Figura 2-7 . Circuito equivalente a una NOR

C
B exclusiva.
3. Algebra de Boole.
Proporciona una notacin para describir funciones lgicas y define un nmero de
operaciones que se pueden realizar con el fin de simplificarlas.
El lgebra de Boole define variables, constantes y funciones para describir sistemas

binarios, y una serie de teoremas que permiten manipular expresiones lgicas.
Constantes booleanas: Se definen dos: 0 (estado FALSO) y 1 (VERDADERO).
Variables booleanas: Son magnitudes que pueden tomar diferentes valores en

diferentes momentos. Pueden representar seales de entrada o de salida y reciben
nombres de caracteres alfabticos como: A, B, X, Y. Slo pueden tomar los valores 0
o 1.
Funciones booleanas: Describen el comportamiento del sistema. Cada operacin

lgica (suma, multiplicacin, negacin, ...) posee una notacin en el lgebra
booleana, como se muestra en la Tabla 2-1.
Tabla 2-1. Funciones lgicas elementales.
Funcin Smbolo Notacin Tabla de verdad

A B C
A 0 0 0
AND C & C=AB 0 1 0
B 1 0 0
1 1 1
A B C
A 0 0 0
OR C 1 C=A+B 0 1 1
B
1 0 1
1 1 1
A B
NOT A B 1 B=A 0 1
1 0
NAND A B C
A 0 0 1
C & C = A B 0 1 1
B 1 0 1
1 1 0
NOR A B C
A 0 0 1
C 1 C = A +B 0 1 0
B
1 0 0
1 1 0
EXOR A B C
A
C C = A B + AB 0 0 0
B
=1 0 1 1
C = A B 1 0 1
1 1 0
A B C
A C = A B + A B
NOR 0 0 1
C
B =1 0 1 0
exclusiva 1 0 0
C = A B
1 1 1
En la Tabla 2-1 adems de los smbolos distintivos vistos con anterioridad se muestran
los smbolos rectangulares que con frecuencia se emplea en la documentacin industrial. En
estos smbolos el indicador de negacin en lugar de un crculo ( o ) es un tringulo ( ) que
indica inversin cuando se coloca a la entrada o en la salida de un elemento lgico.
Ejemplo 2-1. Extraccin de la expresin booleana de un circuito a partir de su tabla de verdad.
A B C C = ( AB) + (AB) = AB + AB
0 0 0
0 1 1
1 0 0
1 1 1
Esta expresin se ha extrado de la tabla tan slo mediante la descripcin de los estados
de A y B para cada lnea en la que C es 1 y unindolos mediante la funcin OR. Las funciones
booleanas que describen el comportamiento de un sistema binario las podemos expresar de
dos formas: en minterms o en maxterms.
a) Se genera un minterm por cada fila de la tabla de verdad donde la salida es 1.
1. El minterm contiene el producto de cada variable de entrada en orden. La entrada

est no negada si para esa combinacin es un 1 y negada si es un 0.
2. La expresin global para la funcin lgica es suma de los minterms.
b) Se genera un maxterm por cada fila de la tabla de verdad en la que la salida es 0.
1. El maxterm contiene la suma de cada variable de entrada en orden. La entrada est

no negada si es un 0 y negada si es un 1 (al contrario que en minterms).
2. La expresin global para la funcin lgica es producto de los maxterms.
Para el ejemplo anterior sera: C = (A + B)( A + B)
La funcin cannica es aquella en la que estn presentes en cada minterm o en cada

maxterm todas las variables de entrada, es decir, est sin simplificar.
Ejemplo 2-2. Obtencin de la expresin booleana de un circuito a partir del diagrama lgico.
El mtodo ms sencillo es escribir sobre el diagrama la salida de cada puerta lgica.
A A A B
C
C = A B + A B
B B A B
Ejemplo 2-3. Generacin de un diagrama lgico de un sistema a partir de su expresin booleana.
Considerar la expresin: C = AB + AB + ( A + B)
AB
A
La funcin tiene tres componentes
unidos por la funcin OR, por tanto, la salida
vendr de un puerta OR de tres entradas. Las AB
C
entradas de esta puerta sern los tres
componentes de la expresin: la 1 , A B
proviene de una puerta AND de dos entradas A
y B ; la 2 de una NAND de entradas A y B, y B A +B
la 3 de una puerta NOR de dos entradas.
3.1. Teoremas booleanos.

Hasta ahora se ha visto como generar expresiones booleanas para describir una funcin
especificada en una tabla de verdad o un diagrama lgico, pero estas expresiones no son
siempre las ms sencillas. El lgebra de Boole define varios teoremas para simplificar dichas
expresiones.
Ley conmutativa: AB = BA
A + B = B+A
Ley distributiva: A(B+C) = AB + AC

A + BC = (A+B) (A + C)
Ley asociativa: A(BC) = (AB)C

A+(B+C)=(A+B)+C
Ley de la absorcin A + AB= A

A(A+B)=A
Ley de DeMorgan A + B = AB
AB = A + B
A + AB = A + B
A( A + B) = AB
Operacin suma lgica (OR) el resultado es 1 si alguno de los sumandos es 1

1+A=1
0+A=A
A+A=A
A + A =1
Operacin producto lgico (AND) el resultado es 0 si alguno de los elementos es 0

1A=A
0A=0
AA=A
AA = 0
Operacin negacin (NOT) 0 =1

1= 0
A=A
4. Simplificacin de funciones.
4.1. Mediante la aplicacin de los teoremas.

Para simplificar una expresin algebraica se pueden aplicar los teoremas booleanos
vistos con anterioridad.
Ejemplo 2-4. D = BC + ABC + ABC + ABC , se puede reducir:
D =B C + A B C+ A B C+ A BC A
A AB
D
D = B C + A B C + B C ( A + A) D
B
D =BC+A BC+BC
D = A B C + C (B + B) C
D=AB+C
4.2. Homogeneizacin de una funcin con puertas NAND.

A menudo es ms sencillo y econmico a la hora de realizar un circuito emplear slo un
tipo de puerta lgica. En varias familias lgicas las puertas NAND son las ms simples, por lo
que resulta til poder construir circuitos usando slo stas.
Ejemplo 2-5. Homogeneizacin con puertas NAND de una expresin dada en forma de minterms:
D = A BC+ ABC+BC
A
En primer lugar hay que negar dos veces toda la
B
C expresin:
A
B D = A B C+ A B C + BC
C
Y aplicar el 1 teorema de DeMorgan:
B
C D = (A B C) (A B C) (B C)
A
A A
B
C
A
B B
B
C
C C B
C
Ejemplo 2-6. Homogeneizacin con puertas NAND de una expresin dada en forma de maxterms:
D = (A + B + C) ( A + B + C) (A + B + C)
Se niega dos veces cada elemento del producto y dos veces toda la expresin:
D = (A + B + C) ( A + B + C) (A + B + C)
Se aplica el 1 teorema de DeMorgan: D = ( A B C)( A B C)(A B C)
A
A A
B
C
B B A
B
C
A
C C B
C
4.3. Homogeneizacin de una funcin con puertas NOR.

En algunas familias lgicas las puertas NOR son las ms simples.
Ejemplo 2-7. Homogeneizacin con puertas NOR de una expresin dada en forma de minterms:
D = A BC+ ABC+BC
Se niega dos veces cada sumando y dos veces toda la funcin:
D = ( A B C) + (A B C) + (B C)
Se aplica el 2 teorema de DeMorgan: D = (A + B + C) + ( A + B + C) + (B + C)
A
A A B
C
B A
B
B
C
C C B
C
Ejemplo 2-8. Homogeneizacin con puertas NOR de una expresin dada en forma de maxterms:
D = (A + B + C) ( A + B + C) (A + B + C)
Se niega dos veces toda la funcin: D = (A + B + C) ( A + B + C) (A + B + C)
Se aplica el 2 teorema de DeMorgan: D = (A + B + C) + ( A + B + C) + (A + B + C)
A A A
B
C
B A
B
B
C
A
C C
B
C
4.4 Mapas de Karnaugh.

Es un mtodo grfico de representacin de la informacin que se encuentra en la tabla
de verdad. Permite simplificar una funcin booleana de manera sencilla. En un mapa de
Karnaugh cada combinacin posible de entradas est representada por una caja dentro de una
rejilla, y el valor correspondiente de la salida se escribe dentro de la caja. Las cajas estn
escritas de forma que al cambiar de una a otra slo vara una de las entradas. La secuencia
corresponde al cdigo Gray.
Mapa de Karnaugh de dos entradas
A B C C A
0 0 0 0 1
0 1 0
B 0 0 1
1 0 1
1 1 0 1 0 0
Mapa de Karnaugh de Mapa de Karnaugh de cuatro entradas

tres entradas
E AB
D AB 00 01 11 10
00 01 11 10 CD 00
0 01
C
1 11
10
Simplificacin del mapa de Karnaugh.

Se pueden agrupar dos trminos adyacentes porque por caractersticas del mapa de
Karnaugh sabemos que slo difieren en el estado de una entrada. Por tanto, cualquier par de
elementos adyacentes que contenga un 1 se pueden representar mediante una expresin
simplificada.
Los 1 adyacentes se suelen marcar con una lnea que los bordea.
Ejemplo 2-9. Simplificacin de una funcin a partir del mapa de Karnaugh.
F AB A partir del mapa de Karnaugh se puede extraer la

00 01 11 10 expresin algebraica de forma sencilla: F = ABCD + ABCD
00 0 0 0 0
Se aprecia fcilmente que la funcin F se puede
01 0 1 1 0 simplificar: F = BCD( A + A) = BCD
CD
11 0 0 0 0
10 0 0 0 0 Al simplificar se pierde el efecto de la variable que est
presente tanto en su forma negada ( ) como en su
forma normal (A). Es decir, cuando B=1, C=0 y D=1,
la salida ser verdadera independientemente del valor de
la variable A (A=1 o A=0).
Combinacin de pares adyacentes en el mapa de Karnaugh.
E AB E AB
00 01 11 10 00 01 11 10
00 0 1 1 0 CD 00 0 0 1 0 ABD
BCD
01 0 0 0 0 A CD 01 1 0 0 1 BCD
CD
11 1 1 0 1 11 0 0 0 0
ABC
10 0 0 0 1 10 1 0 1 1 BCD
La fila superior e inferior se consideran adyacentes, al igual que las columnas derecha e
izquierda.
Se puede simplificar tambin agrupando cuatro trminos adyacentes. Se pueden

combinar cuatro 1 siempre que representen todas las combinaciones de dos variables.
Ejemplo 2-10. Simplificacin de una funcin a partir del mapa de Karnaugh.
E AB Si se agrupan de dos en dos los 1 se tiene:

00 01 11 10 E = BCD + BCD
CD 00 0 0 0 0 Que se puede simplificar an ms:
01 0 1 1 0 E = BD(C + C) = BD
11 0 1 1 0
Como la salida es verdadera si B y D son
10 0 0 0 0 verdaderas sin importar el estado de A y de C, estas
dos ltimas entradas se pueden eliminar de la
expresin.
Combinaciones de cuatro elementos en el mapa de Karnaugh.
E AB E AB
00 01 11 10 00 01 11 10
00 1 1 1 1 CD CD 00 1 0 1 1 BD
01 0 1 1 0 01 0 0 1 0 AB
CD BD
11 0 1 1 0 11 0 0 1 0
10 0 0 0 0 10 1 0 1 1
La simplificacin tambin se puede realizar agrupando ocho trminos adyacentes. En

m
general los grupos pueden ser de 2 elementos, donde m =1,2, n (n = nmero de variables
de entrada).
E AB E AB
00 01 11 10 00 01 11 10
00 0 0 0 0 00 1 0 0 1
01 1 1 1 1 01 1 0 0 1 B
CD D
CD
11 1 1 1 1 11 1 0 0 1
10 0 0 0 0 10 1 0 0 1
Para realizar las agrupaciones se siguen las siguientes reglas:
1. Primero se construirn los grupos de celdas ms grandes posibles.

2. Agregar grupos ms pequeos, hasta que cada celda que contenga un 1 se haya
incluido al menos una vez.
3. Eliminar los grupos redundantes, an cuando se trate de grupos grandes.
Los mapas de Karnaugh tambin se pueden emplear para simplificar expresiones con
ms de cuatro variables de entrada, pero el mtodo se complica. Por lo general para muchas
entradas se emplean tcnicas de ordenador automatizadas, como el mtodo desarrollado por
McCluskey.
Condiciones irrelevantes.
Cuando el estado de una variable de salida no est definido, es decir, puede ser 0 o 1,
se representar con una X y podremos elegir su valor para simplificar al mximo la funcin de
salida.
Ejemplo 2-11. Consideremos la funcin : D = A B C + A B C + A B C + A B C + A B C
Se puede representar por: D = B + A C
D AB
00 01 11 10
0 0 1 1 0
C
1 0 1 1 1
5.- Sistemas combinacionales. Funciones lgicas bsicas.

Las puertas bsicas pueden combinarse para formar circuitos lgicos ms complejos que
realicen muchas operaciones tiles. Algunas de las funciones lgicas combinacionales ms
comunes son: comparacin, aritmtica, conversin de cdigos, codificacin, decodificacin y
seleccin de datos.
5.1. Comparador binario.

La comparacin de magnitudes se realiza mediante un circuito lgico denominado
comparador. Un nmero en formato binario se introduce en la entrada A y otro en la entrada
B. Las salidas M, I, m, indican la relacin entre los dos nmeros, produciendo un nivel alto en la
lnea de salida correspondiente, es decir, M =1 si A>B, I =1 si A=B y m =1 si AB 1 1 0 1 0
A m
=
= + = B
I
A (A1, A0) m
A1 = B1 A0 > B0
I I (A = B) A1 = B1 y A0 = B0
B (B1 ,B0)
M A1 < B1
m (A < B)
A1 = B1 A0 < B0
A1 m m
1
I
B1
M AB
A0
I AB
B0
M
Comparador de nmeros de cuatro bits. AB

A partir de comparadores de nmeros de dos bits se A2
AB
5.2. Funciones aritmticas. Suma.

Los sumadores son muy importantes no slo en los ordenadores, sino en muchos tipos
de sistemas digitales.
Semi-sumador binario.
Recordemos las reglas bsicas de la adicin binaria: 0+0=0
0+1=1
1+0=1
1 + 1 = 10
La funcin del semi-sumador es sumar dos nmeros binarios que se aplican a las
entradas A y B y generar la suma y un acarreo de salida Cout.
A B Cout S A
A Cout AB
0 0 0 0
Cout
B 0 1 0 1
S
1 0 0 1
1 1 1 0 AB
B S
C out = AB
S = AB + AB = A B
Sumador completo.
A diferencia del anterior, un sumador completo tiene tres entradas porque incluye una
entrada de acarreo Cin.
A B Cin Cout S
A Cout 0 0 0 0 0 C out = A B + A C in + B C in
B 0 0 1 0 1
S = A B C in + A B C in + AB C in + A B C in
Cin S 0 1 0 0 1
0 1 1 1 0 S = ( A B) C in
1 0 0 0 1
1 0 1 1 0
AB
1 1 0 1 0
A
1 1 1 1 1
B
S = ( A B) C in
Cin
(A B)Cin
Cout =AB + (A B) Cin
AB
Sumador completo a partir de semi-sumadores.
A S A S S
B Cout B Cout
Cin
Cout
Sumador de nmeros de ms de un 1 bit. Sumadores binarios en paralelo.

Para implementar la suma de nmeros binarios se requieren tantos sumadores
completos como bits tengan los nmeros que se quieren sumar. La salida de acarreo de cada
sumador se coloca a la entrada de acarreo del sumador de orden inmediatamente superior
CO S3 S2 S1 S0
CO S CO S CO S CO S
Sumador Sumador Sumador Sumador

completo completo completo completo
Ci Ci Ci Ci 0
A3 B3 A2 B2 A1 B1 A0 B0
(MSB) (MSB) (LSB) (LSB)
5.3. Funcin de conversin de cdigo.

Un cdigo es un conjunto de bits ordenados de acuerdo a un modelo que se emplean
para representar informacin. Un convertidor de cdigo cambia el formato de una informacin
codificada a otro formato de cdigo.
5.3.1. Funcin de codificacin.

Se implementa mediante un circuito denominado codificador, que convierte la
informacin, como por ejemplo un nmero decimal, en algn tipo de cdigo, como el cdigo
binario o BCD.
Codificador decimal BCD.

Este tipo de codificador posee diez entradas, una para cada dgito decimal, y cuatro
salidas que corresponden al cdigo BCD de la entrada activa. Este es un codificador bsico de
10 lneas a 4 lneas.
Entrada Cdigo BCD
E0 decimal A3 A2 A1 A0
E1 A0 (20)
E2 0 (E0) 0 0 0 0
E3 Decimal A1 (21) 1 (E1) 0 0 0 1
. BCD A2 (2 )2
2 (E2) 0 0 1 0
.
3 3 (E3) 0 0 1 1
E9 A3 (2 )
4 (E4) 0 1 0 0
5 (E5) 0 1 0 1
1 A0
6 (E6) 0 1 1 0
2
7 (E7) 0 1 1 1
3 8 (E8) 1 0 0 0
A1
9 (E9) 1 0 0 1
4
5 A2 A 0 = E1 + E3 + E5 + E7 + E9
6 A1 = E 2 + E3 + E6 + E7
7
8
A 2 = E 4 + E5 + E 6 + E 7
A3
9 A 3 = E8 + E9
El funcionamiento bsico del circuito es el siguiente: cuando aparece un nivel alto 1 en

una de las lneas de entrada correspondientes a los dgitos decimales, se generan los niveles
apropiados en las cuatro lneas BCD de salida. Por ejemplo, si la lnea de entrada 9 est a nivel
alto (suponiendo que todas las dems estn a nivel bajo), esta condicin producir el cdigo
BCD 1001, es decir, A0 y A3 a nivel alto y A1 y A2 a nivel bajo.
Codificador con prioridad decimal BCD.

Realiza la misma funcin codificadora y adems puede emplearse para detectar
prioridad. La funcin de prioridad significa que cuando hay varias entradas decimales activas el
codificador producir la salida BCD correspondiente al dgito decimal de entrada de ms alto
orden que se encuentre activo, e ignorar cualquier otra entrada activa. Por ejemplo, si se
encuentran activas las entradas 6 y 3, la salida BCD ser 0110 (que representa al nmero
decimal 6).
5.3.2. Funcin de decodificacin.

Se implementa mediante un circuito denominado decodificador que convierte la
informacin codificada, como puede ser un nmero binario, en otra informacin no codificada,
como lo es un nmero decimal.
Decodificador binario- decimal.

Genera una salida para cada combinacin de entradas. Para poder decodificar todas las
n
posibles combinaciones de las entradas son necesarias 2 salidas, siendo n el nmero de
entradas. Por ejemplo un decodificador de 2 bits, denominado comnmente decodificador de 2
lneas a 4 lneas, tendr 4 salidas.
A1 (21) S0 Dgito binario Salida decimal

S1 S0
A1 A0 S0 S1 S2 S3 A
0
A0 (2 ) S2
S3 0 0 1 0 0 0
S1
0 1 0 1 0 0
S0 = A1 A 0 1 0 0 0 1 0 B
S1 = A 1 A 0 1 1 0 0 0 1 S2
S 2 = A1 A 0
S3 = A1 A 0 S3
Cdigo BCD
Decodificador BCD-decimal. Salida decimal
A3 A2 A1 A0
0 0 0 0 0 (S0)
Convierte cdigo BCD en uno de los diez posibles
0 0 0 1 1 (S1)
dgitos decimales. Frecuentemente se le denomina
0 0 1 0 2 (S2)
decodificador de 4 lneas a 10 lneas.
0 0 1 1 3 (S3)
0 1 0 0 4 (S4)
0 1 0 1 5 (S5)
0 1 1 0 6 (S6)
0 1 1 1 7 (S7)
1 0 0 0 8 (S8)
1 0 0 1 9 (S9)
Decodificador BCD-7 segmentos.

Este tipo de decodificador acepta cdigo BCD en sus entradas y proporciona salidas
capaces de excitar un display de 7 segmentos para indicar un dgito decimal. Por ejemplo para
generar un 1, se excitan los segmentos b y c.
A3A2 A3A2
N A3 A2 A1 A0 a b c d e f g 00 01 11 10 00 01 11 10
0 0 0 0 0 1 1 1 1 1 1 0 00 1 0 X 1 00 1 1 X 1
1 0 0 0 1 0 1 1 0 0 0 0 01 0 1 X 1 01 1 0 X 1
A1A0
2 0 0 1 0 1 1 0 1 1 0 1 11 1 1 X X 11 1 1 X X
3 0 0 1 1 1 1 1 1 0 0 1 10 1 1 X X 10 1 0 X X
4 0 1 0 0 0 1 1 0 0 1 1
5 0 1 0 1 1 0 1 1 0 1 1 a = A1 + A 3 + A 0 A 2 + A 0 A 2 b = A 2 + A1A 0 + A1 A 0
6 0 1 1 0 1 0 1 1 1 1 1
7 0 1 1 1 1 1 1 0 0 0 0
8 1 0 0 0 1 1 1 1 1 1 1 A3A2 A3A2
9 1 0 0 1 1 1 1 0 0 1 1 00 01 11 10 00 01 11 10
10 1 0 1 0 X X X X X X X 00 1 1 X 1 00 1 0 X 1
11 1 0 1 1 X X X X X X X 01 1 1 X 1 01 0 1 X 0
A1A0
12 1 1 0 0 X X X X X X X 11 1 1 X X 11 1 0 X X
13 1 1 0 1 X X X X X X X 10 0 1 X X 10 1 1 X X
14 1 1 1 0 X X X X X X X
c = A 2 + A 0 + A1 d = A1 A 0 + A1 A 2 + A 0 A 2 + A 0 A1A 2
15 1 1 1 1 X X X X X X X
A3A2 A3A2 A3A2

00 01 11 10 00 01 11 10 00 01 11 10
00 1 0 X 1 00 1 1 X 1 00 0 1 X 1 g = A 3 + A1 A 0 + A1 A 2 + A1A 2
01 0 0 X 0 01 0 1 X 1 01 0 1 X 1
A1A0 A1A0 A1A0
11 0 0 X X 11 0 0 X X 11 1 0 X X
10 1 1 X X 10 0 1 X X 10 1 1 X X
f = A 2 A 0 + A1 A 0 + A 3 + A 2 A1
a
e = A 2 A 0 + A1 A 0
g
A0 f f b
A1 e
A2 d
A3 c g
b
a
e c
Display de LEDs
Un tipo comn de display de 7 segmentos es el de d
diodos emisores de luz (light-emitting diode, LED). Cada
segmento es un LED que emite luz cuando lo atraviesa
una corriente elctrica. Hay dos configuraciones +V
posibles:
a a
nodo comn. El segmento se encender

cuando se le aplique un nivel bajo 0.
f f
b b
Ctodo comn. El segmento se encender
g g
cuando se le aplique un nivel alto 1.
e e
c c
d d
a) nodo comn b) Ctodo comn
Figura 2-7 . Display de 7 segmentos.

5.4.- Funcin de seleccin de datos.

Existen dos tipos de circuitos dedicados a la seleccin de datos: el multiplexor y el
demultiplexor. Se emplean cuando se tiene que transmitir datos de distintas fuentes a travs de
una lnea hasta una localizacin distante, y deben redistribuirse en destino.
A D
Multiplexor Demultiplexor
B E
C F
5.4.1.- Multiplexor.
Un multiplexor es un circuito que transmite los datos digitales procedentes de varias
lneas de entrada a una nica lnea de salida segn una secuencia especfica. Funcionalmente,
se puede representar mediante una operacin de conmutacin electrnica, que
secuencialmente conecta cada una de las lneas de entrada a la lnea de salida.
Son sistemas digitales de varias entradas y una salida, en los que la salida es igual a
una de las entradas dependiendo de la combinacin de las lneas de control. Para un
n
multiplexor de n lneas de control Ci , el nmero de entradas ser 2 .
E0 C1 C0 S
E1 0 0 E0
E2 S 0 1 E1
E3 1 0 E2
1 1 E3
Lneas de control C0 C1
S = C0 C1 E0 + C0 C1 E1 + C0 C1 E2 + C0 C1 E3
5.4.2.- Demultiplexor.
Un demultiplexor es un circuito que transmite los datos digitales procedentes de una
lnea de entrada a varias lneas de salida segn una determinada secuencia. Esencialmente,
es un multiplexor invertido.
Entrada S0 S0 = E C0 C1
S0 S1 = E C0 C1
S1 S1
E S2 = E C0 C1
S2
S3 S3 = E C0 C1
C0
S2
Lneas de control C0 C1
C1
S3
Fundamentos de los Computadores. lgebra de Boole. T3-1
TEMA 3. lgebra de Boole

INDICE:
EL LGEBRA DE BOOBLE
TEOREMAS DEL LGEBRA DE BOOLE
REPRESENTACIN DE FUNCIONES LGICAS
o TABLA DE VERDAD
o FORMAS CANNICAS
o CONVERSIN DE UNA FORMAS A OTRAS
FUNCIONES BASICAS.
IMPLEMENTACIN MEDIANTE CONJUNTOS

COMPLETOS
Boole (1815-1864)
EL LGEBRA DE BOOBLE
UN LGEBRA DE BOOLE ES UN SISTEMA DE ELEMENTOS B={0,1} Y

LOS OPERADORES BINARIOS () y (+) y () DEFINIDOS DE LA
SIGUIENTE FORMA
A B A+B AB A A
0 0 0 0 0 1
0 1 1 0 1 0
1 0 1 0
1 1 1 1
OPERADOR + OPERADOR OR
OPERADOR OPERADOR AND
OPERADOR OPERADOR NOT
QUE CUMPLEN LAS SIGUIENTES PROPIEDADES:

1.- PROPIEDAD CONMUTATIVA:
A+B=B+A
AB=BA
2. PROPIEDAD DISTRIBUTIVA:
A(B+C) = AB + AC
A + BC = (A+B)(A+C)
3. ELEMENTOS NEUTROS DIFERENTES
A+0=A
A1=A
4. SIEMPRE EXISTE EL COMPLEMENTO DE A, DENOMINADO A
A + A = 1
A A = 0
PRINCIPIO DE DUALIDAD: cualquier teorema o identidad algebraica

deducible de los postulados anteriores puede transformarse en un segundo
teorema o identidad vlida sin mas que intercambiar (+) por () y 1 por 0.
CONSTANTE: cualquier elemento del conjunto B
VARIABLE: smbolo que representa un elemento arbitrario del lgebra, ya
sea constante o frmula completa.
TEOREMAS DEL LGEBRA DE BOOLE
TEOREMA 1: el elemento complemento A es nico.
TEOREMA 2 (ELEMENTOS NULOS): para cada elemento de B se verifica:
A+1 = 1
A0 = 0
TEOREMA 3: cada elemento identidad es el complemento del otro.

0=1
1=0
TEOREMA 4 (IDEMPOTENCIA): para cada elemento de B, se verifica:

A+A=A
AA=A
TEOREMA 5 (INVOLUCIN): para cada elemento de B, se verifica:

(A) = A
TEOREMA 6 (ABSORCIN): para cada par de elementos de B, se verifica:

A+AB=A
A(A+B)=A
TEOREMA 7: para cada par de elementos de B, se verifica:

A + AB = A + B
A (A + B) = A B
TEOREMA 8 (ASOCIATIVIDAD): cada uno de los operadores binarios (+) y

() cumple la propiedad asociativa:
A+(B+C) = (A+B)+C
A(BC) = (AB)C
LEYES DE DEMORGAN: para cada par de elementos de B, se verifica:

(A+B) = AB
(AB) = A + B
REPRESENTACIN DE FUNCIONES LGICAS (I)

TABLA DE VERDAD
Tabla que representa el valor de la funcin para cada combinacin de entrada. Si

la funcin est definida para todas las combinaciones se llama completa, si no,
se denomina incompleta. Para 4 variables:
X3 X2 X1 X0 F(X3, X2, X1,X0)

(0) 0 0 0 0 F(0,0,0,0)
(1) 0 0 0 1 F(0,0,0,1)
(2) 0 0 1 0 F(0,0,1,0)
(3) 0 0 1 1 F(0,0,1,1)
(4) 0 1 0 0 F(0,1,0,0)
(5) 0 1 0 1 F(0,1,0,1)
(6) 0 1 1 0 F(0,1,1,0)
(7) 0 1 1 1 F(0,1,1,1)
(8) 1 0 0 0 F(1,0,0,0)
(9) 1 0 0 1 F(1,0,0,1)
(10) 1 0 1 0 F(1,0,1,0)
(11) 1 0 1 1 F(1,0,1,1)
(12) 1 1 0 0 F(1,1,0,0)
(13) 1 1 0 1 F(1,1,0,1)
(14) 1 1 1 0 F(1,1,1,0)
(15) 1 1 1 1 F(1,1,1,1)
Una Frmulas de conmutacin es la expresin de una funcin Lgica.

Un LITERAL es una variable (A) o complemento de una variable (A)
Un TRMINO PRODUCTO es una operacin AND de un nmero de
literales.
Una frmula normal disyuntiva es una suma de trminos productos.
Un TRMINO SUMA es una operacin OR de un nmero de literales.
Una frmula normal conjuntiva es un producto de trminos sumas.
REPRESENTACIN DE FUNCIONES LGICAS (II)

FRMULA CANNICA DISYUNTIVA (SOP)
MINTRMINO (mi): trmino producto en el que aparecen todas las

variables, ya sean complementadas o sin complementar.
FRMULA CANNICA DISYUNTIVA O DE MINTRMINOS: suma
de mintrminos. (Suma de Productos)
Dada la lista completa de mintrminos y asignando 1s y 0s
arbitrariamente a las variables, siempre hay un, y slo un, mintrmino que
toma el valor 1.
Un mintrmino es un trmino producto que es 1 exactamente en una lnea
de la tabla de Verdad.
La frmula compuesta por todos los mintrminos ser idnticamente 1.
Cada frmula de conmutacin puede expresarse como suma de
mintrminos. Y esa frmula es nica.
NOTACIN: Un mintrmino se designa por mi siendo i el nmero
decimal correspondiente de la tabla de verdad. Para el producto, el 0 se
asocia a la variable complementada y el 1 a la variable sin complementar.
EJEMPLO:
C B A F(C,B,A)
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1
F(C,B,A) = m0 + m2 + m3 +m7 = m(0,2,3,7)

F(C,B,A) = CBA + CBA + CBA + CBA
O bien
F(C,B,A) = CBA + CBA + CBA + CBA
REPRESENTACIN DE FUNCIONES LGICAS (III)

FRMULA CANNICA CONJUNTIVA (POS)
MAXTRMINO (Mi): trmino suma en el que aparecen todas las variables,

ya sean complementadas o sin complementar.
Frmula Cannica Conjuntiva o de Maxtrminos: producto de
maxtrminos. (Producto de sumas)
Dada la lista completa de maxtrminos y asignando 1s y 0s
arbitrariamente a las variables, siempre hay un y slo un maxtrmino que
toma el valor 0.
Un maxtrmino es un trmino suma que es 0 exactamente en una lnea de
la tabla de verdad.
La frmula compuesta por todos los maxtrminos ser idnticamente 0.
Cada frmula puede expresarse como producto de maxtrminos. Y es
nica.
NOTACIN: Un maxtrmino se designa por Mi siendo i el nmero
decimal correspondiente de la tabla de verdad. En la suma, el 1 se asocia a
la variable complementada y el 0 a la variable sin complementar.
EJEMPLO:
C B A F(C,B,A)
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1
F(C,B,A) = M1 M4 M5 M6 = M(1,4,5,6)
F(C,B,A) = (C+B+A) (C+B+A) (C+B+A) (C+B+A)
O bien
F(C,B,A) = (C+B+A) (C+B+A) (C+B+A) (C+B+A)
REPRESENTACIN DE FUNCIONES LGICAS (IV)

CONVERSIN Y MANIPULACIN DE FRMULAS
El complemento de una frmula de mintrminos est formado por la suma de

los mintrminos que no aparecen.
El complemento de una frmula de maxtrminos est formado por el
producto de los maxtrminos que no aparecen.
mi = Mi
Mi = mi
La transformacin de una frmula de mintrminos (disyuntiva) en otra de
maxtrminos (conjuntiva) se basa en la doble complementacin,
(F) = F
***
Para FUNCIONES INCOMPLETAS en la tabla de verdad aparecer una X o
una letra d (del ingls dont care) refirindose a trminos sin especificar.
C B A F(C,B,A)
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 X
1 0 0 0
1 0 1 X
1 1 0 0
1 1 1 1
F(C,B,A) = m(0,2,7) + (3,5)
F(C,B,A) = M(1,4,6) (3,5)

Complemento de una funcin incompleta: otra funcin incompleta con los
mismos trminos no importa y el complemento de la funcin completa.
Las frmulas de mintrminos y de maxtrminos de las funciones incompletas no
son nicas.
FUNCIONES BSICAS (I)
FUNCIN OR, PUERTA OR:

Tabla de Verdad Smbolo
A B A+B
0 0 0 A F=A+B
0 1 1 B
1 0 1
1 1 1
FUNCIN AND, PUERTA AND:

A B AB
0 0 0 A F=AB
0 1 0 B
1 0 0
1 1 1
FUNCIN NOT, INVERSOR:

A A
0 1 A F = A
1 0
Con estos tres tipos de puertas puede realizarse cualquier funcin de

conmutacin.
Un CONJUNTO DE PUERTAS COMPLETO es aquel con el que se puede
implementar cualquier funcin lgica.
Puerta AND, puerta OR e INVERSOR
Puerta AND e INVERSOR
Puerta OR e INVERSOR
FUNCIONES BSICAS (II)
FUNCIN NOR, PUERTA NOR: Es tambin un conjunto completo

A B (A+B)
0 0 1 A F = (A + B)
0 1 0 B F = A B
1 0 0
1 1 0
FUNCIN NAND, PUERTA NAND: Es tambin un conjunto completo

A B (AB)
0 0 1 A F = (A B)
0 1 1 B F = A + B
1 0 1
1 1 0
FUNCIN XOR, PUERTA XOR: Es tambin un conjunto completo

A B (AB)
0 0 0 A
F = (A B)
0 1 1 B F = AB + AB
1 0 1
1 1 0
FUNCIN XNOR, PUERTA XNOR: Es tambin un conjunto completo

A B (AB)
0 0 1 A
F = (A B)
0 1 0 B F = AB + AB
1 0 0
1 1 1
IMPLEMENTACIN DE FUNCIONES BOOLEANAS

MEDIANTE CONJUNTOS COMPLETOS (I)
NOT-AND-OR (preferentemente con SUMA de PRODUCTOS)

Ejemplo 1: F(A,B,C) = AC + BC + BC
A AC
B BC
B AC + BC + BC
C BC
C
NOT-OR-AND (preferentemente con PRODUCTO de SUMAS)

Ejemplo 2: F(A,B,C) = (A+C) (B+C) (B+C)
A A+C
B B+C (A+C) (B+C) (B+C)

B
C B+C
C
IMPLEMENTACIN DE FUNCIONES BOOLEANAS

MEDIANTE CONJUNTOS COMPLETOS (II)
NAND-NAND (preferentemente con SUMA de PRODUCTOS)

Buscamos grupos de variables con la forma de salida de una puerta NAND.
Ejemplo 1: F(A,B,C) = AC + BC + BC
Negamos 2 veces F(A,B,C) = AC + BC + BC
Aplicamos DeMorgan F(A,B,C) = AC BC BC
A AC
B BC AC + BC + BC
B
C BC
C
NOR-NOR (preferentemente con PRODUCTO de SUMAS)

Buscamos grupos de variables con la forma de salida de una puerta NOR.
Ejemplo 2: F(A,B,C) = (A+C) (B+C) (B+C)
Negamos 2 veces F(A,B,C) = (A+C) (B+C) (B+C)
Aplicamos DeMorgan F(A,B,C) = (A+C) + (B+C) + (B+C)
A A+C
B B+C (A+C) (B+C) (B+C)

B
C B+C
C
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
A+B=B+A 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.
A B
AB = BA B
AB
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 A+B
A+(B+C) B
A + (B + C) = (A + B) + C B
B+C (A+B)+C
C 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
A(BC) B AB
A(BC) = (AB)C B
BC (AB)C
C 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:
A
AB
B B
B+ C
C X
X A
A AC
C
X = A(B + C) 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.
1. A + 0 = A 7. A . A = A
2. A + 1 = 1 8. A . A = 0
=
3. A . 0 = 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
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 B 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
A
A 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 A
AB A+B Inputs Output
B B
A B AB A + B
NAND Negative-OR 0 0 1 1
0 1 1 1
1 0 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 Inputs Output
A+B AB
B B
A B A + B AB
NOR Negative-AND 0 0 1 1
0 1 0 0
1 0 0 0
1 1 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 (A + B )
C (A + B )
B
C X = C (A + B ) + D
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
Entradas Salidas
booleana de un circuito lgico, puede
elaborarse una tabla de verdad que A B C D ABC+D
represente la salida del circuito 0 0 0 0 0
0 0 0 1 1
lgico para todos los posibles valores 0 0 1 0 1
de las variables de entrada. 0 0 1 1 1
0 1 0 0 0
Para la expresin booleana obtenida 0 1 0 1 1
0 1 1 0 0
en el ejemplo de la diapositiva 0 1 1 1 1
anterior, se tiene: 1 0 0 0 0
1 0 0 1 1
X = C (A B) + D = A B C + D 1 0 1 0 0
1 0 1 1 1
1 1 0 0 0
1 1 0 1 1
1 1 1 0 0
1 1 1 1 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
ABC C DE BC D DOMINIO: A, B, C, D, E
La suma de productos puede ser implementada mediante una combinacin

de puertas AND/OR o puertas NAND/NAND.
A A
AB
B B AB
X=AB+AC X=AB+AC
A A AC
AC
C C
AND/OR 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
A+B
B
X=(A+B)(A+C)
A
A+C
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 Salida
A B C X
Ejercicio: A partir de la tabla de verdad de 0 0 0 0
la derecha, determine la expresin suma de 0 0 1 0
productos y la expresin producto de sumas 0 1 0 0
0 1 1 1
estndar equivalente. 1 0 0 1
1 0 1 0
1 1 0 1
1 1 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 MINTERMS NOTACIN MAXTERMS NOTACIN
0 0 0 XYZ m0 X Y Z M0
0 0 1 X YZ m1 X Y Z M1
0 1 0 XY Z m2 X Y Z M2
0 1 1 X YZ m3 X Y Z M3
1 0 0 XYZ m4 X Y Z M4
1 0 1 X YZ m5 X Y Z M5
1 1 0 XY Z m6 X Y Z M6
1 1 1 XYZ m7 X Y Z 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 ABC ABC
un posible trmino producto.
ABC ABC
Cada celda difiere de una celda adyacente por
solo una variable.
ABC ABC
ABC ABC
Las celdas son usualmente etiquetadas usando 0s y 1s para representar
la variable y su complemento.
C
AB 0 1
Los nmeros se ingresan en cdigo gray,
00 para forzar que las celdas adyacentes
difieran por slo una variable.
01
Cod.
Gray 11 Los unos se leen como la variable real y
los ceros se leen como la variable
10 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.
CC CC
Leer los trminos para las
celdas amarillas. AB
AB ABC ABC
AB
AB ABC
ABC ABC
AB
AB ABC ABC
Las celdas son ABC y ABC
AB
AB ABC 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 CD CD CD Fsicamente, cada celda es adyacente a las

celdas que estn situadas inmediatas a ella por
AB cualquiera de sus cuatro lados.
AB Una celda no es adyacente a aquellas celdas

que tocan diagonalmente alguna de las
AB esquinas.
AB
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

000 001 110 100
C 0 1
AB
00 1 1
01
11 1
10 1
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 C 0 1
estndar. Si una expresin no lo est, debera pasarse AB
00 1 1
a su forma estndar mediante el procedimiento ya
descrito algunas diapositivas atrs.
01 1 1
Otra manera ms rpida es mediante el mtodo del
desarrollo numrico de los trminos que no incluyen 11 1
todas las variables del dominio.
10 1 1
A AB ABC
000 100 110
001 101
010
011
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 0 1
AB
00 1
01 1
11 1 1
10
Ejercicios: Agrupar los 1s en cada uno de los siguientes mapas de Karnaugh.

C CD CD
0 1 00 01 11 10 00 01 11 10
AB AB AB
00 1 1 00 1 1 00 1 1
01 1 01 1 1 1 1 01 1 1 1
11 11 11 1 1 1
1
10 10 1 1 10 1 1 1
1 1
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 01 11 10
AB
00 1 1 1
AC
01 1 1 1 1
11 1 1 1 1 B
10 1 1 ACD
B AC ACD
Ejercicios. Determinar los productos para cada uno de los mapas de Karnaugh
siguientes y escribir la expresin suma de productos mnima resultante:
ABC BC AC
C CD
0 1 00 01 11 10
AB AB
00 1 00 1 1
B D
01 1 01 1 1 1 1 AB
11 CD
11 1 1 C 0 1 AB
00 01 11 10
AB
10 1 1 10 1 1 00 1 1
00
01 1 1 1
01 1 AC
11 1 1 1
AB 11 1 AC ABD 10 1 1 1
10 1 1
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.
C 0 1
AB
00 1 1. Agrupar 1s en dos grupos
B cambia solapados como se indica.
al cruzar 01 1 1
2. Leer cada grupo eliminando
esta
frontera 11
cualquier variable que cambie al
cruzar una frontera.
10 C cambia 3. El grupo vertical se lee AC.
al cruzar 4. El grupo horizontal se lee AB.
esta
frontera 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
AB
00 01 11 10 1. Agrupar los 1s en dos grupos
00 1 1 separados como se indica.
B cambia 2. Leer cada grupo eliminando
01 1 1 cualquier variable que cambie al
11 cruzar la frontera.
1 1
B cambia 3. El grupo superior (amarillo) se
10 1 1 lee como AD.
4. El grupo inferior (verde) se lee
C cambia
como AD.
X
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 Salida
A B C X C
AB
0 1
0 0 0 1 00 1
0 0 1 0
01
0 1 0 0
0 1 1 0 11 1 1
1 0 0 1 10 1
1 0 1 0
1 1 0 1
1 1 1 1
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
Entradas Salidas
Ejemplo: Encontrar la expresin SOP
A B C D Y
mnima con y sin condiciones indiferentes
0 0 0 0 0
para la tabla de verdad siguiente: 0 0 0 1 0
0 0 1 0 0
CD 0 0 1 1 0
00 01 11 10 0 1 0 0 0
AB
Sin 0 1 0 1 0
00 1 1
condiciones 0 1 1 0 0
indiferentes 0 1 1 1 1
01 1 1 1 1 0 0 0 1
1 0 0 1 1
11 X 1
X 1X X 1 0 1 0 X
Con 1 0 1 1 X
condiciones 1 1 0 0 X
10 1 1 1X X indiferentes 1 1 0 1 X
1 1 1 0 X
1 1 1 1 X
Sin condiciones indiferentes Y ABC ABCD

Con condiciones indiferentes Y A BCD
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.

Digitales Clases 2018

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Digitales Clases 2018

Hochgeladen von

Copyright:

Verfügbare Formate

T-2 lgebra de Boole.

En este tema se aborda el estudio de dichas puertas lgicas, el lgebra de conmutacin

1. Estados lgicos y funcin lgica.

Para representar estos dos estados se usan los smbolos 0 y 1. Generalmente, el 1 se

En el circuito de la Figura 2-1 se representa el estado del conmutador con la variable S y

Tabla de verdad S L 1 cerrado

2. Puertas lgicas elementales.

2.1. Puerta AND.

La relacin entre las posiciones de los conmutadores y el estado de la lmpara se

La relacin es la siguiente: la lmpara se enciende slo si el conmutador A Y el

Las puertas AND pueden tener ms de dos A

2.2. Puerta OR.

2.3. Puerta NOT.

La operacin lgica se conoce como negacin y se escribe: L = A (negado de A).

El indicador de negacin es un crculo ( o ) que indica inversin o complementacin

2.4. Puerta NAND.

2.5 Puerta NOR.

2.6. Puerta OR exclusiva (XOR).

El circuito equivalente de la Figura 2-6 se deriva de considerar el funcionamiento de al

Figura 2-6 . Circuito equivalente a una puerta XOR.

2.7. Puerta NOR exclusiva.

A Figura 2-7 . Circuito equivalente a una NOR

El lgebra de Boole define variables, constantes y funciones para describir sistemas

Constantes booleanas: Se definen dos: 0 (estado FALSO) y 1 (VERDADERO).

Variables booleanas: Son magnitudes que pueden tomar diferentes valores en

Funciones booleanas: Describen el comportamiento del sistema. Cada operacin

Tabla 2-1. Funciones lgicas elementales.

Funcin Smbolo Notacin Tabla de verdad

Ejemplo 2-1. Extraccin de la expresin booleana de un circuito a partir de su tabla de verdad.

a) Se genera un minterm por cada fila de la tabla de verdad donde la salida es 1.

1. El minterm contiene el producto de cada variable de entrada en orden. La entrada

2. La expresin global para la funcin lgica es suma de los minterms.

b) Se genera un maxterm por cada fila de la tabla de verdad en la que la salida es 0.

1. El maxterm contiene la suma de cada variable de entrada en orden. La entrada est

2. La expresin global para la funcin lgica es producto de los maxterms.

Para el ejemplo anterior sera: C = (A + B)( A + B)

La funcin cannica es aquella en la que estn presentes en cada minterm o en cada

El mtodo ms sencillo es escribir sobre el diagrama la salida de cada puerta lgica.

Ejemplo 2-3. Generacin de un diagrama lgico de un sistema a partir de su expresin booleana.

3.1. Teoremas booleanos.

Ley distributiva: A(B+C) = AB + AC

Ley asociativa: A(BC) = (AB)C

Ley de la absorcin A + AB= A

Operacin suma lgica (OR) el resultado es 1 si alguno de los sumandos es 1

Operacin producto lgico (AND) el resultado es 0 si alguno de los elementos es 0

Operacin negacin (NOT) 0 =1

4.1. Mediante la aplicacin de los teoremas.

Ejemplo 2-4. D = BC + ABC + ABC + ABC , se puede reducir:

4.2. Homogeneizacin de una funcin con puertas NAND.

Se aplica el 1 teorema de DeMorgan: D = ( A B C)( A B C)(A B C)

4.3. Homogeneizacin de una funcin con puertas NOR.

Se niega dos veces cada sumando y dos veces toda la funcin:

Se aplica el 2 teorema de DeMorgan: D = (A + B + C) + ( A + B + C) + (B + C)

Se niega dos veces toda la funcin: D = (A + B + C) ( A + B + C) (A + B + C)

Se aplica el 2 teorema de DeMorgan: D = (A + B + C) + ( A + B + C) + (A + B + C)

4.4 Mapas de Karnaugh.

Mapa de Karnaugh de dos entradas

Mapa de Karnaugh de Mapa de Karnaugh de cuatro entradas

Simplificacin del mapa de Karnaugh.

Ejemplo 2-9. Simplificacin de una funcin a partir del mapa de Karnaugh.

F AB A partir del mapa de Karnaugh se puede extraer la

Combinacin de pares adyacentes en el mapa de Karnaugh.

Se puede simplificar tambin agrupando cuatro trminos adyacentes. Se pueden

Ejemplo 2-10. Simplificacin de una funcin a partir del mapa de Karnaugh.