Beruflich Dokumente
Kultur Dokumente
Tema 2: lgebra booleana y puertas lgicas 1) Introduccin BB1, Cap 4 (Introduccin) BB1, Cap 4, Ap 4.1, 4.2, 4.3 BB1, Cap 4, Ap: 4.3.1, BB1, Cap 4, Ap: 4.3.7, 4.4, 2) lgebra de Boole
3) Concepto de funcin lgica y tabla de verdad. 4.3.2 4) Funciones lgicas bsicas y puertas lgicas. 4.4.1, 4.4.2, 4.4.3, 4.4.4, 4.4.5, 4.4.7
5) Operadores completos NAND / NOR BB1, Cap 4, Ap 4.3.7: Pgs 138 139 // BB1, Cap 5, Ap 5.2: Pgs 188 191
BB1) Estructura de Computadores I (Gestin y Sistemas), Carlos de Mora Buenda y otros, UNED, 1 Edicin 3 reimpresin, 2004, ISBN 843624642X
Bibliografa:
REF: Estructura y Tecnologa de Computadores I (Gestin de Sistemas) AUTOR: Carlos de Mora y otros. PGs: Captulo 4
1. Introduccin
BLOQUE 1: CODIFICACIN DE LA INFORMACIN
BAJO NIVEL
ALTO NIVEL
Modelo Estructural y generalidades. Modelo Funcional (Parte I). Modelo Funcional (Parte II). Modelo Funcional (Parte III). Modelo Procesal. Perifricos.
MICRO REAL
1. Introduccin
Distintos niveles de abstraccin
NIVEL MAQUINA SIMBLICA MAQUINA OPERATIVA MAQUINA CONVENCIONAL CPU COMPONENTES LENGUAJE LENGUAJES DE ALTO NIVEL LLAMADAS AL 5.0. + LENGUAJE MAQUINA LENGUAJE MAQUINA INSTRUCCIONES CONV. REPRESENTACIN INFORMACIN
ALTO NIVEL
1)
MICROMAQUINA REGISTROS ALUs
ETC
1) 2) 3)
MEMORIAS BUSES CIRCUITO LGICO CIRCUITO ELECTRNICO PUERTAS LGICAS COMPONENTES ELECTRNICOS LGEBRA DE BOOLE LEYES DE LA ELECTRICIDAD
BAJO NIVEL
1. Introduccin
1. Introduccin
El objetivo de los siguientes temas (2 a 6) es disear circuitos que realicen funciones generales (suma, comparacin, etc.). Las entradas y salidas de nuestros circuitos son cables cuyos niveles de tensin/intensidad son traducidos a valores binarios (0,1). Los valores binarios (0,1) en los circuitos estarn asociados a: Valores numricos decimales:
110 (sin signo) 1 (binario) 6 (decimal) | 110 (signo-magnitud) FALSO -2 (decimal)
Utilizamos operadores lgicas para especificar los circuitos: Si se deben dar 2 condiciones a la vez OPERADOR Y (AND) Si slo se deben dar 1 de las 2 condiciones OPERADOR O (OR)
Manuel Bjar Domnguez ETC TEMA 2: lgebra Booleana y Puertas Lgicas 6
1. Introduccin
EJEMPLO 1 (Interruptores A y B / Luces 1,2 y 3) Si pulso A y B no est pulsado -> Accionar Luz 1 Si pulso B y A no est pulsado -> Accionar Luz 2 Si pulso A o B -> Accionar Luz 3 VERDADERO = 1 // FALSO = 0 Si pulso A y B no est pulsado (A=1 Y B=0) -> Accionar Luz 1 (L1=1) Si pulso B y A no est pulsado (A=0 Y B=1) -> Accionar Luz 2 (L2=1) Si pulso A o B (A=1 O B=1) -> Accionar Luz 3 (L3=1) EJEMPLO 2 (Sumador de 3 bits) Entradas: 3 (011) y 2 (010) -> Salida: 5 (101)
Manuel Bjar Domnguez ETC TEMA 2: lgebra Booleana y Puertas Lgicas 7
Bibliografa:
REF: Estructura y Tecnologa de Computadores I (Gestin de Sistemas) AUTOR: Carlos de Mora y otros. PGs: Captulo 4
2. lgebra de Boole.
lgebra de Boole Bivalente-> Operaciones lgicas, Circuitos digitales Herramienta matemtica que posteriormente servir de base en el anlisis y sntesis de circuitos digitales. El lgebra de Boole es una estructura matemtica que se construye a partir de un conjunto de elementos sobre los que se definen unos operadores que permiten realizar operaciones en ellos, estableciendo unos postulados o axiomas que relacionan tanto al conjunto de elementos como al conjunto de operadores. El lgebra de Boole Bivalente est definida sobre un conjunto con dos elementos B = {0, 1} y las operaciones suma lgica + (OR) y producto lgico (AND).
Manuel Bjar Domnguez ETC TEMA 2: lgebra Booleana y Puertas Lgicas 9
2. lgebra de Boole.
Elementos lgebra de Boole Bivalente B = {0, 1} Operaciones lgebra de Boole Bivalente
10
2. lgebra de Boole.
POSTULADO I El conjunto B es cerrado con respecto a las 2 operaciones: POSTULADO II Existe un elemento identidad en las 2 operaciones: Postulados
a.1=a POSTULADO III Las dos operaciones cumplen la propiedad conmutativa: a+0=a
Sobre POSTULADO IV cualesquiera Cada operacin es distributiva con respecto de la otra: elementos a,b,c pertenecientes a B POSTULADO V Existe un elemento complementario: POSTULADO VI En el conjunto B existen al menos 2 elementos diferentes.
Manuel Bjar Domnguez ETC TEMA 2: lgebra Booleana y Puertas Lgicas 11
a+a=1 a.a=0
2. lgebra de Boole.
POSTULADO I El conjunto B es cerrado con respecto a las 2 operaciones: Se cumple el primer postulado ya que el conjunto B es cerrado para las dos operaciones definidas. COMPROBACIN POSTULADO II POSTULADOS Existe un elemento identidad en las 2 operaciones: EN a+0=a a.1=a LGEBRA POSTULADO III BIVALENTE Las dos operaciones cumplen la propiedad conmutativa:
Los postulados segundo y tercero se pueden comprobar directamente observando las tablas de la diapositiva anterior.
Manuel Bjar Domnguez ETC TEMA 2: lgebra Booleana y Puertas Lgicas 12
2. lgebra de Boole.
POSTULADO IV Cada operacin es distributiva con respecto de la otra:
13
2. lgebra de Boole.
TEOREMAS (Consecuencia de Postulados) PRINCIPIO DE DUALIDAD Sea E una igualdad entre dos expresiones booleanas. Sea ED otra igualdad obtenida a partir de E , intercambiando los operadores + y ., y los elementos de identidad 0 y 1. Si E es una igualdad que se verifica para cualquier valor de sus variables, ED, denominada dual de E, tambin lo es. LEY DE IDEMPOTENCIA Para cualquier elemento a en un lgebra de Boole, se verifica que:
OPERACIONES CON ELEMENTOS IDENTIDAD Para cualquier elemento a en un lgebra de Boole, se cumple que:
14
2. lgebra de Boole.
TEOREMAS (Consecuencia de Postulados) UNICIDAD DEL COMPLEMENTO El complemento de cada elemento es nico. LEY DE INVOLUCIN Para cualquier elemento a en un lgebra de Boole, se verifica que: LEY DE ABSORCIN Para cada par de elementos a y b de un lgebra de Boole se verifica que: LEY DE MORGAN En un lgebra de Boole se verifica que:
15
2. lgebra de Boole.
EJEMPLO 1: DEMOSTRACIN LEYES DE MORGAN
16
2. lgebra de Boole.
EJEMPLO 2: DEMOSTRACIN LEYES DE MORGAN
17
2. lgebra de Boole.
COMPARACIN: LGEBRA DE BOOLE vs NMEROS REALES
18
Bibliografa:
REF: Estructura y Tecnologa de Computadores I (Gestin de Sistemas) AUTOR: Carlos de Mora y otros. PGs: Captulo 4
VARIABLES LGICAS
Se define una variable lgica como un smbolo, por ejemplo a, que representa a cualquiera de los elementos B del lgebra de Boole bivalente. EJEMPLO: Variable a valores posibles: 0 y 1.
FUNCIONES LGICAS
Se define una funcin lgica como una correspondencia entre Bn y B, de tal forma que: EJEMPLO: Funcin lgica f = a (b+c)
Variable a Variable b Variable c Funcin lgica
El valor de una funcin se determina sustituyendo las variables por sus valores en la expresin algebraica y aplicando las reglas definidas para las operaciones + y .
Se procede igual que en el lgebra ordinaria, de izquierda a derecha, realizando las operaciones segn el siguiente orden: parntesis, complemento, operador . y por ltimo el operador +.
Manuel Bjar Domnguez ETC TEMA 2: lgebra Booleana y Puertas Lgicas 21
Forma de representacin alternativa a las funciones lgicas. Indican el valor que toma la funcin para cada una de las combinaciones de las entradas.
22
Bibliografa:
REF: Estructura y Tecnologa de Computadores I (Gestin de Sistemas) AUTOR: Carlos de Mora y otros. PGs: Captulo 4
4. Funciones lgicas bsicas y puertas asociadas. Las 24 posibles tablas de verdad con 2 variables lgicas son:
FUNCIONES CONSTANTES
24
25
26
27
TABLA RESUMEN
28
4. Funciones lgicas bsicas y puertas asociadas. CONCEPTO DE PUERTA LGICA La implementacin de funciones lgicas se realiza mediante dispositivos electrnicos denominados puertas lgicas (o digitales), siendo stas los componentes bsicos de la electrnica digital. FUNCIONAMIENTO DE UNA PUERTA LGICA Las puertas lgicas son circuitos que proporcionan como salida unos niveles de tensin en funcin de los niveles de tensin en sus entradas.
V1 (4,5 voltios) V2 (4,9 voltios) PUERTA LGICA V3 (3,9 voltios)
??
V 3 = V 1 V 2
Manuel Bjar Domnguez ETC TEMA 2: lgebra Booleana y Puertas Lgicas 29
4. Funciones lgicas bsicas y puertas asociadas. RANGOS DE TENSIONES Se definen 2 rangos de tensin para clasificar los niveles de tensin que hay en las entradas y salidas de una puerta lgica. Rango tensiones alto: normalmente asociado al 1 lgico. Rango tensiones bajo: normalmente asociado al 0 lgico. TIPOS DE LGICA (segn asignacin rangos de tensin) Segn a qu valor lgico se asocien los rangos de tensin, existen los siguientes tipos de lgica digital: Lgica positiva: Rango tensiones altas > 1 lgico Lgica negativa: Rango tensiones altas -> 0 lgico
30
4. Funciones lgicas bsicas y puertas asociadas. Definiendo en el ejemplo anterior: 5 Rango tensiones alto (2,5 v 5 v) -> 1 lgico 2.5 Rango tensiones bajo (0 v - 2,5 v) -> 0 lgico 0
V1 (4,5 voltios) -> 1 lgico V2 (4,9 voltios) -> 1 lgico PUERTA LGICA V3 (3,9 voltios) -> 1 lgico
V 3 = V 1 V 2
EXISTIRAN OTRAS POSIBLES FUNCIONES ASOCIADA A ESTA PUERTA?
Por tanto, mediante la definicin anterior, las entradas y salidas de las puertas lgicas (en principio, valores analgicos de tensin) podrn ser entendidas como 0 y 1 (valores digitales).
Manuel Bjar Domnguez ETC TEMA 2: lgebra Booleana y Puertas Lgicas 31
4. Funciones lgicas bsicas y puertas asociadas. PUERTAS LGICAS NORMALIZADAS EN DISEO DIGITAL Entre todas las funciones en la tabla (Conjunto de Funciones Lgicas de dos Variables Lgicas), las que realmente se implementan de forma normalizada en el diseo digital son: AND / OR NAND / NOR NOT / SEGUIDOR XOR / XNOR Como es lgico suponer, cada una de las Funciones Lgicas de dos Variables Lgicas mencionadas anteriormente podra ser extrapolada para n variables de entrada (implementndose tambin de forma normalizada en el diseo digital). EJ: Puerta AND de 3 entradas
Manuel Bjar Domnguez ETC TEMA 2: lgebra Booleana y Puertas Lgicas 32
4. Funciones lgicas bsicas y puertas asociadas. FAMILIAS DE PUERTAS LGICAS La tecnologa empleada caracteriza ciertos parmetros fsicos: Velocidad de propagacin de las seales, Niveles de tensin de funcionamiento / Consumo de energa Tamao o el coste de los dispositivos. Las puertas lgicas se clasifican en familias (cada una con una tecnologa asociada). Los elementos de una familia tienen valores similares para los parmetros fsicos comentados anteriormente.
33
34
f = a b FUNCIN LGICA PUERTA LGICA AND SMBOLO La salida de una puerta AND vale 1 slo si todas y cada una de las variables de entrada son simultneamente 1. La funcin AND realiza la operacin de producto lgico, siendo su smbolo algebraico . Se lee por o tambin y. CRONOGRAMA TABLA DE VERDAD
35
4. Funciones lgicas bsicas y puertas asociadas. PUERTA LGICA AND CIRCUITOS COMERCIALES
36
4. Funciones lgicas bsicas y puertas asociadas. PUERTA LGICA AND EJEMPLO DE APLICACIN Circuito para habilitar o inhabilitar el paso de una seal de reloj (tren de impulsos) mediante una entrada de control (habilitacin).
37
f =a+b
PUERTA LGICA OR
La salida de una puerta OR vale 1 si una cualquiera de sus variables de entrada vale 1. La funcin OR realiza la operacin de suma lgica, siendo su smbolo algebraico +. Se lee ms o tambin o. CRONOGRAMA
TABLA DE VERDAD
38
4. Funciones lgicas bsicas y puertas asociadas. PUERTA LGICA OR EJEMPLO DE APLICACIN Circuito que active una sirena S cuando cualquiera de los sensores situados en tres ventanas (seales A, B, C) y una puerta (seal D), detecten una intrusin.
f =a
La salida es el complemento de la entrada, es decir, si la entrada vale 0 la salida vale 1 y si la entrada vale 1 la salida vale 0. La funcin NOT realiza la operacin de complementacin lgica. CRONOGRAMA
TABLA DE VERDAD
40
4. Funciones lgicas bsicas y puertas asociadas. PUERTA LGICA NOT (Inversora) EJEMPLO DE APLICACIN Circuito que realice el complemento a uno de un nmero binario de ocho bits.
41
4. Funciones lgicas bsicas y puertas asociadas. FUNCIN LGICA SMBOLO PUERTA LGICA BUFFER La salida es igual a la entrada. La funcin seguidor no realiza ninguna operacin lgica sobre la entrada, se justifica su utilizacin en aquellas aplicaciones en las que se requiere aumentar la corriente para excitar a dispositivos que as lo requieran. CRONOGRAMA
f =a
TABLA DE VERDAD
42
f = a b
La salida de una puerta NAND vale 0 slo si todas y cada una de las variables de entrada son simultneamente 1. La funcin NAND realiza la operacin de complementacin del producto lgico. CRONOGRAMA
TABLA DE VERDAD
43
4. Funciones lgicas bsicas y puertas asociadas. PUERTA LGICA NAND EJEMPLO DE APLICACIN Se quiere disear un circuito que detecte cundo alguno de los 2 depsitos se encuentra por debajo del 20 % de su capacidad, visualizndose en un led de color rojo esta situacin. Sensores de nivel de lquidos:1 si depsito por encima del 20 %.
44
f =a+b
La salida de una puerta NOR vale 1 slo si todas y cada una de las variables de entrada son simultneamente 0. La funcin NOR realiza la operacin de complementacin de la suma lgica. CRONOGRAMA
TABLA DE VERDAD
45
4. Funciones lgicas bsicas y puertas asociadas. PUERTA LGICA NOR EJEMPLO DE APLICACIN Sistema que indica si un coche circula con las puertas mal cerradas. El sistema de deteccin del estado de las puertas p de un automvil entrega un nivel bajo si se encuentra alguna puerta mal cerrada. La seal m presenta nivel bajo si el coche supera los 10 Km/h.
46
f = ab
La salida de una puerta XOR vale 1 cuando el nmero de entradas con valor igual a 1 sea impar y su salida vale 0 en caso contrario. Para el caso particular de puertas XOR de dos entradas, su salida vale 1 cuando las variables de entrada tomen valores distintos. CRONOGRAMA
TABLA DE VERDAD
47
CIRCUITOS COMERCIALES
48
Bibliografa:
REF: Estructura y Tecnologa de Computadores I (Gestin de Sistemas) AUTOR: Carlos de Mora y otros. PGs: Captulo 4
Un conjunto de operadores es funcionalmente completo, si cualquier funcin lgica se puede expresar mediante los operadores de este conjunto. {, +, -} es funcionalmente completo. {, -} (NAND) es funcionalmente completo. {+, -} (NOR) es funcionalmente completo.
x+ y
NOR
Manuel Bjar Domnguez
x y
NAND
ETC TEMA 2: lgebra Booleana y Puertas Lgicas 50
f = a+b=a+b=a+b+a+b
f = b + a puede ser expresado con operadores NAND (leyes de Morgan)
f = a + b = a + b = ab = aabb
EQUIVALENCIA DE (NOT, AND, OR) CON OPERADOR COMPLETO NAND
51
52