Documente Academic
Documente Profesional
Documente Cultură
Electrnica Digital
2013
Algebra Booleana
Electrnica Digital
Contenido
Introduccin ........................................................................................................................................ 3 Objetivos ............................................................................................................................................. 4 Marco terico ...................................................................................................................................... 4 And .................................................................................................................................................. 5 OR .................................................................................................................................................... 5 NOT ................................................................................................................................................. 5 Separador (yes) ............................................................................................................................... 6 NAND............................................................................................................................................... 6 NOR ................................................................................................................................................. 7 Algebra booleana ................................................................................................................................ 8 Operaciones bsicas ....................................................................................................................... 9 Ley Distributiva, ley Asociativa, ley Conmutativa ........................................................................... 9 Precedencia y Teorema de Morgan ................................................................................................ 9 Desarrollo .......................................................................................................................................... 11 Aplicaciones....................................................................................................................................... 20 Conclusin ......................................................................................................................................... 21 Bibliografa ........................................................................................................................................ 21
Ing. Mecatrnica
Pgina 2
Electrnica Digital
Introduccin
En esta prctica se realizo operaciones lgicas con compuertas, con la finalidad de comprobar las operaciones realizadas y verificarlas con la tablea de verdad. Dicha practica tiene por desarrollo realizar operaciones con cada una de las compuertas pero primeramente de forma manual asiendo las tablas de verdad pertinentes relazndolas en Excel, luego partimos a realizar la representacin de la simulacin en el programa de Isis y finalmente armar el circuito para comprobar los valores q se obtuvieron. Para el desarrollo de estas prcticas se utilizaron compuertas de tipo OR, AND, DAND, NOR y uno inversor con los que se armaron circuitos lgicos para esas operaciones.
Ing. Mecatrnica
Pgina 3
Electrnica Digital
Objetivos
Escribir y verificar tablas de verdad para circuitos lgicos combinacionales Disear y construir un codificador de decimal a BCD Disear y construir un circuito que relace tablas de verdad
Marco terico
La informacin binaria se representa en un sistema digital por cantidades fsicas denominadas seales, Las seales elctricas tales como voltajes existen a travs del sistema digital en cualquiera de dos valores reconocibles y representan una variable binaria igual a 1 o 0. Por ejemplo, un sistema digital particular puede emplear una seal de 3 volts para representar el binario "1" y 0.5 volts para el binario "0". La siguiente ilustracin muestra un ejemplo de una seal binaria1. La regin intermedia entre las dos regiones permitidas se cruza solamente durante la transicin de estado. Los terminales de entrada de un circuito digital aceptan seales binarias dentro de las tolerancias permitidas y los circuitos responden en los terminales de salida con seales binarias que caen dentro de las tolerancias permitidas.
Compuertas
Las compuertas lgicas son dispositivos que operan con estados lgicos y funcionan igual que una calculadora, de un lado ingresan los datos, realiza una operacin, y finalmente, te muestra
1
Ing. Mecatrnica
Electrnica Digital
el resultado. Cada una de las compuertas se las representa median un smbolo, y la operacin que realiza se corresponde con una tabla, llamada tabla de verdad2.
And Cada compuerta tiene dos variables de entrada designadas por A y B y una salida binaria designada por x. La compuerta AND produce la multiplicacin lgica AND: esto es: la salida es 1 si la entrada A y la entrada B estn ambas en el binario 1: de otra manera, la salida es 0. Estas condiciones tambin son especificadas en la tabla de verdad para la compuerta AND. La tabla muestra que la salida x es 1 solamente cuando ambas entradas A y B estn en 1. El smbolo de operacin algebraico de la funcin AND es el mismo que el smbolo de la multiplicacin de la aritmtica ordinaria. Las compuertas AND pueden tener ms de dos entradas y por definicin, la salida es 1 si todas las entradas son 13. OR La compuerta OR produce la funcin sumadora, esto es, la salida es 1 si la entrada A o la entrada B o ambas entradas son 1; de otra manera, la salida es 0. El smbolo algebraico de la funcin OR (+), es igual a la operacin de aritmtica de suma. Las compuertas OR pueden tener ms de dos entradas y por definicin la salida es 1 si cualquier entrada es 14. NOT
2
Ing. Mecatrnica
Pgina 5
Electrnica Digital
El circuito NOT es un inversor que invierte el nivel lgico de una seal binaria. Produce el NOT, o funcin complementaria. El smbolo algebraico utilizado para el complemento es una barra sobra el smbolo de la variable binaria. Si la variable binaria posee un valor 0, la compuerta NOT cambia su estado al valor 1 y viceversa. El crculo pequeo en la salida de un smbolo grfico de un inversor designa un inversor lgico. Es decir cambia los valores binarios 1 a 0 y viceversa5. Separador (yes) Un smbolo tringulo por s mismo designa un circuito separador, el cual no produce ninguna funcin lgica particular puesto que el valor binario de la salida es el mismo de la entrada. Este circuito se utiliza simplemente para amplificacin de la seal. Por ejemplo, un separador que utiliza 5 volt para el binario 1, producir una salida de 5 volt cuando la entrada es 5 volt. Sin embargo, la corriente producida a la salida es muy superior a la corriente suministrada a la entrada de la misma. De sta manera, un separador puede excitar muchas otras compuertas que requieren una cantidad mayor de corriente que de otra manera no se encontrara en la pequea cantidad de corriente aplicada a la entrada del separador6. NAND Es el complemento de la funcin AND, como se indica por el smbolo grfico, que consiste en una compuerta AND seguida por un pequeo crculo (quiere decir que invierte la seal). La designacin NAND se deriva de la abreviacin NOT - AND. Una designacin ms adecuada habra sido AND invertido puesto que es la funcin AND la
Ing. Mecatrnica
Electrnica Digital
que se ha invertido. Las compuertas NAND pueden tener ms de dos entradas, y la salida es siempre el complemento de la funcin AND. Al igual que en el caso de la compuerta AND, sta se puede encontrar en versiones de 2, 3 o ms entradas7. Tablas de verdad de la compuerta NAND:
Como se puede ver la salida X slo ser "0" cuando todas las entradas sean "1". En la realidad este tipo de compuertas no se construyen como si combinramos los dos tipos de compuertas antes mencionadas, si no que tienen un diseo independiente. NOR La compuerta NOR es el complemento de la compuerta OR y utiliza el smbolo de la compuerta OR seguido de un crculo pequeo (quiere decir que invierte la seal). Las compuertas NOR pueden tener ms de dos entradas, y la salida es siempre el complemento de la funcin OR8.
A. Bruce Carlsson, 2001, 145 pg. A. Bruce Carlsson, 2001, 135 pg.
Ing. Mecatrnica
Pgina 7
Electrnica Digital
Algebra booleana
Cuando se trabaja con circuitos digitales es muy comn que al final de un diseo se tenga un circuito con un nmero de partes (circuitos integrados y otros) mayor al necesario. Para lograr que el circuito tenga la cantidad de partes correcta (la menor posible) hay que optimizarlo (reducirlo)9.
El circuito electrnico sea ms simple El nmero de componentes sea el menor El precio de proyecto sea el ms bajo La demanda de potencia del circuito sea menor El mantenimiento del circuito sea ms fcil. Es espacio necesario (en el circuito impreso) para la implementacin del circuito ser menor.
Una herramienta para reducir las expresiones lgicas de circuitos digitales es la matemticas de expresiones lgicas, que fue presentada por George Boole en 1854, herramienta que desde entonces se conoce como lgebra de Boole.
Ing. Mecatrnica
Pgina 8
Electrnica Digital
Operaciones bsicas
Ing. Mecatrnica
Pgina 9
Electrnica Digital
Para asegurarse de que la reduccin del circuito electrnico fue exitosa, se puede utilizar la tabla de verdad que debe dar el mismo resultado para el circuito simplificado y el original10.
10
http://www.profesormolina.com.ar/electronica/componentes/int/comp_log.htm Pgina 10
Ing. Mecatrnica
Electrnica Digital
Desarrollo
Material
1 integrado 74LS00 1 integrado 74LS02 1 integrado 74LS04 1 integrado 74LS08 1 integrado 74LS11 3 integrado 74LS32 Resistencias de 220 y 1k Led
Procedimiento
1. Realice lo que se pide a. Escriba la expresin booleana y la tabla de verdad que corresponde a la salida
Ej. 01
R2
1k 1 2 13
U1:A
12
R3
1k
U2:A
74LS11 1 3 2 74LS32 6 74LS11
R1
220
D1
LED-BLUE
R4
1k (1)
U1:B
3 4 5
R5
1k
Ing. Mecatrnica
Pgina 11
Electrnica Digital
Tabla de verdad
A FALSO FALSO FALSO FALSO VERDADERO VERDADERO FALSO FALSO FALSO VERDADERO VERDADERO VERDADERO VERDADERO FALSO VERDADERO VERDADERO B FALSO FALSO FALSO VERDADERO FALSO FALSO VERDADERO VEDADERO VERDADERO VERDADERO FALSO VERDADERO FALSO VERDADERO VERDADERO VERDADERO C FALSO FALSO VERDADERO FALSO FALSO FALSO VERDADERO FALSO VERDADERO FALSO VERDADERO FALSO VERDADERO VERDADERO VERDADERO VERDADERO ABC FALSO FALSO FALSO FALSO FALSO FALSO FALSO FALSO FALSO FALSO FALSO FALSO FALSO FALSO VERDADERO VERDADERO ABD FALSO FALSO FALSO FALSO FALSO FALSO FALSO FALSO FALSO FALSO FALSO VERDADERO FALSO FALSO FALSO VERDADERO Y FALSO FALSO FALSO FALSO FALSO FALSO FALSO FALSO FALSO FALSO FALSO VERDADERO FALSO FALSO VERDADERO VERDADERO
Ing. Mecatrnica
Pgina 12
Electrnica Digital
2. Realice lo que se pide a. Anote la expresin booleana y la tabla de verdad que corresponde a la salida
Ej. 02
R7
1k 1 2 13 74ALS11
U3:A
12
R6
220
D2
LED-GREEN
R8
1k
U4:A
2 1 3 74LS02
R9
1k (1)
R10
1k
Tabla de verdad
A FALSO FALSO FALSO FALSO VERDADERO VERDADERO FALSO FALSO FALSO VERDADERO VERDADERO VERDADERO VERDADERO FALSO VERDADERO VERDADERO B FALSO FALSO FALSO VERDADERO FALSO FALSO VERDADERO VEDADERO VERDADERO VERDADERO FALSO VERDADERO FALSO VERDADERO VERDADERO VERDADERO C FALSO FALSO VERDADERO FALSO FALSO FALSO VERDADERO FALSO VERDADERO FALSO VERDADERO FALSO VERDADERO VERDADERO VERDADERO VERDADERO AB FALSO FALSO FALSO FALSO FALSO FALSO FALSO FALSO FALSO VERDADERO FALSO VERDADERO FALSO FALSO VERDADERO VERDADERO C+D FALSO VERDADERO VERDADERO FALSO FALSO VERDADERO VERDADERO VERDADERO VERDADERO FALSO VERDADERO VERDADERO VERDADERO VERDADERO VERDADERO VERDADERO Y FALSO FALSO FALSO FALSO FALSO FALSO FALSO FALSO FALSO FALSO FALSO VERDADERO FALSO FALSO VERDADERO VERDADERO
Nota: El ejercicio 1 y 2 solos mismo resultados por lo tanto es la misma expresin booleana.
Ing. Mecatrnica Pgina 13
Electrnica Digital
Tabla de verdad
A FALSO FALSO FALSO FALSO VERDADERO FALSO VERDADERO VERDADERO VERDADERO B FALSO FALSO VERDADERO VERDADERO FALSO VERDADERO VERDADERO FALSO VERDADERO C FALSO VERDADERO FALSO VERDADERO FALSO VERDADERO FALSO VERDADERO VERDADERO (A+B)C FALSO FALSO FALSO VERDADERO FALSO VERDADERO FALSO VERDADERO VERDADERO Y VERDADERO VERDADERO VERDADERO FALSO VERDADERO FALSO VERDADERO FALSO FALSO
Ing. Mecatrnica
Pgina 14
Electrnica Digital
U1:A
1 3 2 74LS32
R2
1k
R10
220
D1
LED-BLUE
R3
1k
U1:B
4 6 5 74LS32
R11
220
D2
LED-BLUE
R4
1k
R5
1k
U1:C
9 8 10 74LS32
R12
220
D3
LED-BLUE
R6
1k
U1:D
12 11 13 74LS32
R7
1k
R13
220
D4
LED-BLUE
R8
1k
R9
1k
U2:A
1 3 2 74LS32 9 8 10 6 5 74LS32 74LS32
U3:C U2:B
U2:C
9 8 10 74LS32
U2:D
12 11 13 5 74LS32 4
U3:B
6 74LS32
U3:A
1 3 2 74LS32
Ing. Mecatrnica
Pgina 15
Electrnica Digital
Tabla de verdad 0 1 0 0 0 0 0 0 0 0 0 Circuito 1 0 1 0 0 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 3 0 0 0 1 0 0 0 0 0 0 4 0 0 0 0 1 0 0 0 0 0 5 0 0 0 0 0 1 0 0 0 0 6 0 0 0 0 0 0 1 0 0 0 7 0 0 0 0 0 0 0 1 0 0 8 0 0 0 0 0 0 0 0 1 0 9 0 0 0 0 0 0 0 0 0 1 Y 0000 0001 0010 0011 0100 0101 0110 0111 1000 1001
Ing. Mecatrnica
Pgina 16
Electrnica Digital
5. Realice lo que se pide a. Escriba una expresin booleana y la tabla de verdad del siguiente circuito
Ej. 05
1
U5:A R12
1k 3 2 74LS00 8 10 9 74LS02 4 6 74LS02
U4:C R11
220
D3
LED-RED
(1)
R13
1k
U4:B
5
Y A B AB
y AB A B AB AB AB
Tabla de verdad
A+B FALSO FALSO VERDADERO VERDADERO AB VERDADERO VERDADERO VERDADERO FALSO
Ing. Mecatrnica
Pgina 17
Electrnica Digital
6. Realice lo que se pide a. Disee un circuito que realice la tabla de verdad del siguiente
Ej. 6
R20
1k 1 74LS04
U7:A
2 9 10 11
U1:C
8
R18
1k 3
U4:D
74LS11 11 13 12
U7:B
4 74LS04
R21
220
D5
LED-RED
U6:A
6 1 2 13 74LS11 12
74LS02
(1)
R19
1k 5
U7:C
74LS04
Ing. Mecatrnica
Pgina 18
Electrnica Digital
Ing. Mecatrnica
Pgina 19
Electrnica Digital
Aplicaciones
Las operaciones lgicas son muy comunes para las personas que laboran dentro del rea de sistemas computacionales ya que a partir de esta base se empiezan los comienzos de los procesadores. Las computadoras digitales utilizan el sistema de nmeros binarios, que tiene dos dgitos 0 y 1. Un dgito binario se denomina un bit. La informacin est representada en las computadoras digitales en grupos de bits. Utilizando diversas tcnicas de codificacin los grupos de bits pueden hacerse que representen no solamente nmeros binarios sino tambin otros smbolos discretos cualesquiera, tales como dgitos decimales o letras de alfabeto. Utilizando arreglos binarios y diversas tcnicas de codificacin, los dgitos binarios o grupos de bits pueden utilizarse para desarrollar conjuntos completos de instrucciones para realizar diversos tipos de clculos. La lgica binaria tiene que ver con variables binarias y con operaciones que toman un sentido lgico. La manipulacin de informacin binaria se hace por circuitos lgicos que se denominan Compuertas. Las compuertas son bloques del hardware que producen seales en binario 1 0 cuando se satisfacen los requisitos de entrada lgica. Las diversas compuertas lgicas se encuentran comnmente en sistemas de computadoras digitales. Cada compuerta tiene un smbolo grfico diferente y su operacin puede describirse por medio de una funcin algebraica. Las relaciones entrada salida de las variables binarias para cada compuerta pueden representarse en forma tabular en una tabla de verdad.
Ing. Mecatrnica
Pgina 20
Electrnica Digital
Conclusin
En esta practica se aprendi a realiza un codificado con 3 compuertas OR (74LS32) pero hubiera sido mas fcil de realizar con un 74LS147 que es un decodificador. Y realizamos operaciones con las dems compuertas que se nos pedan y llegamos a la conclusin q el inciso 1 y 2 estbamos realizando las mismas operaciones tanto con las tablas de verdad como con los circuitos armados. El resto de la prctica solo fuero operaciones lgicas comunes y reduccin de alguna expresin con el teoremas de Morga y comprobar los resultados.
Bibliografa
Libros
1. Anlisis Bsico de Circuitos en Ingeniera, J. David Irwin, Limisa, Sexta Edicin, 2001 2. Anlisis de Circuitos en Ingeniera, William H. Hayt & Jack E. Kemmerly & Steven M. Durbin, McGraw-Hill, Sexta Edicin, 2003 3. Anlisis Bsico de Circuitos Elctricos, David E. Johnson, McGraw-Hill, Quinta Edicin, 1999 4. Anlisis de Circuitos Elctricos, L. S. Bobrow., Ed. McGraw-Hill, 1998 5. Linear Circuit Analysis, De Carlo A. Raymond & Pen-Min Lin, Prentice Hall, 1995 6. Basic Circuit Theory with Digital Computations, Lawrence P. Huelsman, Prentice Hall 1972 7. Basic Circuit Theory, Charles A. Desoer, McGraw-Hill, 1999 8. Circuitos, A. Bruce Carlsson, Thomson Learning , 2001 9. Circuitos Elctricos, Richard C. Dorf, James A. Svoboda, 3ra Edicin, Alfaomega 2000 10. Pspice for Linear Circuits, James A. Svoboda, Wiley, 2000
Paginas de internet
http://www.profesormolina.com.ar/electronica/componentes/int/comp_log.htm http://html.rincondelvago.com/simplificacion-de-funciones-y-compuertas-logicas.html
Software
1. Excel 2. Isis Ing. Mecatrnica Pgina 21