Sistema Digital Trabajo 2 Algebra Booleana POR Alei Reyes Domingo, Abril 22 del 2012

ALGEBRA BOOLEANA 1. POSTULADOS Un algebra de Boole es un sistema algebraico en un conjunto B de dos o ms elementos con dos operaciones OR( ) y AND( ) con las siguientes propiedades: Postulado Existencia de Neutros Conmutatividad Asociatividad Distributividad Existencia de Complementos ( ( ( ( ) ) ) ) ( ( ( ( Principio Importancia Garantiza la existencia del 1 y el 0, es decir de la digitalizacin(ya no analgicas) de las entradas en el sistema digital computador Nos asegura que el orden de las entradas en un CI no cambia la salida de este Este postulado, como todos los dems es usado ampliamente en la simplificacin de circuitos Se aplica cuando se quiere pasar a la forma SOP o POS a una expresin booleana mediante mtodos algebraicos Agrega de forma indirecta a la operacin NOT, de gran importancia en todos los sistemas digitales

y ) ) ) ) ( ( )

2. TEOREMAS BOOLEANOS Y SU IMPORTANCIA EN EL SISTEMA DIGITAL COMPUTADOR 2.1. Dualidad: Dado que si una expresin booleana es correcta, su dual tambin lo es, esto nos permite pasar de una lgica positiva a una lgica negativa, o pasar el uso de compuertas OR por AND 2.2. Teorema de De Morgan ( , ): Se usa bastante en la simplificacin de circuitos, y para convertir una expresin a forma SOP o POS. 2.3. Absorcin ( , ( ) ): Acelera el proceso de simplificacin algebraica pues permite simplificar en algunos casos donde aplicar el teorema de De Morgan conduce a una expresin de la misma complejidad que la inicial. 2.4. Idempotencia ( , ): Explica porque se pueden ejecutar las simplificaciones en los mapas de karnaugh aun cuando los grupos tomados (de 2 4 u 8, etc.) se intersecten. 2.5. Complemento de los neutros ( , ): Confirma que se pueda modelar a una compuerta NOT como el complemento de una entrada. 2.6. Universalidad del NAND y NOR: Este teorema nos asegura que podemos construir cualquier circuito lgico nicamente con compuertas NAND o nicamente con compuertas NOR (Sin usar otras compuertas) 3. Aplicaciones del algebra Booleana 3.1. SIMPLIFICACIN DE CIRCUITOS LGICOS 3.1.1. METODO ALGEBRAICO a. Principio de Aplicacin La simplificacin de circuitos se basa en la aplicacin repetitiva del teorema de De Morgan y la multiplicacin de trminos (postulado de distributividad), y luego la factorizacin de trminos comunes para la eliminacin de uno o ms trminos b. Caractersticas 2

No hay una forma heurstica de determinar si una expresin se encuentra en su forma ms simple o puede simplificarse mas A menudo se convierte en un proceso de ensayo-error en la seleccin del teorema adecuado a aplicar c. Importancia

Es la base que da sustento a otros mtodos de simplificacin como el de mapas de Karnaugh Para expresiones pequeas proporciona un mtodo rpido de simplificacin 3.1.2. MAPAS DE KARNAUGH a. Principio de Aplicacin

Se basa en representar a la tabla de verdad de una expresin booleana en un mapa bidimensional de acuerdo a sus pesos y al cdigo Gray, y luego realizar reducciones agrupando a celdas adyacentes del mapa en nmeros que sean potencias de 2 de tal forma que en la simplificacin de cada grupo formado se eliminen los trminos que estn presentes tanto en su forma complementada como en su forma no complementada b. Caractersticas nicamente una variable cambia entre celdas adyacentes del mapa-K Los patrones de agrupacin siempre son en potencias de dos ( para >0). Las celdas del mapa que estn en la primera fila con las de la ltima fila se consideran adyacentes, lo mismo pasa con las celdas que estn en la primera y ltima columna. Siempre produce la expresin mnima de la expresin a simplificar c. Importancia Permite la simplificacin rpida de circuitos lgicos sin la necesidad de clculos algebraicos extensivos aprovechando la rapidez con que encontramos ciertos patrones en el mapa-K Es ms ordenado y tiene pasos bien definidos a diferencia del mtodo algebraico

3.2. Construccin de circuitos lgicos a partir de los resultados requeridos para cada combinacin de entradas a. Principio de Aplicacin Se basa en la forma SOP y POS (lo que algunos llaman forma normal disyuntiva y forma normal conjuntiva) aplicado a las entradas que generan 1s o 0s; en forma SOP se suman los productos de las entradas que generan 1 como salida negndose las entradas que son 0, igualmente, en forma POS se multiplican las sumas de las entradas que generan 0 negndose las entradas que son 1. b. Caractersticas Luego que se obtiene la expresin booleana dada la tabla de verdad se tiene que simplificar la expresin (con alguno de los mtodos discutidos anteriormente) A menudo es ms cmodo utilizar directamente el mtodo de mapas de karnaugh c. Importancia Permite construir un circuito lgico a partir de los requerimientos de entrada y salida. 3

CONCLUSIONES El lgebra booleana proporciona herramientas muy tiles para el modelado, diseo y simplificacin de circuitos lgicos utilizados en el sistema digital computador.

BIBLIOGRAFA TOCCI, R. J., WIDMER, N. S., & MOSS, G. L. (2007). SISTEMAS DIGITALES (Dcima ed.). MXICO: PEARSON. WHITESITT, E. J. (1971). ALGEBRA BOOLEANA Y SUS APLICACIONES. Mxico: C.E.C.S.A.