Fundamentos de

computadores

TEMA 2. PRINCIPIOS DEL DISEO DIGITAL

Objetivos FCO

Conocer las funciones lgicas y su representacin

Disear circuitos lgicos sencillos
Fundamentos del lgebra de Boole
Mtodos de simplificacin. Mapas de Karnaugh

1
ndice FCO

Introduccin
Funciones lgicas y tablas de verdad
Puertas lgicas
Anlisis de circuitos
lgebra de Boole
Formas cannicas de representar una funcin lgica
Simplificacin de funciones lgicas
Mapas de Karnaugh

2
Introduccin FCO

Transistor
Unidad fsica mnima de diseo digital
Puerta lgica
Unidad lgica mnima de diseo digital
Circuito combinacional
Las salidas slo dependen del valor de las entradas en el
momento actual
Ejemplo. Seleccin de la bebida en una mquina de caf

3
Introduccin FCO

Circuito secuencial
Las salidas dependen del valor actual de las entradas y de la
secuencia de valores anteriores (historia) del circuito.
Ejemplo. Monedero de una mquina de caf
Unidad funcional
Suma de pequeos circuitos que realizan una funcin
definida

4
Funciones lgicas y tablas de verdad FCO

Funcin lgica
Expresin formal del comportamiento de un circuito lgico
Permite determinar la salida del circuito en funcin de las
entradas
Aridad = nmero de variables lgicas de entrada
Valoracin = una de las combinaciones de valores de las
entradas

5
Funciones lgicas y tablas de verdad (ii) FCO

Tabla de verdad
Forma tabular de expresar una funcin lgica
Para cada entrada o salida se asigna una columna
Para cada valoracin se asigna una fila
Entradas a la izquierda, salidas a la derecha
Valoraciones siguiendo la numeracin binaria

6
Tablas de verdad. Ejemplos FCO

Luz interior de un coche

A partir de dos entradas d, i (puertas derecha e izquierda),
disead un circuito que encienda una luz l cuando alguna de
las puertas est abierta

d i l
d l

i ? 0
0
1
0
1
0
0
1
1
1 1 1

7
Tablas de verdad. Ejemplos (ii) FCO

Luz interior de un coche (ii)

Aadir una entrada m de encendido manual: Si la entrada m
est activada (m=1) encender la luz independientemente del
estado (abierto/cerrado) de las puertas

d m d i l m d i l

l
i
? 0
0
0
0
0
1
0
1
0
0
1
1
0
0
0
0
0
1
0
1
0
0
1
1
m 1 0 1 1
0 1 1 1
1 0 0 1 1 X X 1
1 0 1 1
1 1 0 1
1 1 1 1 Tabla de verdad reducida

8
Tablas de verdad. Ejemplos (iii) FCO

Funciones con entradas indiferentes

Aquellas combinaciones de valores de entrada para las que
no importa el valor de la salida, por
tratarse de una combinacin de las entradas para la que no se ha
especificado el comportamiento del circuito
o tratarse de una combinacin de las entradas que es imposible
En la tabla de verdad, la salida para estas valoraciones es X

9
Tablas de verdad. Ejemplos (iv) FCO

Intermitentes de un coche
A partir de 3 entradas: palanca a la izquierda (pi), palanca a
la derecha (pd) y avera (a), generar las salidas que activen
los intermitentes izquierdo (ii) y derecho (id)
a pi pd ii id
pi
ii 0 0 0 0 0 Tabla de verdad
pd

a
? id
0
0
0
1
1
0
0
1
1
0
de una funcin
con entradas indiferentes
0 1 1 X X
1 0 0 1 1
1 0 1 1 1
1 1 0 1 1
1 1 1 X X

10
Composicin de funciones FCO

Funcin compuesta. Aquella en la que la salida de una

(sub)funcin es utilizada como entrada de otra
Ejemplo: Luz interior de coche con encendido manual
p alguna puerta abierta
d
l d p
i

m
? i ? ?
l

d i p m m p l
0 0 0 0 0 0
0 1 1 0 1 1
1 0 1 1 0 1
1 1 1 1 1 1

11
Puertas lgicas FCO

Puerta lgica. Circuito electrnico que implementa una

funcin lgica elemental

Tipos
Bsicos: AND, OR, NOT
Otras: XOR
Con salida negada: NAND, NOR, XNOR

Tecnologas. Base fsica de construccin

TTL, CMOS

12
Puertas lgicas (ii) FCO

AND OR
Producto lgico (y) Suma lgica (o)
Ampliable b a a.b Ampliable b a a+b
0 0 0 0 0 0
a a.b a a+b 0 1 1
0 1 0
b 1 0 0 b 1 0 1
1 1 1 1 1 1

NOT XOR
Negacin lgica (no) OR Exclusiva b a a b
No ampliable No ampliable 0 0 0
a a 0 1 1
a a a 1 0 1
0 1 a b
1 0 b 1 1 0

13
Puertas lgicas con salida negada FCO

NAND = NOT (AND) NOR = NOT (OR)

Ampliable Ampliable
b a a.b b a a+b
0 0 1
a a.b 0 0 1 a a+b
0 1 1 0 1 0
b b
1 0 1 1 0 0
1 1 0 1 1 0

XNOR = NOT (XOR) b a a b

No ampliable 0 0 1
0 1 0
a a b 1 0 0
b 1 1 1

14
Puertas lgicas. Tecnologas FCO

Cada tecnologa de construccin emplea diferentes

tipos de elementos fsicos (transistores) y tensiones
para representar los valores lgicos 0 y 1

TTL = Transistor-Transistor Logic

Basada en transistores bipolares
Alta velocidad, alto consumo, difcil integracin

CMOS = Complementary Metal Oxide Semiconductor

Basada en transistores MOSFET
Menor velocidad, bajo consumo, alta escala de integracin
15
Esquema fsico de una NAND TTL FCO

16
Puertas lgicas. Integracin. FCO

17
Esquema fsico de un inversor CMOS FCO

VDD

VE VS

GND

18
Nivel de un circuito lgico FCO

Nivel
Nmero de puertas que hay que atravesar en el peor de los
casos desde las entradas a las salidas del circuito
Es una indicacin del retardo del circuito
Cada puerta tiene un retardo T
Nivel 0 = entradas
a Atraviesa 2 puertas
b Atraviesa 3 puertas
Atraviesa 2 puertas
c f Atraviesa 3 puertas
Atraviesa 3 puertas
d
Nivel = Peor caso = 3 puertas

19
Anlisis de circuitos FCO

Dado un circuito, se trata de obtener su funcin lgica

y tabla de verdad
Funcin lgica: componiendo las subfunciones
correspondientes a cada punto del circuito
Tabla de verdad: calculando la salida para todas las posibles
combinaciones de entrada

20
Anlisis de circuitos (ii) FCO

a Ejemplo
b
f
Funcin lgica

b a a.b a+b a.b a+b f = a.b + a + b b a f

0 0 1
0 0 0 0 1 1 1 0 1 1
0 1 0 1 1 0 1 1 0 1
1 0 0 1 1 0 1 1 1 0
1 1 1 1 0 0 0
Tabla de
verdad

21
Sntesis de un circuito lgico FCO

A partir de su funcin lgica:

Aadir e interconectar las puertas en el orden en que se
evalan los trminos de la expresin lgica
Ejemplo:

f = a b + a c

a
a a.b
f = a.b + a.c
b

c a.c

22
lgebra de Boole FCO

George Boole (s. XIX)

Matemtico y filsofo ingls
Desarrolla una estructura algebraica con dos valores
(verdadero, falso) y dos leyes de composicin interna (y,
o) Precedencia
(si no hay
Permite formalizar las reglas del razonamiento lgico parntesis)
Puerta Smbolo
Claude Shannon (1938, Lab. Bell) lgica estndar

Adapta este lgebra a la computacin AND

OR +
Valores 0 y 1, leyes de composicin AND y OR
NOT
Permite formalizar las reglas de
XOR
construccin de circuitos digitales
23
lgebra de Boole. Axiomas FCO

Conmutatividad
a+b=b+a
ab=ba
a b
b a
a b
b a

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

24
lgebra de Boole. Axiomas (ii) FCO

Existencia de elemento neutro

a+0=a
a1=a
a a
0 a 1 a

Existencia de elemento complementario

a+a=1
aa=0

25
lgebra de Boole. Propiedades FCO

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

Permite construir puertas con mayor nmero de entradas

a partir de puertas ms pequeas:
a a
b a
b b
c c c

a a
b a
b b
c c c

26
lgebra de Boole. Propiedades (ii) FCO

Asociativa (ii)
OJO a las puertas con salida negada!:
a + b + c = (a + b) + c
a a
b b
c
c

a a
b b
c c

27
lgebra de Boole. Propiedades (iii) FCO

Idempotencia
a+a=a aa=a
a a
a a

Permite construir puertas NOT a partir de NAND o NOR

a+a= a = aa

a a a
a a a

28
lgebra de Boole. Propiedades (iv) FCO

Involucin a=a
a
a a

Leyes de De Morgan
(a + b + + n) = a b n
(a b n) = a + b + + n
OJO!
(a + b) = a + b (a + b) = a b

29
lgebra de Boole. Propiedades (v) FCO

Aplicando adecuadamente las leyes de De Morgan,

cualquier circuito lgico se puede implementar slo
con puertas NAND o NOR.

Ejemplo:
INVOLUCIN DE MORGAN INVOLUCIN IDEMPOTENCIA (este ltimo paso se suele obviar)

f = ab+c = ab+c = ab c = a b c = a bb c

a
bb a bb
b

c f = a bb c
Circuito con puertas NAND

30
Formas cannicas FCO

Expresin algebraica nica de una funcin lgica

formulada con maxitrminos o minitrminos

Minitrmino de orden n
Producto en el que aparecen las n variables lgicas de
entrada
Cada variable aparece complementada si su valor es 0
Cada valoracin da lugar a un minitrmino distinto
Los minitrminos se numeran segn la cantidad
representada por la valoracin correspondiente

31
Formas cannicas (ii) FCO

Maxitrmino de orden n
Suma en la que aparecen las n variables lgicas de entrada
Cada variable aparece complementada si su valor es 1
Cada valoracin da lugar a un maxitrmino distinto
Los maxitrminos se numeran segn la cantidad
representada por la valoracin correspondiente

32
Forma cannica disyuntiva FCO

Forma cannica disyuntiva o suma de productos

Suma de los minitrminos pertenecientes a la funcin
Pertenecen a la funcin los minitrminos correspondientes a
las valoraciones para las que la funcin vale 1
(lista numerada de los minitrminos de la funcin)
listade vbles de la funcin

minitrmino n Forma cannica

b a f

(1, 3) = b a + b a
0 ba 0
0
0
0
1 1 ba 1 f =
1 0 0 ba 2 b, a
1 1 1 ba 3 Expresin
algebraica equivalente

33
Forma cannica conjuntiva FCO

Forma cannica conjuntiva o producto de sumas

Producto de los maxitrminos de la funcin
Pertenecen a la funcin los maxitrminos correspondientes a
las valoraciones para las que la funcin vale 0
(lista numerada de los maxitrmin os de la funcin)
listade vbles de la funcin
Forma cannica

( )
b a f maxitrmino n
0 0 0 b + a 0 f = (0, 2 ) = (b + a ) b + a
0 1 1 b + a 1
1 0 0 b, a
b + a 2
1 1 1 Expresin
b + a 3
algebraica equivalente

34
Formas cannicas. Inters FCO

Expresin nica y compacta de una funcin lgica.

Primera aproximacin a la sntesis de circuitos a partir
de una tabla de verdad:
b a f
b

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

1 0 0 b, a
1 1 1

Cualquier funcin lgica puede implementarse

mediante un circuito de nivel 3.

35
Formas cannicas. Entradas indiferentes FCO

Formas cannicas para funciones con entradas

indiferentes
Estas combinaciones se agrupan por separado en
sumatorios o productorios del conjunto vaco
a pi pd id

0 0 0 0 0 id = (1, 4, 5, 6) +

(3, 7 )
1 0 0 1 1 a , pi , pd

2 0 1 0 0
3 0 1 1 X
4 1 0 0 1 id = (0, 2)

(3, 7 )
5 1 0 1 1 a , pi , pd

6 1 1 0 1
7 1 1 1 X

36
Simplificacin FCO

Simplificar una funcin

Consiste en hallar una expresin algebraica equivalente a la
de partida, pero de menor tamao (menos trminos,
trminos con menos variables)
El objetivo es reducir al mximo el circuito con el que se
implementa una funcin lgica
Metodologa
Algebraica. Aplicacin de axiomas y propiedades del lgebra de Boole
Elemento complementario, elemento neutro, distributiva y asociativa
Grfica. Mapas de Karnaugh

37
Simplificacin por Karnaugh FCO

Mapa de Karnaugh
Representacin matricial de una tabla de verdad
Una celda del mapa de Karnaugh representa una fila de la
tabla de verdad
En cada celda se coloca el valor de una salida de la funcin
La disposicin espacial de las celdas es tal que los trminos
adyacentes de la funcin lgica estn en celdas adyacentes
Dos trminos se dicen adyacentes si sus valoraciones
difieren en el valor de una sola variable
Los bordes del mapa de Karnaugh deben considerarse
adyacentes

38
 Simplificacin por Karnaugh (ii) FCO

Mapas para funciones de 2, 3 y 4 variables

variables de mayor peso

b
a 0 1 nmero de
0 2
0 celda / trmino (210 => b=1, a=0)
variables de
1 3
menor peso 1 dc
ba 00 01 11 10
0 4 12 8
numeracin celdas 00
en cdigo Grey 1 5 13 9
01
3 7 15 11
cb 11
a 00 01 11 10 celdas adyacentes 2 6 14 10
0 2 6 4
0 a la celda 13 10
1 3 7 5
1 celdas adyacentes
a la celda 10

39
Simplificacin por Karnaugh (iii) FCO

Mtodo de simplificacin
Agrupar todas las celdas con el mismo valor, en uno o ms
grupos
Cada grupo contendr un nmero de celdas adyacentes
potencia de 2
Hacer los grupos lo ms grande posible
El nmero de grupos debe ser mnimo
Una celda puede estar en uno o ms grupos

40
Simplificacin por unos. Mtodo FCO

Agrupar las celdas de valor 1

Cada grupo representa a un trmino producto (no
minitrmino, puesto que no aparecern todas las vbles. de la
funcin). Las variables a cero aparecern complementadas
Un grupo de 2k celdas elimina k variables del trmino
resultante, y por tanto tendr n-k variables
En cada grupo se eliminan las variables que cambian de
valor de unas celdas a otras b 0 1
a
a = 0/1, se elimina 0 2 Sntesis del
0 1 circuito
b = 0, se complementa
1 3 mnimo
1 1 1 b
a = 1, f
b = 0/1, f=a+b
a
b se elimina

41
Simplificacin por unos. Fundamento FCO

Cada celda a 1 representa un minitrmino que pertenece a

la funcin
cb Minitrmino 2 (cba=010)
a 00 01 11 10
0 2 6 4
0 0 1 1 0 Minitrmino 6 (cba=110)
1 3 7 5
1 1 0 0 0
Minitrmino 1 (cba=001)

La funcin sin simplificar incluira todos los minitrminos que

le pertenecen:
f= (1, 2, 6)
c,b,a
=cba+cba+ cba

42
Simplificacin por unos. Fundamento (ii) FCO

Los grupos de celdas adyacentes detectan minitrminos con

un factor comn:
cb Minitrmino 2 (cba=010) cba
a 00 01 11 10
0 2 6 4
0 0 1 1 0 Minitrmino 6 (cba=110) cba
1 3 7 5
1 1 0 0 0

Su suma es simplificable. Algebraicamente sera:

ASOCIATIVA DISTRIBUTIVA ELEM. COMPLEM. ELEM. NEUTRO

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

Karnaugh obtiene el mismo resultado:

c = 0/1, se elimina ba
Celda 2 (cba=010)
b = 1, se incluye
Celda 6 (cba=110)
a = 0, se complementa

43
 Simplificacin por unos. Ejemplos FCO

Ejemplos
cb cb
cb a 00 01 11 10 a 00 01 11 10
a 00 01 11 10
0 2 6 4 0 1 1 1 0 1 1 1
0 1 1 0 1
1 3 7 5 1 1 1 1 1 1
1 1 1 0 0
f=c+cab f=c+ab
MAL BIEN

cb cb cb cb
a 00 01 11 10 a 00 01 11 10 a 00 01 11 10 a 00 01 11 10
0 2 6 4
0 1 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1
1 3 7 5 1 1 1
1 1 1 1 0 1 1 1 1 1 1 1 1 1
f=c+cb f=? f=c+b
MAL MAL BIEN

44
Simplificacin por unos. Ejemplos (ii) FCO

Ejemplos (cont.) dc dc
ba 00 01 11 10 ba 00 01 11 10
0 4 12 8 0 4 12 8
00 1 1 00 1 1 1
1 5 13 9 1 5 13 9
01 1 1 01 1 1 1
3 7 15 11 3 7 15 11
11 1 1 11 1
2 6 14 10 2 6 14 10
10 1 1 10 1

dc dc
ba 00 01 11 10 ba 00 01 11 10
0 4 12 8 0 4 12 8
00 1 1 1 00 1 1
1 5 13 9 1 5 13 9
01 1 1 01 1
3 7 15 11 3 7 15 11
11 1 11 1
2 6 14 10 2 6 14 10
10 10 1 1

45
Simplificacin por ceros FCO

Agrupar las celdas de valor cero

Cada grupo representa un trmino suma (no maxitrmino,
puesto que no aparecern todas las variables de la funcin).
Las variables de valor uno aparecern complementadas
Un grupo de 2k celdas elimina k variables del trmino
resultante, y por tanto tendr n-k variables
En cada grupo se eliminan las variables que cambian de
valor de unas celdas a otras
a = 0/1, se elimina
cb b = 0, se incluye
a 00 01 11 10 c = 1, se complementa
0 2 6 4
0 1 1 1 0
1 3 7 5
1 1 1 1 0
f= c + b

46
Simplificacin por ceros (ii) FCO

Ejemplos
dc dc
dc ba 00 01 11 10 ba 00 01 11 10
ba 00 01 11 10 00 0
0 4 12
0
8
00
0 4 12 8
0 4 12 8 0
00 0 1 5 13 9 1 5 13 9
1 5 13 9 01 0 0 01 0 0 0
01 0 3 7 15 11 3 7 15 11
3 7 15 11 11 0 0 11 0 0 0
11 0 0 0 2 6 14 10 2 6 14 10
2 6 14 10 10 0 0 10 0
10 0 0 0
dc dc
f =(d+c)(c+b) ba 00 01 11 10 ba 00 01 11 10
0 4 12 8 0 4 12 8
00 00 0 0
1 5
cb 01 013 0 9
01 0
1
0
5 13
0 0
9
a 00 01 11 10
0 2 6 4 3 7 15 11 3 7 15 11
0 0 11 0 0 0 11 0 0 0 0
1 3 7 5 2 6
1 0 0 10 0 0 014 010 10
2
0
6 14
0
10

47
Simplificacin. Entradas indiferentes FCO

Las celdas con x se toman como si tuvieran valor uno o

valor cero, cada una como mejor convenga, para maximizar
la simplificacin.
d
0
c
0
b
0
a
0
f
0
f = (7, 11, 13, 14, 15) +
d , c , b, a
(1, 3, 5, 6, 10, 12 ) =
0 0 0 1 x
0
0
0
0
1
1
0
1
0
x
(0, 2, 4, 8, 9)
d , c , b, a


(1, 3, 5, 6, 10, 12 )
0 1 0 0 0
0 1 0 1 x dc dc
0 1 1 0 x ba 00 01 11 10 ba 00 01 11 10
0 4 12 8 0 4 12 8
0 1 1 1 1 00 0 0 x 0 00 0 0 x 0
1 0 0 0 0
1 5 13 9 1 5 13 9
1 0 0 1 0 01 x x 1 0 01 x x 1 0
1 0 1 0 x
1 0 1 1 1 3 7 15 11 3 7 15 11
11 x 1 1 1 11 x 1 1 1
1 1 0 0 x
1 1 0 1 1 2 6 14 10 2 6 14 10
10 0 x 1 x 10 0 x 1 x
1 1 1 0 1
1 1 1 1 1 por unos por ceros

48
Simplificacin. Entradas indiferentes (ii) FCO

dc dc
Errores comunes: ba 00 01 11 10 ba 00 01 11 10
0 4 12 8 0 4 12 8
00 0 0 x 0 00 0 0 x 0
1 5 13 9 1 5 13 9
Tomar todas las x 01 x x 1 0 01 x x 1 0
por 0 o por 1 11 x
3
1
7 15
1
11
1 11 x
3
1
7 15
1
11
1
2 6 14 10 2 6 14 10
10 0 x 1 x 10 0 x 1 x
MAL MAL
dc dc
ba 00 01 11 10 ba 00 01 11 10
0 4 12 8 0 4 12 8
Hacer grupos con 00 0 0 x 0 00 0 0 x 0
1 5 13 9 1 5 13 9
x innecesarios 01 x x 1 0 01 x x 1 0
MAL 11 x 3 1 7 115 111 MAL11 x 3 1 7 115 111
2 6 14 10 2 6 14 10
10 0 x 1 x 10 0 x 1 x

49
 Fundamentos de
computadores

TEMA 2. PRINCIPIOS DEL DISEO DIGITAL