Académique Documents
Professionnel Documents
Culture Documents
ndice
1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11.
Propiedades algebraicas Definicin axiomtica de lgebra booleana Teoremas bsicos del lgebra booleana Funciones booleanas Formas cannicas Formas normalizadas Otras operaciones lgicas Puertas lgicas digitales Ampliacin a varias entradas y operadores Implementaciones de puertas Tecnologa VLSI
lgebra Booleana y Diseo Lgico. 2
EITE, ULPGC.
Propiedades Algebraicas
Un conjunto es una coleccin de objetos con una propiedad comn o varias x es miembro de S :
EITE, ULPGC.
Propiedades Algebraicas
Cierre: Un conjunto S se dice cerrado respecto a la operacin si, y slo si,
EITE, ULPGC.
Propiedades Algebraicas
Conmutativa: Una operacin es conmutativa si, y slo si,
Propiedades Algebraicas
Distributiva: Siendo y operadores en S, es distributiva respecto a si, y slo si,
EITE, ULPGC.
Cierre
B es cerrado respecto a + B es cerrado respecto a
Elemento identidad
Existe elemento identidad para + (0) Existe elemento identidad para (1)
EITE, ULPGC.
Propiedad conmutativa
+ es conmutativa es conmutativa
Propiedad distributiva
es distributiva respecto a + + es distributiva respecto a
Elemento complemento
EITE, ULPGC.
Cardinalidad acotada
Al menos existen dos elementos, x e y, tales que
xy
EITE, ULPGC.
de complemento ( x ' x )
Tambin se llama negacin o inversin
EITE, ULPGC.
10
la divisin
EITE, ULPGC.
EITE, ULPGC.
12
EITE, ULPGC.
13
0 para + y 1 para
y y
14
EITE, ULPGC.
Propiedad distributiva
La operacin + es distributiva respecto a la La operacin es distributiva respecto a la +
Elemento complemento
EITE, ULPGC.
15
Propiedad conmutativa
La operacin + es conmutativa en B La operacin es conmutativa en B Se puede deducir a partir de la simetra de las
EITE, ULPGC.
16
Prueba de que x (y + z) = (x y ) + (x z )
EITE, ULPGC. lgebra Booleana y Diseo Lgico. 17
Prueba de que x + (y z ) = (x + y ) (x + z )
EITE, ULPGC. lgebra Booleana y Diseo Lgico. 18
Complemento
El 0 y el 1 son complementos el uno del otro:
Cardinalidad acotada
Existen al menos dos elementos, representados
EITE, ULPGC.
19
operadores es:
( ) NOT AND OR
Principio de Dualidad
Si una expresin es vlida en el lgebra
EITE, ULPGC.
21
Principio de Dualidad
Si
x+1=1 x 0=0
Si x + x '= 1
xx'=0
EITE, ULPGC.
22
x+x =x
Por dualidad, x x = x
lgebra Booleana y Diseo Lgico. 23
EITE, ULPGC.
EITE, ULPGC.
Funciones booleanas
Se puede definir como: Una expresin algebraica formada con variables binarias y las funciones AND, OR y NOT
EITE, ULPGC.
25
Funciones booleanas
Significado de una expresin booleana: Slo hay que leerla
F1 vale 1 cuando x vale 1 e y vale 1 o cuando x vale 1, y vale 0 y z vale 1 o cuando x vale 0, y vale 1 y z vale 1
EITE, ULPGC.
26
Funciones booleanas
Se puede definir
como:
EITE, ULPGC.
Una tabla de verdad que indica el valor de la funcin para todas y cada una de las combinaciones de los valores de las variables binarias que forman parte de la funcin
27
Funciones booleanas
Complemento de
una funcin
Si est definida con una tabla de verdad, se obtiene cambiando los unos (1) por ceros (0) y los ceros por unos
lgebra Booleana y Diseo Lgico. 28
EITE, ULPGC.
Funciones booleanas
Complemento de una funcin Si est definida de forma algebraica, se aplican los Teoremas de D'Morgan
EITE, ULPGC.
29
Funciones booleanas
Teorema de D'Morgan generalizado:
EITE, ULPGC.
30
Equivalencia de expresiones
Por manipulaciones algebraicas
EITE, ULPGC.
31
Minterms
Son funciones que valen 1 para una
nica combinacin de valores de sus variables Su expresin algebraica es un producto donde aparecen todas las variables
EITE, ULPGC.
32
Minterms
EITE, ULPGC.
33
Minterms
EITE, ULPGC.
34
Minterms
EITE, ULPGC.
35
Maxterms
Son funciones que valen 0 para una
nica combinacin de valores de sus variables Su expresin algebraica es una suma donde aparecen todas las variables
EITE, ULPGC.
36
Maxterms
EITE, ULPGC.
37
Maxterms
EITE, ULPGC.
38
Formas cannicas
Son expresiones del tipo suma de
EITE, ULPGC.
Formas cannicas
Los minterms que aparecen en la forma
nicas de la funcin
EITE, ULPGC. lgebra Booleana y Diseo Lgico. 40
Formas cannicas
Los minterms 1 de una funcin son los que
EITE, ULPGC.
41
Formas cannicas
La expresin de un minterm
EITE, ULPGC.
42
Formas cannicas
Por tanto...
EITE, ULPGC.
43
Formas cannicas
Los maxterms 0 de una funcin son los
EITE, ULPGC.
44
Formas cannicas
EITE, ULPGC.
45
Formas cannicas
Cmo obtener una forma cannica de
una funcin?
EITE, ULPGC.
46
Formas cannicas
Cmo pasar de una forma cannica a
Para realizarse de forma ms cmoda se utiliza otra notacin para definir las funciones:
EITE, ULPGC.
47
Formas cannicas
Los ndices que aparecen en una forma son los que faltan en la otra
EITE, ULPGC.
48
Formas cannicas
Obtencin de formas cannicas mediante
manipulaciones algebraicas
La idea es ingenirselas para que en los distintos trminos que se sumen (o multipliquen) aparezcan todas las variables
EITE, ULPGC.
49
Formas cannicas
EITE, ULPGC.
50
Formas cannicas
EITE, ULPGC.
51
Formas cannicas
Se propone:
Obtener la tabla de verdad de la funcin anterior y obtener las formas cannicas a partir de dicha tabla Qu debera dar?
EITE, ULPGC.
52
Formas normalizadas
Son formas que responden al esquema
EITE, ULPGC.
Formas normalizadas
Literal: unidad que se refiere a una
variable o su invertida
Suma de productos:
Es una suma de distintos trminos, donde en todos ellos se realiza exclusivamente el producto de distintos literales
EITE, ULPGC.
54
Formas normalizadas
Producto de sumas:
Es un producto de distintos trminos, donde en cada uno de ellos se realiza exclusivamente la suma de distintos literales
EITE, ULPGC.
55
Formas normalizadas
Se pueden obtener...
Tomando como referencia una forma cannica y combinando trminos que se distingan en un nico literal
EITE, ULPGC.
56
Formas no normalizadas
Las que se suelen
EITE, ULPGC.
EITE, ULPGC.
58
EITE, ULPGC.
59
EITE, ULPGC.
60
EITE, ULPGC.
61
EITE, ULPGC.
62
Tecnologa VLSI
Small Scale of Integration (SSI)
Hasta 10 puertas/circuito integrado 10100 puertas/circuito integrado 1001000 puertas/circuito integrado > 1000 puertas/circuito integrado
lgebra Booleana y Diseo Lgico. 63
EITE, ULPGC.
Implementaciones de puertas
Una familia lgica es un conjunto de
circuitos elaborados con dispositivos analgicos que realizan distintas funciones en los circuitos digitales
EITE, ULPGC.
64
Familia TTL
Inversor
EITE, ULPGC.
65
Familia TTL
Si VINA = 0V...
EITE, ULPGC.
66
Familia TTL
Si VINA = 5V...
EITE, ULPGC.
67
Familia TTL
NAND
EITE, ULPGC.
68
Familia CMOS
Emplea transistores MOSFET de empobrecimiento complementarios (de canal n y p )
EITE, ULPGC.
69
Familia CMOS
En el transistor MOS de empobrecimiento de canal n, con
VGS>Vth ...
EITE, ULPGC.
70
Familia CMOS
En el transistor MOS de empobrecimiento de canal n, con VGS>Vth
EITE, ULPGC.
71
Familia CMOS
Inversor
EITE, ULPGC.
72
Familia CMOS
EITE, ULPGC.
73
Familia CMOS
EITE, ULPGC.
74
Familia CMOS
Si VA = VSS (0)
EITE, ULPGC.
75
Familia CMOS
Si VA = Vdd (1)
EITE, ULPGC.
76
Familia CMOS
NAND
EITE, ULPGC.
77
de entradasalida
EITE, ULPGC.
(...)
EITE, ULPGC.
79
vI (V)
vOH
mn
vIH vIL
mn mx
vOL
mx
- VOL
mx
- VIH
mn 80
Caracterstica de entradasalida
EITE, ULPGC.
81
EITE, ULPGC.
82
Vout (V)
2 1.5 1 0.5 0
x 10-10
2.5
t (sec)
EITE, ULPGC. lgebra Booleana y Diseo Lgico. 83
x 10-8