5 Simplificación

DIGITALES Y LABORATORIO
Lorena Garca
Agosto 6 de 2014
SIMPLIFICACIN
Mtodos de Simplificacin
Digitales y Laboratorio - Ingeniera Mecatrnica - Universidad Militar Nueva Granada
Manipulacin Booleana
Aplicar leyes y teoremas (no sistemtico)
A partir de una forma cannica
Aplicar exhaustivamente el teorema de simplificacin
Reducir trminos por consenso
Quine McCluskey
Mtodo tabular sistemtico (Base de los algoritmos
modernos de simplificacin)
Emplea teorema de simplificacin
Tabla de implicacin para obtener una expresin ptima
Mapas de Karnaugh
Mtodo grfico. til para pocas variables <5
Simplificacin algebraica
1. Aplicar exhaustivamente el teorema de
simplificacin:
XY + XY = X
(X + Y)(X + Y) = X
2. Reducir trminos por consenso
Ej. f(a,b,c,d) = m(0,1,5,7,13)
Ej. f(A,B,C,D) = m(1,3,5,7,11,12,13,14,15)
Ejemplo
MULTIPLEXOR:
S
f
A
S A B f
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
F = Suma de minitrminos
F = Producto de maxitrminos
B
f = A si S = 0
f = B si S = 1
f
0
0
1
1
0
1
0
1

7 , 5 , 3 , 2 m f

6 , 4 , 1 , 0 M f
Mtodos de Simplificacin
Si X es una variable Booleana, X + /X = ?
F(A,B,C) = /(A + /B.C) + A + /B.C = ?
F(A,B) = /A./B + /A.B + A./B + A.B = ?
F(A,B,C) = /A/B/C + /A/BC + /AB/C + /ABC + A/B/C + A/BC
+ AB/C + ABC = ?
F(A,B,C,D) = m(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15)
R/ 1
El trmino simplificado /A, en un problema de 3 variables (A,B,C) es el resultado de
sumar los minitrminos
0
0,1
0,1,2,3
4,5,6,7
2,3,4,5,6,7
Ninguna de las anteriores
El trmino simplificado /BC, en un problema de 3 variables (A,B,C) es el
resultado de sumar los minitrminos
1. 0
2. 1
3. 0,1
4. 1,2,3
5. 1,5
6. 1,3,5
7. Ninguna de las anteriores
Quine - McCluskey
1. Eliminar tantos literales como sea posible
aplicando iterativamente el teorema de
simplificacin Implicantes primos
2. Simplificar con tabla de implicacin (eliminar
trminos de consenso)
3. F = mnimo conjunto de implicantes primos
que sumados son iguales a la funcin y
contienen el mnimo nmero de literales
Quine McCluskey: Implicantes Primos
Columna 1
0 0000
1 0001
2 0010
5 0101
6 0110
7 0111
8 1000
9 1001
10 1010
14 1110
Ej. F(a,b,c,d) = m(0,1,2,5,6,7,8,9,10,14)
Columna 1 Columna 2
0 0000 0,1 000-
1 0001 0,2 00-0
2 0010 0,8 -000
5 0101 1,5 0-01
6 0110 1,9 -001
7 0111 2,6 0-10
8 1000 2,10 -010
9 1001 5,7 01-1
10 1010 6,7 011-
14 1110 6,14 -110
8,9 100-
8,10 10-0
10,14 1-10
Ej. F(a,b,c,d) = m(0,1,2,5,6,7,8,9,10,14)
Columna 1 Columna 2 Columna 3
0 0000 0,1 000- 0,1,8,9 -00-
1 0001 0,2 00-0 0,2,8,10 -0-0
2 0010 0,8 -000 0,8,1,9 -00-
5 0101 1,5 0-01 0,8,2,10 -0-0
6 0110 1,9 -001 2,6,10,14 --10
7 0111 2,6 0-10 2,10,6,14 --10
8 1000 2,10 -010
9 1001 5,7 01-1
10 1010 6,7 011-
14 1110 6,14 -110
8,9 100-
8,10 10-0
10,14 1-10
Ej. F(a,b,c,d) = m(0,1,2,5,6,7,8,9,10,14)
Columna 1 Columna 2 Columna 3
0 0000 0,1 000- 0,1,8,9 -00-
1 0001 0,2 00-0 0,2,8,10 -0-0
2 0010 0,8 -000 0,8,1,9 -00-
5 0101 1,5 0-01 0,8,2,10 -0-0
6 0110 1,9 -001 2,6,10,14 --10
7 0111 2,6 0-10 2,10,6,14 --10
8 1000 2,10 -010
9 1001 5,7 01-1
10 1010 6,7 011-
14 1110 6,14 -110
8,9 100-
8,10 10-0
10,14 1-10
Ej. F(a,b,c,d) = m(0,1,2,5,6,7,8,9,10,14)
Quine McCluskey: Tabla de Implicacin
0 1 2 5 6 7 8 9 10 14
0,1,8,9
bc x x x x
0,2,8,10
bd x x x x
2,6,10,14
cd x x x x
1,5
acd x x
5,7
abd x x
6,7
abc x x
Ej. F(a,b,c,d) = m(0,1,2,5,6,7,8,9,10,14)
I.P.E
I.P.E
Mnimo conjunto de
implicantes primos
que completan la
funcin
R/. F(a,b,c,d) =bc + cd + abd
Quine - McCluskey
Simplificar por Quine-McCluskey:
F(a,b,c,d) = m(0,1,3,5,6,7,8,10,14,15)
F(a,b,c,d) = m(1,5,7,9,11,12,14,15)
Mapas de Karnaugh
Mtodo grfico con el que se pueden identificar trminos
adyacentes fcilmente y as aplicar directamente el
teorema de simplificacin
Es muy til, directo y prctico hasta con 4 variables.
Factible en 5 y 6.
Bases:
Cada trmino de n variables tiene n trminos adyacentes (Son
trminos adyacentes aquellos que difieren en una sola variable)
Los trminos adyacentes se pueden reducir por el teorema de
simplificacin: 2n trminos adyacentes reducen n variables
MGH
Simplificacin:
[Expresin Booleana].X + [Expresin Booleana]./X = [Expresin Booleana]
Mapas de Karnaugh
A
B
0
0
1
1
Para DOS variables
A
B
0
0
1
1
Cada trmino tiene dos adyacentes:
00 01
10 11
Existen 4 posibles agrupaciones de 2 trminos adyacentes: lgicamente al
eliminar una variable las posibilidades son /A, A, /B y B
/A
/B
A
B
A
B
0
0
1
1
Para eliminar dos variables se necesita poder agrupar
dos grupos de dos. Tal como lo hacemos para Quine
McCluskey donde buscamos trminos que se puedan
seguir asociando. En este caso se eliminan las dos
variables y da la funcin F=1.
Si todos son 1s
F = 1
(00) (01)
(10) (11)
A
B
0
0
1
1
m0 m1
m2 m3
A
0
0
1
1
MGH
Mapas de Karnaugh
Para TRES variables
MGH
Cada trmino tiene tres trminos adyacentes:
000 001
010 011
100 101
110 111
A
BC
0
00
1
01 11 10 Orden Gray Mnimo Cambio
Los trminos los podemos visualizar ordenados en una banda, ya
que la columna de la derecha es adyacente a la de la izquierda.
Grupos de dos variables
A
BC
0
00
1
01 11 10
A
BC
00 01 11 10
0
1
Mapas de Karnaugh
Para TRES variables
MGH
Grupos de dos trminos
Como el resultado son trminos de 2 variables habrn:
4 con A y B (sus posibles combinaciones, se elimina C),
4 con A y C (sus posibles combinaciones, se elimina B), y
4 con B y C (sus posibles combinaciones, se elimina A)
A
BC
0
00
1
01 11 10
/A
A
/B B
C /C /C
A
BC
00 01 11 10
0
1
A.C
/A.C
/A./C
A./C
A
BC
0
00
1
01 11 10
/A./B
/A.B
A./B
A.B
/B.C B.C
/B./C B./C
Mapas de Karnaugh
Para TRES variables
MGH
Grupos de cuatro trminos
Grupos de 4 trminos eliminan 2 variables, as que en este
caso solo quedara una variable
6 posibilidades : /A, A, /B, B, /C, C
A
BC
0
00
1
01 11 10
/B
C
B
A
BC
0
00
1
01 11 10
/A
A
A
BC
00 01 11 10
/C
Grupos de ocho trminos
A
BC
0
00
1
01 11 10
F= 1
Mapas de Karnaugh
Para CUATRO variables
MGH
0000 0001
0010 0011
0100 0101
0110 0111
1010 1011
1000
1100
1101
1111
1110
AB
CD
00
01
11
10
00 01 11 10
Mapas de Karnaugh
MGH
Grupos de dos trminos
AB
CD
00
00
01
01 11 10
11
10
AB
CD
00 01 11 10
AB
CD
00
01
11
10
Los trminos de arriba son
adyacentes a los de abajo
Como los trminos de la columna
izquierda son adyacentes a los de
la derecha, entonces grficamente
lo que tenemos es un toroide.
Mapas de Karnaugh
MGH
AB
CD
00
00
01
01 11 10
11
10
/C./D C.D
AB
CD
00 01 11 10
00
01
11
10
A./B
/A./B
AB
CD
00
00
01
01 11 10
11
10
B.D
A.C
/A./C
Mapas de Karnaugh
MGH
AB
CD
00 01 11 10
/A./D
00
01
11
10
B./D
A./D
AB
CD
00
01
11
10
/B./D
00 01 11 10
AB
CD
00 01 11 10
00
01
11
10
/B.C /B.D
/B./C
Mapas de Karnaugh
MGH
Grupos de ocho trminos
AB
CD
00
00
01
01 11 10
11
10
B
/B
AB
CD
AB
CD
00
01
11
10
D
00 01 11 10
/D
Mapas de Karnaugh
Para CINCO variables
MGH
AB
CD
00
00
01
01 11 10
11
10
E 0\1
AB
CD
00
00 01 11 10
11
10
AB
CD
00
00
01
01 11 10
11
10
E = 0
E = 1
Las casillas del plano E=0 son adyacentes a las casillas del plano E =1
Se formaran dos toroides concntricos
Mapas de Karnaugh
Para SEIS variables
MGH
AB
CD
00
00 01 11 10
11
10
AB
CD
00
00 01 11 10
11
10
EF = 11
EF = 10
AB
CD
00
00 01 11 10
11
10
AB
CD
00
00
01
01 11 10
11
10
EF = 00
EF = 01
AB
CD
00
00
01
01 11 10
11
10
EF 01
00 11
10
Cuatro toroides concntricos!!! Donde
el toroide interno (EF = 00) es
adyacente al externo (EF = 10)!!!
Simplificacin con Mapas-K
Implicantes primos: trmino que no puede ser
combinado con ningn otro para eliminar una
variable
Implicantes primos esenciales: implicantes primos
que contienen un mintrmino que slo est cubierto
por dicho implicante.
F = I.P.E + mnimo conjunto de I.P que cubren los
mintrminos restantes
Ejercicios
La funcin mximamente simplificada representada
por los siguientes mapas de Karnaugh es
A
B
0
0
1
1
1 1
A
B
0
0
1
1
1
1
A
B
0
0
1
1
1
1
A
B
0
0
1
1
1 1
1 1
F = /A F = B F = /A./B + AB
= A xnor B
F = 1
Ejercicios
F = /A F = /B F = C
A
BC
0
00
1
01 11 10
1 1 1 1
A
BC
0
00
1
01 11 10
1 1
1 1
A
BC
0
00
1
01 11 10
1 1
1 1
F = /A./B + A.C F = C + A./B
A
BC
0
00
1
01 11 10
1 1
1 1
A
BC
0
00
1
01 11 10
1 1
1 1 1
Ejercicios
F = /A.B F = /C.D
AB
CD
00
00
01
01 11 10
11
10
1 1 1 1
AB
CD
00
00
01
01 11 10
11
10
1
1
1
1
F = /C.D + BD
AB
CD
00
00
01
01 11 10
11
10
1
1
1
1
1
1
Ejercicios
Cuntos implicantes primos tienen las siguientes
funciones?
2 I.P
2 I.P.E
3 I.P
3 I.P.E
AB
CD
00
00
01
01 11 10
11
10
1
1 1
1
1 1
1 1
AB
CD
00
00
01
01 11 10
11
10
1
1
1
1
1
1
1
1
4 I.P.
3 I.P.E
AB
CD
00
00
01
01 11 10
11
10
1
1
1
1
1
1
1
1
1
Ejercicios
Cuntos implicantes primos tienen las siguientes
funciones?
4 I.P
4 I.P.E
6 I.P
2 I.P.E
AB
CD
00
00
01
01 11 10
11
10
1
1
1
1
1
1
1
1
1 1
8 I.P.
0 I.P.E
AB
CD
00
00
01
01 11 10
11
10
1
1
1
1
1
1
1
1
1
AB
CD
00
00
01
01 11 10
11
10
1
1 1
1 1
1
1 1
Universalidad de compuertas NAND Y NOR
Redes de 2 niveles
AND OR
OR AND
NAND NAND NOR NOR
S = m(2,3,5,7,8,9,10,11,13,15)
AND OR
OR AND
NAND NAND NOR NOR
Funciones con Dont Cares
Una condicin dont care es una combinacin de entrada
que nunca ocurrir en un circuito combinacional =
Funciones no especificadas completamente.
El valor de dont care se suele denotar como x o d y se le
pude asignar un valor de 0 o 1 lgico segn convenga.
Ejemplo: Un sistema con dos switches (x1 y x2) que no
pueden ser habilitados al mismo tiempo. Entonces las
entradas pueden ser (x1,x2) = 00, 01 y 10, pero nunca 11
Funciones con Dont Cares
Un circuito que determina si un nmero en formato BCD es
mltiplo de 3
A B C D F
0 0 0 0 1
0 0 0 1 0
0 0 1 0 0
0 0 1 1 1
0 1 0 0 0
0 1 0 1 0
0 1 1 0 1
0 1 1 1 0
1 0 0 0 0
1 0 0 1 1
1 0 1 0 X
1 0 1 1 X
1 1 0 0 X
1 1 0 1 X
1 1 1 0 X
1 1 1 1 X
f (A,B,C,D) = m(0,3,6,9) + d(10,11,12,13,14,15)
Si X = 0 = > f (A,B,C,D) = m(0,3,6,9)
Si X = 1 = > f (A,B,C,D) = m(0,3,6,9,10,11,12,13,14,15)
Funcin ms simplificada:
f (A,B,C,D) = /A./B./C./D + /B.C.D + B.C./D + A.D
Ejercicios
por el siguiente mapa de Karnaugh es
cd
00 01 11 10
ab
00 1 1 X 1
01 1 X 1
11 X 1 1
10 X 1
TALLER DE DISEO
La empresa DyL posee una sala de 4 supercomputadores con los cuales se realizan tareas de
diseo especializado y donde se dispone de software profesional para el desarrollo de estas
tareas. Debido a que frecuentemente los diseadores pierden su tiempo desplazndose hasta la
sala de cmputo y encuentran todos los puestos ocupados, el gerente de la empresa nos ha
pedido que se le disee un sistema econmico que:
1. Indique el nmero de puestos ocupados
2. Indique a travs de una seal roja el hecho de que la sala se encuentre llena
3. Indique a travs de una seal verde el hecho de que al menos existe un equipo libre
4. De 5pm a 7am (horas no hbiles) se active la seal roja y se active una alarma en caso de que
alguien est trabajando en la sala.
Asuma la existencia de una seal binaria por puesto que indica si est libre u ocupado.
Asuma una seal binaria (activada por el departamento de seguridad de la empresa a travs de
una llave) que indica si se est en horario de trabajo o no.
Usted debe plantear la solucin ms eficiente para este sistema. Se le sugiere encontrar
relaciones entre las seales de salida para facilitar su implementacin.
Para fabricar su dispositivo se recurrir a una empresa que disea circuitos full-custom, los cules
cobran por compuerta utilizada segn la siguiente tabla de costos. Usted debe tratar de entregar
la solucin ms econmica posible para que su diseo sea seleccionado sobre el de sus
compaeros, quienes presentarn tambin sus propuestas.
Su solucin debe incluir como mnimo:
Especificaciones adicionales (por ej. Forma de
visualizar el nmero de puestos libres)
Diagrama de caja negra (entradas y salidas)
Descripcin (Tabla de verdad del mdulo propuesto)
Sntesis (Ecuaciones booleanas simplificadas)
Costo total (en pesos) de su solucin.
Diagrama lgico

5 Simplificación

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

5 Simplificación

Загружено:

Авторское право:

Доступные форматы

DIGITALES Y LABORATORIO

Вам также может понравиться