Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tema02 Algebra
Tema02 Algebra
puertas lgicas
Luis Entrena, Celia Lpez,
Mario Garca, Enrique San Milln
ndice
l
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
lgebra de Boole
l
B = {0, 1}
= {+, }
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
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
a B
aB
a+a =1
aa = 0
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
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
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
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
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:
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
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
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
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
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
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
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 )
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
15
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
16
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
= (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
1 1 1 0
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
18
Puertas lgicas
l
Identidad
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
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
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
OR
Alguna entrada = 1
NAND
Alguna entrada = 0
NOR
Alguna entrada = 1
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
a
b
c
z = abc
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
24
Tecnologas digitales
l
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
25
Familias lgicas
l
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
<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:
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
29
Retardos
l
Inversor real
tp
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
30
Consumo
l
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
31
Tecnologa CMOS
l
Basada en:
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
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
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
0
0
1
0
1
Cortocircuito!
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
36
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
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
38
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
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
Criterios de optimizacin:
En tamao o rea:
En velocidad o retardo:
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
41
Minimizacin de funciones
lgicas
l
Mtodos de optimizacin
Multinivel
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
42
E, x B Ex + E x = E( x + x ) = E
(E + x )(E + x ) = E + ( x x ) = E
(dual)
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
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
44
Mapas de Karnaugh
l
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
45
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
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
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
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
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
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
0 variable negada
1 variable sin negar
bc
00
01
11
10
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
Dos opciones
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
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
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
55
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
Notacin:
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
57
Funciones incompletas
l
= (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
b 3b 2
b 3b 2
01
11
00
01
11
10
11
10
00
10
b 1b 0
01
11
00
01
00
10
Correcto
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
59
Funciones mltiples
l
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
60
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
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
62
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
a
b
c
a
d
a
e
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
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
65
Referencias
l
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
66