Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Algebra Declarativa de Boole y Compuertas Logicas by Rodrigo
Algebra Declarativa de Boole y Compuertas Logicas by Rodrigo
Departamento de Electrnica
Compuertas lgicas
lgebra de Boole
Facultad de Ingeniera
Bioingeniera
Universidad Nacional de Entre Ros
26/03/2013
Temario del da
Compuertas lgicas
Formas comerciales de compuertas lgicas
26/03/2013
26/03/2013
Circuito
lgico
2
X
Y
Notacin
para varias
lneas
Tabla de verdad
Forma tabular de expresar una funcin lgica
Columnas entradas / salidas
Filas
26/03/2013
Salida: 1 (actuador, L)
Asignacin de estados:
0 luz apagada
1 luz encendida (salida activa por nivel alto)
PD
PI
26/03/2013
Salida: 1 (actuador, L)
Asignacin de estados:
0 luz apagada
1 luz encendida (activa por alto)
PD
PI
M
26/03/2013
Compuertas lgicas
Circuito electrnico que implementa una funcin lgica elemental
26/03/2013
Compuerta AND
Producto lgico (Y)
Nmero mnimo de entradas: 2
A
B
Z
notacin: Z = A . B
Compuerta OR
Suma lgica (O)
Nmero mnimo de entradas: 2
A
B
26/03/2013
notacin: Z = A + B
7
Z
notacin: Z = A/
notacin: Z = A
notacin: Z = A
26/03/2013
Compuerta NAND
AND negada
notacin: Z = (A . B)
Compuerta NOR
OR negada
Nmero de entradas: 2 (ampliable)
A
B
26/03/2013
notacin: Z = (A + B)
notacin: Z = A B
notacin: Z = (A B)
Compuerta de coincidencia
10
26/03/2013
11
Circuitos internos
Tecnologa
Inversor
(elemental)
NAND LS-TTL
(2 entradas)
26/03/2013
13
Tecnologa
14
Formas
comerciales
26/03/2013
15
Formas
comerciales
26/03/2013
16
Formas
comerciales
26/03/2013
17
Series TTL
Formas
comerciales
Compuertas compuestas
74LS51: AND-OR-INV
26/03/2013
18
Formas
comerciales
26/03/2013
19
Aplicaciones
Activacin de
alarma (Z > 0)
B
26/03/2013
20
lgebra de Boole
George Boole (s. XIX)
Axioma
Teoremas
26/03/2013
21
Axiomas
(A1)
X = 0 si X 1
(A1)
X = 1 si X 0
(A2)
Si X = 0 X = 1
(A2)
Si X = 1 X = 0
(A3)
0.0=0
(A3) 1 + 1 = 1
(A4)
1 .1 = 1
(A4) 0 + 0 = 0
(A5)
0 .1 = 1 . 0 = 0
(A5) 1 + 0 = 0 + 1 = 1
26/03/2013
22
26/03/2013
23
(T9)
(T10)
X . Y + X . Y = X
= X ( Y + Y)
=X.1
=X
=X
26/03/2013
24
Otros teoremas
X + X.Y = X + Y
X + X.Y = X + Y
X . (X + Y) = X . Y
= X . X + X . Y
=
+X.Y
= X.Y
26/03/2013
25
Teoremas de n variables
Idempotencia
generalizada
De Morgan
26/03/2013
26
(X + Y) = X . Y
26/03/2013
27
OR
A
AND
26/03/2013
29
Dualidad
Cualquier teorema o identidad del lgebra de conmutacin contina siendo
verdadero si tanto 0 y 1 como . y + son intercambiados en todas partes
26/03/2013
30
31
26/03/2013
32
26/03/2013
33
Producto cannico
Expresin algebraica de una funcin lgica como el producto de los maxitrminos que
hacen 0 la funcin.
F = (X + Y + Z) . (X + Y + Z) . (X + Y + Z)
26/03/2013
34
26/03/2013
35
26/03/2013
#1 Tabla de verdad
36
#2 Expresin lgica:
Suma de productos
Expandiendo
a una forma
estndar
#3 Expresin lgica:
Producto de sumas
Expandiendo
a una forma
estndar
26/03/2013
39
F = 1 para N = 1, 2,
3, 5, 7, 11, 13
26/03/2013
40
26/03/2013
41
26/03/2013
42
Ejemplo #1: sntesis a partir de una tabla de verdad usando los minitrminos
Z ( A, B) B'.A B. A (1,3)
A, B
Z = A . B + A . B
B
A.B
= A (B + B)
=A.1
A.B
Z = A.B + A.B
26/03/2013
=A
43
Ejemplo #2: sntesis a partir de la misma tabla de verdad usando los maxitrminos
Z = (A + B) . (A + B)
= A.A + A.B + B.A + B.B
A + B
=A
+ A.(B + B) + 0
=A
+ A.1
=A
+A
=A
Z = (A + B) . (A + B)
A+B
26/03/2013
44
45
Z = AB + AC + BC
(3 AND de 2 entradas y 1 OR de 3 entradas)
A
B
Z
C
26/03/2013
46
Diseo
Entradas: 3
Salidas: 2 (funciones)
S, COUT = X + Y + CIN
26/03/2013
47
Tecnologa
Tiempos de transicin
tTLH tr
tTHL tf
tTLH / trRise time: The time interval between one reference point on a waveform
and a second reference point of greater magnitude on the same waveform.
tTHL / tf Fall time: The time interval between one reference point on a waveform
and a second reference point of smaller magnitude on the same waveform.
26/03/2013
48
Tiempos de propagacin
Tecnologa
Serie LS-TTL
Tecnologa
26/03/2013
50
26/03/2013
51
A
B
C
Atraviesa 2 compuertas
Atraviesa 3 compuertas
Atraviesa 2 compuertas
Atraviesa 3 compuertas
Atraviesa 3 compuertas
D
Peor caso 3 compuertas = 3.tr
26/03/2013
52
Se asume que:
T3 distinto de T2
T3 > (T1 + T2)
26/03/2013
53
hazard
Z1 = AB + AC + BC
Z2 = (A + B) C + AB
AB
B
AC
Z1
AB
B
Z2
C
BC
A+B
Versin de 2 tp
A
B
C
(A+B)C
Versin de 3 tp
1
AB
(A+B)
(A+B)C
Qu pasa si A cambia
antes de 3 tp?
Z
tp1 tp2 tp3
54
retardo
producto suma
X + Y = (X . Y)
X . Y = (X + Y)
(A . A) = A
(A + A) = A
55
26/03/2013
Ejemplo
X + Y = (X . Y)
A
B
Z = AB + AC + BC
= (AB + AC + BC)
4 compuertas
2 CIs
Versin #2
Suma de
productos
1 CI AND 2i
1 CI OR 3i
Versin #1
NAND
A
B
A
B
Z
A
C
B
C
26/03/2013
5 compuertas
2 CIs
1 CI NAND 2i
1 CI NAND 3i
2 CIs NAND 3i
C
4 compuertas
2 CIs
1 CI AND 2i
1 CI OR 2i
Versin #3
56
Conclusiones
Cualquier circuito lgico puede implementarse con una combinacin de
AND, OR e INV o solamente con NAND o NOR
26/03/2013
57
FIN
26/03/2013
58