Está en la página 1de 66

Algebra de Boole y

puertas lgicas
Luis Entrena, Celia Lpez,
Mario Garca, Enrique San Milln

Universidad Carlos III de Madrid

ndice
l

Postulados y propiedades fundamentales del


lgebra de Boole

Funciones y expresiones booleanas

Puertas lgicas. Tecnologas digitales.


Implementacin de funciones lgicas

Minimizacin de funciones lgicas

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

lgebra de Boole
l

Fundamentos matemticos de los circuitos digitales

Denominada lgebra de Boole en honor de su


inventor, George Boole

An Investigation of the Laws of Thought (1854)

Un lgebra se define por un conjunto de elementos


con unas operaciones. En nuestro caso:

B = {0, 1}
= {+, }

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

Postulados del lgebra de Boole


l

Ley de composicin interna

Elementos neutros

a, b B a + b B, a b B
a B elementos neutros (0 y 1 respectivamente)
a+0=a
a1=a

Propiedad conmutativa

a, b B

a+b=b+a
ab=ba

Propiedad distributiva

a, b, c B

a + b c = (a + b) (a + c)
a (b + c) = a b + a c

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

Postulados del lgebra de Boole


l

Elemento inverso o complementario

a B

aB

a+a =1
aa = 0

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

Propiedades fundamentales del


lgebra de Boole
l

Dualidad: Toda ley vlida tiene una dual, que se


obtiene cambiando 0 1 y +

Idempotencia

a B

Demostracin:

a+a=a
aa=a

a = a + 0 = a + a a = (a + a)(a + a) = (a + a) 1 = a + a
l

aB

a+1=1
a0=0

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

Propiedades fundamentales del


lgebra de Boole
l

De las propiedades anteriores se pueden definir las


operaciones bsicas
a b a+b

a b ab

0 0

0 0

0 1

0 1

1 0

1 0

1 1

1 1

Tabla de verdad: proporciona el valor de una funcin para


todas las posibles combinaciones de valores de las entradas

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

Propiedades fundamentales del


lgebra de Boole
l

Involucin

a B

a=a

Absorcin

a, b B
Demostracin:

a + ab = a
a (a+b) = a

a + ab = a 1 + ab = a(1 + b) = a 1 = a
l

Propiedad asociativa

a, b, c B

(a + b) + c = a + (b + c)
(a b) c = a (b c)

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

Propiedades fundamentales del


lgebra de Boole
l

Leyes de De Morgan:

a, b B

a+b = a b
ab = a +b

Demostracin:
(a + b) + a b = (a + b + a)(a + b + b) = 1 1
(a + b) a b = (aab) + (bab) = 0 + 0
luego (a+b) es el inverso de a b

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

Funciones y expresiones
booleanas
l

Definiciones:

Una variable lgica o booleana es cualquier elemento

x B = {0, 1}
Un literal es una variable negada o sin negar
Funcin lgica o booleana:
f : Bn B
(x1, x2, , xn) y

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

10

Representacin de funciones
lgicas
l

Expresin

Tabla de verdad
a b f(a,b)

f(a, b) = a + b

0 0

0 1

1 0

1 1

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

11

Obtencin de la tabla de verdad a


partir de una expresin
l

Basta evaluar la expresin para cada una de las


combinaciones de valores de las entradas
a b c f

f (a,b, c ) = a + b c

0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

12

Funcin mintrmino
l

Expresin: un producto en el que aparecen todas las variables,


negadas o no

Tabla de verdad: tiene un 1 en una posicin y 0 en todas las dems

Ejemplo:

f (a,b, c ) = a b c = m2

a b c f
0 0 0 0
0 0 1 0
0 1 0 1

Regla para obtener la expresin:

0 variable negada
1 variable sin negar

0 1 1 0
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 0

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

13

Funcin maxtrmino
l

Expresin: una suma en la que aparecen todas las variables, negadas


o no

Tabla de verdad: tiene un 0 en una posicin y 1 en todas las dems

Ejemplo:

f (a,b, c ) = (a + b + c ) = M2

a b c f
0 0 0 1
0 0 1 1
0 1 0 0

Regla para obtener la expresin:

0 variable sin negar


1 variable negada

CUIDADO: al contrario que los mintrminos!

0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

14

Teorema de Expansin de
Shannon
l

Toda funcin booleana se puede descomponer de las


siguientes formas
f ( x1, x 2,..., xn ) = xi f ( x1,..., xi1,0, xi+1,..., xn ) + xi f ( x1,..., xi1,1, xi+1,..., xn )
f ( x1, x 2,..., xn ) = [xi + f ( x1,..., xi1,1, xi+1,..., xn )][xi + f ( x1,..., xi1,0, xi+1,..., xn )]

Demostracin
xi = 0 f ( x1, x 2,..., xn ) = 1 f ( x1,...,0,..., xn ) + 0 f ( x1,...,1,..., xn ) =
= f ( x1,...,0,..., xn )
xi = 1 f ( x1, x 2,..., xn ) = 0 f ( x1,...,0,..., xn ) + 1 f ( x1,...,1,..., xn ) =
= f ( x1,...,1,..., xn )

La otra forma se demuestra por dualidad

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

15

Corolario del Teorema de


Expansin de Shannon
l

Aplicando recursivamente el Teorema:


f (a, b, c ) = a f (0, b, c ) + a f (1, b, c ) =

= a (b f (0,0, c ) + b f (0,1, c )) + a (b f (1,0, c ) + b f (0,1, c )) =


= a b f (0,0, c ) + a b f (0,1, c )) + a b f (1,0, c ) + a b f (0,1, c ) =
= a b c f (0,0,0) + a b c f (0,0,1) + a b c f (0,1,0) + a b c f (0,1,1) +
+a b c f (1,0,0) + a b c f (1,0,1) + a b c f (1,1,0) + a b c f (1,1,1) =
= mik i
3

Una funcin es igual a la suma de todos los mintrminos (mi)


afectados por un coeficiente (ki) igual al valor que toma la
funcin al sustituir cada variable por un 0 o un 1 segn que en
el mintrmino aparezca la variable negada o sin negar,
respectivamente

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

16

Primera forma cannica


l

Una funcin se puede expresar como la suma de los


mintrminos para los que la funcin vale 1
a b c f
0 0 0 1
0 0 1 0
0 1 0 1

f (a, b, c ) = (0,2,5) = m(0,2,5) =


3

= abc + abc + abc

0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 0
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

17

Segunda forma cannica


l

Una funcin se puede expresar como el producto de


los maxtrminos para los que la funcin vale 0
a b c f
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 0

f (a, b, c ) = (1,3,4,6,7 ) = M(1,3,4,6,7 ) =


3

= (a + b + c )(a + b + c )(a + b + c )
(a + b + c )(a + b + c )

1 0 0 0
1 0 1 1
1 1 0 0

CUIDADO: al contrario que los mintrminos!

1 1 1 0
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

18

Puertas lgicas
l

Las puertas lgicas son circuitos electrnicos que


realizan las funciones bsicas del lgebra de Boole

Para cada puerta utilizaremos un smbolo

Identidad
z=a

Puerta NOT o inversor


z=a

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

19

Puertas AND y OR
l

Puerta AND
z=ab

Puerta OR
z=a+b

a b ab

a b a+b

0 0

0 0

0 1

0 1

1 0

1 0

1 1

1 1

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

20

Puertas NAND y NOR


l

Puerta NAND

z = ab = a +b

Puerta NOR

z = a+b = a b

a b ab

a b a+b

0 0

0 0

0 1

0 1

1 0

1 0

1 1

1 1

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

21

Puertas XOR y XNOR


l

Puerta XOR (OR-Exclusiva)


z = a b = ab + ab = (a + b)(a + b)

Puerta XNOR (NOR-Exclusiva)


z = a b = ab + a b = (a + b)(a + b)

a b ab

a b ab

0 0

0 0

0 1

0 1

1 0

1 0

1 1

1 1

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

22

Generalizacin a n entradas
Valor de la salida
Puerta

AND

Alguna entrada = 0

Todas las entradas = 1

OR

Todas las entradas = 0

Alguna entrada = 1

NAND

Todas las entradas = 1

Alguna entrada = 0

NOR

Alguna entrada = 1

Todas las entradas = 0

XOR

Hay un n par de
entradas = 1

Hay un n impar de
entradas = 1

XNOR

Hay un n impar de
entradas = 1

Hay un n par de
entradas = 1

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

23

Otros smbolos
l

Un crculo en una entrada o una salida indica


negacin

a
b
c

z = abc

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

24

Tecnologas digitales
l

Las puertas lgicas son circuitos electrnicos

El nivel lgico (0 o 1) se representa mediante un


nivel de tensin

Generalmente se utiliza lgica positiva

Existen muchas tecnologas, segn la forma en que


se realizan las puertas lgicas y las caractersticas
que se obtienen

Tensin alta (5V, 3.3V, 2.5 V, etc) 1


Tensin baja (0V) 0

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

25

Familias lgicas
l

El conjunto de componentes digitales bsicos, tales como


puertas lgicas y otros que estudiaremos a lo largo del curso,
se conoce popularmente como Serie o Familia 74

Existen numerosas subfamilias:

Segn el rango de temperaturas de operacin:

Segn la tecnologa utilizada:

Serie 74: 0 a 70
Serie 54: -55 a 125
LS
ALS
F
HC
AHC
G
.

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

26

Familias lgicas
l

Designacin de componentes:

Ejemplo: 74HC00

Importante: las subfamilias no son compatibles entre


s

<Serie><Subfamilia><Componente>
Serie 74: rango de temperaturas convencional
Subfamilia HC (High speed CMOS)
Componente 00: 4 puertas NAND de 2 entradas
No se deben mezclar componentes de distintas subfamilias
en un circuito

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

27

Hojas de catlogo

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

28

Caractersticas de las
tecnologas digitales
l

Principales caractersticas:

Margen de temperaturas de operacin


Tensin de alimentacin
Margen de ruido (intervalos de tensiones que se asocian a

un nivel lgico determinado)


Retardo de conmutacin
Consumo
Otros

Cada tecnologa o subfamilia presenta valores


diferentes respecto a estos parmetros

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

29

Retardos
l

Las puertas lgicas no conmutan instantneamente


Inversor ideal

Inversor real

tp

El retardo limita la velocidad de operacin del


circuito

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

30

Consumo
l

Las puertas lgicas consumen energa:

En la tecnologa CMOS (la ms utilizada actualmente), el


consumo esttico es muy pequeo. Sin embargo,

Esttica: la que se consume por tener alimentada la puerta lgica,


sin cambiar los valores lgicos
Dinmica: la que se consume al conmutar

Los circuitos modernos pueden llegar a tener ms de 108 puertas


lgicas!
El consumo dinmico es proporcional a la frecuencia de
conmutacin

El consumo es un problema importante:

La energa consumida se transforma en calor, que hay que


disipar. Si el circuito consume mucho, puede ser difcil disipar el
calor
En dispositivos porttiles, el tamao y el peso de la batera es
limitado

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

31

Tecnologa CMOS
l

La tecnologa CMOS (Complementary Metal Oxide


Semiconductor) es la tecnologa ms utilizada en la
actualidad

Basada en:

Transistores MOS: interruptores controlados por tensin


Complementarios: cada transistor o interruptor tiene su
complementario, de manera que si un interruptor est
abierto su complementario est cerrado y viceversa

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

32

Inversor CMOS
Vcc

Vcc

Vi=0

Vo=1

Vi=1

Vo=0

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

33

Valores metalgicos
l

Hay situaciones que no se corresponden con valores


lgicos

Cortocircuito (X)
Vcc

Alta impedancia o
triestado (Z)
Vcc

Vo=X

Vo=Z

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

34

Buffer triestado
l

Un tipo especial de puerta lgica que puede poner


su salida en alta impedancia

e
a

e a

0 0

0 1

1 0

1 1

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

35

Buffer triestado
l

Los buffers triestado son tiles para permitir


mltiples conexiones a un mismo punto evitando
cortocircuitos
X

0
0
1

0
1

Cortocircuito!

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

36

Realizacin de una funcin lgica


con puertas lgicas
l

A partir de la expresin de la funcin, sustituimos las


operaciones lgicas por puertas lgicas

Ejemplo:
a

f (a,b, c ) = a + b c

b
c

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

37

Conjuntos completos
l

Un conjunto de funciones es funcionalmente


completo si cualquier funcin lgica puede realizarse
con las funciones del conjunto solamente

{AND} no es un conjunto completo


{AND, NOT} es un conjunto completo
{OR, NOT} es un conjunto completo
{NAND} es un conjunto completo
{NOR} es un conjunto completo

Los conjuntos {NAND} y {NOR} tienen la ventaja de


que permiten realizar cualquier funcin lgica con un
slo tipo de puerta lgica

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

38

Realizacin de circuitos con


puertas NAND
l

Aplicacin directa de las leyes de De Morgan

Ejemplo: f (a,b, c ) = a b + cd =
= a b + cd = a b cd
a
b
c
d

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

39

Realizacin de circuitos con


puertas NOR
l

Aplicacin directa de las leyes de De Morgan

Ejemplo:

f (a, b, c ) = a b + cd =
= a b + cd = a + b + c + d

a
b
c

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

40

Minimizacin de funciones
lgicas
l

Una funcin lgica tiene mltiples expresiones


equivalentes

La forma ms sencilla dar lugar a una implementacin


mejor

Criterios de optimizacin:

En tamao o rea:

Menor nmero de puertas lgicas


Puertas lgicas con el menor nmero de entradas

En velocidad o retardo:

Menor nmero de puertas lgicas desde una entrada hasta la


salida

Nos centraremos en la optimizacin en rea

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

41

Minimizacin de funciones
lgicas
l

Mtodos de optimizacin

Manual: aplicacin directa de las leyes del lgebra de


Boole

Muy difcil, no sistemtico

En dos niveles: el objetivo es obtener una expresin ptima


en forma de suma de productos o productos de sumas

Existen soluciones sistemticas y ptimas


Aplicable manualmente (para pocas variables) o con ayuda de
un computador

Multinivel

Mejor solucin, aunque mucho ms difcil


Slo posible con ayuda de un computador

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

42

Mtodos de los mapas de


Karnaugh
l

Mtodo de optimizacin en dos niveles

Se puede realizar manualmente hasta 6 variables

Se basa en la Propiedad de adyacencia

E, x B Ex + E x = E( x + x ) = E

(E + x )(E + x ) = E + ( x x ) = E

(dual)

Dos trminos son adyacentes si son idnticos excepto por

un literal, que aparece negado en un trmino y no negado


en el otro
Los dos trminos se simplifican en uno slo con eliminacin
del literal que los diferencia

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

43

Aplicacin de la propiedad de
adyacencia
l

Ejemplo:
f (a, b, c ) = (0,1,2,3,7) = a b c + a b c + a b c + a b c + a b c =
3

=
l

ab

ab + bc

+ bc

La observacin de las adyacencias puede ser difcil


en la prctica

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

44

Mapas de Karnaugh
l

Mapa que presenta la tabla de verdad de una


funcin de manera que los trminos adyacentes son
contiguos:

Una casilla para cada combinacin o trmino


Las casillas se numeran en cdigo Gray
En un mapa de n variables, cada casilla tiene n casillas

adyacentes que se corresponden con las combinaciones


que resultan de invertir el valor de cada una de las n
variables

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

45

Mapas de Karnaugh: adyacencias


l

Dos variables
a

0
1

Tres variables
a

bc

00

01

11

10

bc

00

01

11

10

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

46

Mapas de Karnaugh: adyacencias


Cuatro variables

ab

cd

00

01

11

10

ab

cd

00

00

01

01

11

11

10

10

00

01

11

10

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

47

Mapas de Karnaugh: adyacencias


l

Cinco variables

bc

de

00

01

11

10

bc

de

00

00

01

01

11

00

10

01

a=0

00

01

11

10

a=1

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

48

Mapas de Karnaugh: numeracin


de las casillas
l

Dos variables
a

b
0
1

ab

Tres variables
a

bc

Cuatro variables

00

01

11

10

cd

00

01

11

10

00

01

11

12

13

15

14

10

11

10

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

49

Mapas de Karnaugh: numeracin


de las casillas
Cinco variables

bc

de

00

01

11

10

00

01

11

12

13

10

bc

de

00

01

11

10

00

16

17

19

18

01

20

21

23

22

15

14

00

28

29

31

30

11

10

01

24

25

27

26

a=0

a=1

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

50

Representacin de una funcin


en el Mapa de Karnaugh
l

Se marcan las casillas que corresponden a los


mintrminos o los maxtrminos de la funcin

Ejemplo:

bc

00

01

11

10

f (a, b, c ) = (0,1,2,3,7) =
3

= ( 4,5,6)
3

bc

00

01

11

10

0
1

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

51

Obtencin de una expresin a


partir del Mapa de Karnaugh
l

Se siguen las reglas para mintrminos y maxtrminos

Regla para mintrminos

0 variable negada
1 variable sin negar

bc

00

01

11

10

Regla para maxtrminos

0 variable sin negar


1 variable negada

bc

00

11

10

0
1

a b c = m3

01

0
a + b + c = M5

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

52

Simplificacin mediante Mapas


de Karnaugh
l

Dos opciones

Por mintrminos (unos): se obtiene una suma de productos


Por maxtrminos (ceros): se obtiene un producto de sumas

Buscar grupos de casillas adyacentes

Un grupo de 2 casillas adyacentes elimina 1 variable


Un grupo de 4 casillas adyacentes elimina 2 variables
Un grupo de 8 casillas adyacentes elimina 3 variables
Un grupo de 16 casillas adyacentes elimina 4 variables
.

Objetivo: cubrir todos los mintrminos (maxtrminos) con los grupos


ms grandes posibles y con el menor nmero de grupos

Se pueden repetir trminos, si es necesario (propiedad de absorcin)

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

53

Simplificacin: formacin de
grupos
ab

cd

00

00

01

11

10

ab

1
1

01

11
10

cd

00

00

01

11

10

abc
bc d

01

11

10

ab

cd

00

01

11

10

00

01

11

10

1
bd

ab

bd

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

54

Simplificacin mediante Mapas


de Karnaugh: Algoritmo
l

Algoritmo sistemtico
1. Cubrir las casillas que no pueden formar grupos de 2
2. Cubrir las casillas que pueden formar grupos de 2, pero no
3.
4.
5.

de 4
Cubrir las casillas que pueden formar grupos de 4, pero no
de 8
Cubrir las casillas que pueden formar grupos de 8, pero no
de 16

Si en algn paso hay ms de una opcin:

Comenzar siempre cubriendo las casillas que tienen


menos opciones

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

55

Simplificacin mediante Mapas


de Karnaugh: Ejemplo
ab

cd

00

00

01

ab

10

11

cd

11

10

01

11

10

00

00

01

11

10

1
ab

cd

00

00

01

11

01

ab

10

cd

11

10

01

11

10

00

01

11

10

00

01

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

56

Funciones incompletas
l

Una funcin incompletamente especificada (o simplemente


incompleta) es aquella que no est especificada para alguna
combinacin de valores de sus entradas

Las funciones incompletas se dan en la prctica:

Cuando las entradas provienen de otro circuito que no puede


producir determinadas combinaciones por construccin
Cuando existen casos en que el valor de la funcin no tiene
sentido o es indiferente

Notacin:

Un valor indiferente se representa con X -


El conjunto de trminos indiferentes (dont cares) se denota con
la letra

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

57

Funciones incompletas
l

Ejemplo: Funcin que determina


si un nmero BCD es impar

Los nmeros del 10 al 15 no tienen


sentido en BCD

f (b3, b2, b1, b0) = (1,3,5,7,9) + (10,11,12,13,14,15) =


4

= (0,2,4,6,8) + (10,11,12,13,14,15)
4

Combinaciones indiferentes

b3

b2

b1

b0

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

58

Minimizacin de funciones
incompletas
l

Los trminos indiferentes son comodines : se


pueden cubrir o no, segn convenga para formar
grupos ms grandes
b 1b 0

b 3b 2

b 3b 2

01

11

00

01

11

10

11
10

00

10

b 1b 0

f (b3, b2, b1, b0 ) = b3 b0 + b2 b1 b0

01

11

00

01

00

10

Correcto

f (b3, b2, b1, b0 ) = b0

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

59

Funciones mltiples
l

En los circuitos digitales se implementan generalmente


funciones mltiples: varias funciones a la vez o una
funcin de mltiples salidas

Las funciones mltiples se pueden implementar de


forma ptima al considerarlas conjuntamente

Se pueden compartir trminos o partes comunes para ahorrar


lgica

La descomposicin de funciones mltiples de manera


que se maximicen los trminos comunes es difcil

Los algoritmos son difciles de aplicar manualmente


Generalmente lo haremos por inspeccin

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

60

Funciones mltiples: Ejemplo


a
b
c
f1(a, b, c, d) = a c + a b c + a c d
f 2(a, b, c, d) = a c + a b c + a c d

a
c
d

f1

a
c

Trminos comunes

a
c
d

f2

a
b
c
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

61

Funciones mltiples: Ejemplo


l

Es posible encontrar ms trminos comunes


f1(a, b, c, d) = a c + a b c + a c d = a c + a b c d + a c d
f 2(a, b, c, d) = a c + a b c + a c d = a c + a b c d + a b c

Las expresiones de las funciones no son ptimas por

separado, pero s son ptimas en conjunto!


Las herramientas de diseo incluyen algoritmos para
minimizar funciones mltiples

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

62

Funciones mltiples: Ejemplo


a
c
d

f1

a
c

Trminos comunes

a
b
c
d

f2

a
b
c
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

63

Sntesis multinivel
l

Si eliminamos la restriccin a dos niveles, se pueden encontrar


mejores soluciones

a
b
c
a
d
a
e

Se utilizan algoritmos heursticos, con ayuda de un ordenador

Ejemplo: f (a, b, c, d, e) = a b c + a d + a e = a (b c + d + e)
b
c
d
e

Multinivel

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

64

Herramientas de optimizacin
l

Mtodos manuales:

Herramientas software

Slo en 2 niveles, pocas variables


Multinivel, mltiples funciones, muchas variables
Optimizacin en rea o en retardo
Generalmente incorporadas en herramientas de sntesis
lgica

Herramientas de sntesis lgica

Funcionan como un compilador, a partir de la descripcin

del diseo en forma esquemtica o mediante un Lenguaje


de Descripcin de Hardware
Optimizan el diseo y generan las puertas lgicas en una
tecnologa determinada

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

65

Referencias
l

Introduccin al diseo lgico digital. J. P. Hayes.


Ed. Addison-Wesley

Circuitos y sistemas digitales. J. E. Garca


Snchez, D. G. Toms, M. Martnez Iniesta. Ed.
Tebar-Flores

Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008

66

También podría gustarte