Tema02.Algebra de Boole

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
l l
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008
lgebra de Boole
l 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) B = {0, 1} = {+, }
Un lgebra se define por un conjunto de elementos con unas operaciones. En nuestro caso:
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 a + b c = (a + b) (a + c) a (b + c) = a b + a c
4
Propiedad distributiva
a, b, c B
Postulados del lgebra de Boole

l
Elemento inverso o complementario
a B
aB
a+a =1 aa = 0
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:
l
a+a=a aa=a
a = a + 0 = a + a a = (a + a)(a + a) = (a + a) 1 = a + a
aB
a+1=1 a0=0
6

l
De las propiedades anteriores se pueden definir las operaciones bsicas

a b a+b 0 0 0 1 1 0 1 1 0 1 1 1 a b ab 0 0 0 1 1 0 1 1 0 0 0 1 a 0 1
a
1 0
Tabla de verdad: proporciona el valor de una funcin para todas las posibles combinaciones de valores de las entradas

l
Involucin Absorcin
a B a, b B
a=a
Demostracin:
l
a + ab = a a (a+b) = a
a + ab = a 1 + ab = a(1 + b) = a 1 = a
Propiedad asociativa
a, b, c B
(a + b) + c = a + (b + c) (a b) c = a (b c)

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
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
10
Representacin de funciones lgicas

l
Expresin
Tabla de verdad
a b f(a,b) 0 0 0 1 1 1
f(a, b) = a + b
0 1 1 0 1 1
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 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
f (a,b, c ) = a + b c
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: a b c f 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 0
l l
f (a,b, c ) = a b c = m2
Regla para obtener la expresin:
0 variable negada 1 variable sin negar
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: 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
l l
f (a,b, c ) = (a + b + c ) = M2
Regla para obtener la expresin:
0 variable sin negar 1 variable negada
CUIDADO: al contrario que los mintrminos!
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

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
l
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
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 0 1 1 0 1 0 0 0 1 0 1 1 1 1 0 0 1 1 1 0
f (a, b, c ) = (0,2,5) = m(0,2,5) =

3 3
= abc + abc + abc
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 1 0 0 0 1 0 1 1 1 1 0 0 1 1 1 0 CUIDADO: al contrario que los mintrminos!
f (a, b, c ) = (1,3,4,6,7 ) = M(1,3,4,6,7 ) =

3 3
= (a + b + c )(a + b + c )(a + b + c ) (a + b + c )(a + b + c )
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
a 0 1 a 0 1
l
l
l
Puerta NOT o inversor z=a

a 0 1
a
1 0
19
Puertas AND y OR
l
Puerta AND z=ab

a b ab 0 0 0 1 1 0 1 1 0 0 0 1
Puerta OR z=a+b
a b a+b 0 0 0 1 1 0 1 1 0 1 1 1
20
Puertas NAND y NOR

l
Puerta NAND
Puerta NOR
z = ab = a +b
a b ab 0 0 0 1 1 0 1 1 1 1 1 0
z = a+b = a b
a b a+b 0 0 0 1 1 0 1 1 1 0 0 0
21
Puertas XOR y XNOR

l
Puerta XOR (OR-Exclusiva)

z = a b = ab + ab = (a + b)(a + b)
a b a b 0 0 0 1 1 0 1 1 0 1 1 0
Puerta XNOR (NOR-Exclusiva)

z = a b = ab + a b = (a + b)(a + b)
a b ab 0 0 0 1 1 0 1 1 1 0 0 1
22
Generalizacin a n entradas
Valor de la salida Puerta AND OR NAND NOR XOR XNOR 0 Alguna entrada = 0 Todas las entradas = 0 Todas las entradas = 1 Alguna entrada = 1 Hay un n par de entradas = 1 Hay un n impar de entradas = 1 1 Todas las entradas = 1 Alguna entrada = 1 Alguna entrada = 0 Todas las entradas = 0 Hay un n impar de entradas = 1 Hay un n par de entradas = 1
23
Otros smbolos
l
Un crculo en una entrada o una salida indica negacin
a b c
z = abc
24
Tecnologas digitales
l 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
Tensin alta (5V, 3.3V, 2.5 V, etc) 1 Tensin baja (0V) 0
Existen muchas tecnologas, segn la forma en que se realizan las puertas lgicas y las caractersticas que se obtienen
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:
Serie 74: 0 a 70 Serie 54: -55 a 125 LS ALS F HC AHC G .
Segn la tecnologa utilizada:
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
Importante: las subfamilias no son compatibles entre s
27
Hojas de catlogo
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
29
Retardos
l
Las puertas lgicas no conmutan instantneamente

Inversor ideal Inversor real V
tp
El retardo limita la velocidad de operacin del circuito

30
Consumo
l
Las puertas lgicas consumen energa:
Esttica: la que se consume por tener alimentada la puerta lgica, sin cambiar los valores lgicos Dinmica: la que se consume al conmutar
En la tecnologa CMOS (la ms utilizada actualmente), el consumo esttico es muy pequeo. Sin embargo,
Los circuitos modernos pueden llegar a tener ms de 108 puertas lgicas! El consumo dinmico es proporcional a la frecuencia de conmutacin 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
31
El consumo es un problema importante:
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
32
Inversor CMOS
Vcc Vcc
Vi=0
Vo=1
Vi=1
Vo=0
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
34
Buffer triestado
l
Un tipo especial de puerta lgica que puede poner su salida en alta impedancia
e a e a s 0 0 0 1 1 0 1 1 s Z Z 0 1
35
Buffer triestado
l
Los buffers triestado son tiles para permitir mltiples conexiones a un mismo punto evitando cortocircuitos
X 0 0 1 Cortocircuito! 0 1 Z 0
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
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
38
Realizacin de circuitos con puertas NAND

l 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
39
Realizacin de circuitos con puertas NOR

l l
Aplicacin directa de las leyes de De Morgan Ejemplo:

a b c
f (a, b, c ) = a b + cd = = a b + cd = a + b + c + d
40
Minimizacin de funciones lgicas

l
Una funcin lgica tiene mltiples expresiones equivalentes

mejor
La forma ms sencilla dar lugar a una implementacin En tamao o rea:
Criterios de optimizacin:
En velocidad o retardo:
salida
l
Menor nmero de puertas lgicas Puertas lgicas con el menor nmero de entradas Menor nmero de puertas lgicas desde una entrada hasta la
Nos centraremos en la optimizacin en rea

41
Minimizacin de funciones lgicas

l
Mtodos de optimizacin
Boole
Manual: aplicacin directa de las leyes del lgebra de En dos niveles: el objetivo es obtener una expresin ptima
en forma de suma de productos o productos de sumas
Muy difcil, no sistemtico
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
42
Mtodos de los mapas de Karnaugh

l l 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
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
ab
ab + bc
=
l
+ bc
La observacin de las adyacencias puede ser difcil en la prctica

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
45
Mapas de Karnaugh: adyacencias

l
Dos variables
a b
0 1 0 1
Tres variables
a bc
0 1 00 01 11 10
bc
0 1
00
01
11
10
46

l
Cuatro variables
cd
00 01 11 10
ab
ab
cd
00
01
11
10
00 01 11 10
00 01 11 10
47

l
Cinco variables
de
00 01 11 10
bc
bc
de
00
01
11
10
00 01 11 10
00 01 00 01
a=0
a=1
48
Mapas de Karnaugh: numeracin de las casillas

l
Dos variables a b
0 1 0
0 2
Cuatro variables ab cd
00
0 4 12 8
1
1 3
01
1 5 13 9
11
3 7 15 11
10
2 6 14 10
00 01 11 10
Tres variables a bc
0 1 00
0 4
01
1 5
11
3 7
10
2 6
49
Mapas de Karnaugh: numeracin de las casillas

l
Cinco variables
de
00
0 4 12 8
bc
01
1 5 13 9
11
3 7 15 11
10
2 6 14 10
bc
de
00
16 20 28 24
01
17 21 29 25
11
19 23 31 27
10
18 22 30 26
00 01 11 10
00 01 00 01
a=0
a=1
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:
a bc
0 1 00 01 11 10
1 1
f (a, b, c ) = (0,1,2,3,7) =
3
= ( 4,5,6)
3
bc
0 1
00
01
11
10
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

00 01 11 10
Regla para maxtrminos
0 variable sin negar 1 variable negada

00 01 11 10
bc
0 1
bc
0 1
0
a + b + c = M5
a b c = m3
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 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 .
Buscar grupos de casillas adyacentes
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)
53
Simplificacin: formacin de grupos

ab cd
00 01 11 10
ab
cd
00
01
11
10
ab
cd
00
01
11
10
00 01 11 10
1 1 1
abc
bc d
ab
00
1 1 1
bd
1 1 1 1 1 1 1
00 01 11 10
1 1 1 1
1 1 1 1
01 11 10
bd
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 Comenzar siempre cubriendo las casillas que tienen menos opciones
55
Si en algn paso hay ms de una opcin:
Simplificacin mediante Mapas de Karnaugh: Ejemplo

ab cd
00 01 11 10
ab
cd
00
01
11
10
00 01 11 10
1 1 1 1 ab cd
00 01 11 10
00
1 1 1 1 ab cd
00 01 11 10
1 1
01 11 10
1 1
00 01 11 10
1 1 1 1 1 1
00
1 1 1 1
56
01 11 10
1 1
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 Un valor indiferente se representa con X - El conjunto de trminos indiferentes (dont cares) se denota con la letra
Notacin:
57
Funciones incompletas
b3 b2 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 b1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 b0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 f 0 1 0 1 0 1 0 1 0 1 X X X X X X 58
Ejemplo: Funcin que determina si un nmero BCD es impar
0 0 0 0 0 0
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 4
0 0 1 1 1 1
= (0,2,4,6,8) + (10,11,12,13,14,15)
4 4
Combinaciones indiferentes
1 1 1 1
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
00 01 11 10 00 01 11 10
b 3b 2
b 3b 2
b 1b 0
00
01
11
10
1 1 X X 1
1 1 X X X X
00 01 11 10
1 1 X X 1
1 1 X X X X
Correcto
f (b3, b2, b1, b0 ) = b3 b0 + b2 b1 b0
f (b3, b2, b1, b0 ) = b0

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
lgica
Se pueden compartir trminos o partes comunes para ahorrar
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
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 a c
f1
Trminos comunes
a c d a b c
f2
61

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
62

a c d a c f1
Trminos comunes
a b c d a b c
f2
63
Sntesis multinivel
l
Si eliminamos la restriccin a dos niveles, se pueden encontrar mejores soluciones
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 a
a b c a d a e
Multinivel
64
Herramientas de optimizacin
l
Mtodos manuales:
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 software
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
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
66

Tema02.Algebra de Boole

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Tema02.Algebra de Boole

Uploaded by

Copyright:

Available Formats

Algebra de Boole y puertas lgicas

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

Universidad Carlos III de Madrid

An Investigation of the Laws of Thought (1854) B = {0, 1} = {+, }

Postulados del lgebra de Boole

Ley de composicin interna Elementos neutros

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

Postulados del lgebra de Boole

Elemento inverso o complementario

Propiedades fundamentales del lgebra de Boole

Propiedades fundamentales del lgebra de Boole

De las propiedades anteriores se pueden definir las operaciones bsicas

Propiedades fundamentales del lgebra de Boole

Propiedades fundamentales del lgebra de Boole

Funciones y expresiones booleanas

Una variable lgica o booleana es cualquier elemento

Representacin de funciones lgicas

Obtencin de la tabla de verdad a partir de una expresin

0 variable negada 1 variable sin negar

0 variable sin negar 1 variable negada

CUIDADO: al contrario que los mintrminos!

Teorema de Expansin de Shannon

Toda funcin booleana se puede descomponer de las siguientes formas

La otra forma se demuestra por dualidad

Corolario del Teorema de Expansin de Shannon

Aplicando recursivamente el Teorema: f (a, b, c ) = a f (0, b, c ) + a f (1, b, c ) =

Primera forma cannica

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

= abc + abc + abc

Segunda forma cannica

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

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

Puerta NOT o inversor z=a

Puerta AND z=ab

Puertas NAND y NOR

Puertas XOR y XNOR

Puerta XOR (OR-Exclusiva)

Puerta XNOR (NOR-Exclusiva)

Un crculo en una entrada o una salida indica negacin

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

Segn el rango de temperaturas de operacin:

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

Segn la tecnologa utilizada:

Designacin de componentes: Ejemplo: 74HC00

Importante: las subfamilias no son compatibles entre s

Caractersticas de las tecnologas digitales

Cada tecnologa o subfamilia presenta valores diferentes respecto a estos parmetros

Las puertas lgicas no conmutan instantneamente

El retardo limita la velocidad de operacin del circuito

Las puertas lgicas consumen energa:

El consumo es un problema importante:

Hay situaciones que no se corresponden con valores lgicos

Alta impedancia o triestado (Z)

Realizacin de una funcin lgica con puertas lgicas

Realizacin de circuitos con puertas NAND

Aplicacin directa de las leyes de De Morgan Ejemplo: f (a,b, c ) = a b + cd =

Realizacin de circuitos con puertas NOR

Aplicacin directa de las leyes de De Morgan Ejemplo:

Minimizacin de funciones lgicas

Una funcin lgica tiene mltiples expresiones equivalentes

La forma ms sencilla dar lugar a una implementacin En tamao o rea:

Nos centraremos en la optimizacin en rea

Minimizacin de funciones lgicas

Muy difcil, no sistemtico