Sebastian Romero Muzquiz 9° Cuatrimestre Ingeniería en Sistemas Computacionales Profesor: Ing. Rubén Esdrain Martin Espinoza Índice 2. Álgebra de BOOLE. 2.1 Introducción……………………………………………………………………………..3-4-5 2.2 Definiciones lógicas…………………………………………………………..6-7-8 2.3 Definiciones axiomáticas del álgebra de Boole……………………9-10 2.4 Teoremas fundamentales………………………………………………….11-12 2.5 Funciones booleanas……………………………………………………13-14-15 2.6 Forma canónica y normalizada…………………………………………………. 2.7 Compuertas lógicas………………………………………………………………….. 2.8 Conclusión……………………………………………………………………………….. 2.9 Referencia bibliográfica……………………………………………..…………….. Introducción La tecnología nos permite construir compuertas digitales a través de transistores y mediante las compuertas diseñamos los circuitos digitales empleados en las computadoras. El álgebra booleana es importante pues permite la sistematización y representación matemática del funcionamiento de los circuitos electrónicos digitales. Se denomina álgebra booleana en honor a George Boole, matemático ingles autodidacta, fue el primero en definirla como parte de un sistema lógico, este fue un intento de utilizar las técnicas algebraicas para tratar expresiones de la lógica proposicional. En la actualidad se aplica de forma generalizada en el ámbito del diseño electrónico. El Álgebra de Boole es toda clase o conjunto de elementos que pueden tomar dos valores perfectamente diferenciados, que designaremos por 0 y 1 y que están relacionados por dos operaciones binarias denominadas suma(+) y productos(.) (La operación producto se indica generalmente mediante la ausencia de símbolo entre 2 variables lógicos). Cumplen las siguientes propiedades: a) Ambas operaciones son conmutativas, es decir si a y b son elementos del álgebra, se verifica: a+b=b+a a.b=b.a b) Dentro del álgebra existen dos elementos neutros, el 0 y el 1, que cumplen la propiedad de identidad con respecto a cada una de dichas operaciones: 0+a=a 1.a=a c) Cada operación es distributiva con respecto a la otra: a . (b + c) = a . b + a . C a + (b . c) = (a + b) . (a + c) d) Para cada elemento a del álgebra existe un elemento denominado a, tal que: _ _ a+a =1 a.a=0 Este postulado define realmente una nueva operación fundamental que es la inversión o complementación de una variable. La variable se encuentra siempre en un estado binario contrario al de a. La tabla de verdad de la inversión o complemento es:
La operación suma se asimila a la conexión en paralelo de contactos y
la operación producto a la conexión en serie. Definiciones Lógicas Cuando se combinan proposiciones se forman funciones lógicas, por ejemplo “si la bombilla no está fundida y el interruptor está encendido, la luz esta encendida”. Las 2 primeras proposiciones son las condiciones de las que depende la proposición “la luz esta encendida”, esta es cierta si las 2 primeras la son. Por lo tanto una función lógica calcula el valor de una variable (dependiente) a partir de otra u otras variables (independientes). Una variable Booleana es cualquier símbolo que en un instante determinado solo puede tomar uno de 2 valores: 0 y 1. Existen varios tipos de circuitos lógicos que se utilizan para implementar funciones lógicas u operaciones lógicas. Estos circuitos son elementos básicos que constituyen los bloques sobre los que se construyen sistemas digitales mas complejos como por ejemplo una computadora. Funciones lógicas. Las operaciones lógicas pueden representarse a través de símbolos gráficos y de tablas de verdad.
Las líneas conectadas a la izquierda de cada símbolo son las entradas
(input) y las líneas a la derecha son las salidas (output). El funcionamiento de las puertas, operaciones y funciones lógicas se describe con las tablas de verdad. Son representaciones tabulares que especifican la salida de la puerta o función lógica para todas las posibles combinaciones que entran. Para el álgebra booleana, el conjunto de valores es el conjunto que contiene los elementos cero y uno. Las operaciones definidas son AND, OR y NOT.
OR El operador OR (O) designado también como + es la que
representa la operación de “suma binaria”, no es una suma en sentido aritmético, sino lógico. C = A + B significa que la variable C será valida cuando alguna de las dos variables A o B sean validas.
AND El operador AND (Y) designado también como la
representación de la “multiplicación binaria” lógica. C es valida cuando las 2 variables A y B (ambas) sean validas.
NOT El operado lógico NOT (negación) significa que b es igual a
una a negada. O bien que cuando a es falsa, b es cierta. Definiciones axiomáticas del álgebra de Boole los axiomas del álgebra booleana son: Cerradura. Para los operadores binario AND y OR. La ley asociativa la cual no se establece en los postulados de Huntington, sin embargo se cumple en el álgebra booleana. Ley conmutativa. La ley distributiva de + sobre. No se cumple en el álgebra ordinaria y si en la Booleana. El álgebra de Boole no posee elementos inversos aditivos o multiplicativos, por lo que no existe la operación de resta o multiplicación. Existencia de elementos identidad e inverso, este ultimo define los elementos llamados complementos, los cuales no existen en el álgebra ordinaria. Los elementos del álgebra ordinaria están dentro del conjunto de los números reales, mientras que los elementos del álgebra Booleana solo son el uno y el cero. Todos los conjuntos del álgebra de Boole son elementos que se pueden tomar en 2 valores perfectamente diferenciables que designamos por 0 y 1, relacionados por 2 operaciones binarias básicas multiplicación y suma. Generalmente la operación de producto puede simbolizarse mediante la unión de 2 variables sin símbolo alguno entre ellas. • Propiedad conmutativa: a y b son elementos del álgebra de Boole ambas son operaciones conmutativas:
• Propiedad de identidad: Dentro del álgebra de Boole existen 2 elementos
neutros el 0 y el 1, que cumplen con la propiedad de identidad a cada una de dichas operaciones:
• Propiedad distributiva: Cada operación es distributiva con respecto a la
otra por tanto:
• Elemento denominado: Para cada elemento del álgebra de Boole existe un
elemento denominado a tal que: Teoremas fundamentales del álgebra Booleana Los principales teoremas son: 1. Regla del Cero y la unidad 2. Idempotencia o potencias iguales 3. Complementación 4. Involución 5. Conmutatividad 6. Asociatividad 7. Distribuitividad 8. Leyes de absorción 9. Teoremas DeMorgan. Estos teoremas permiten la manipulación de funciones por ejemplo para encontrar funciones complementos. Funciones Booleanas Las funciones Booleanas son exactamente iguales a las funciones matemáticas a las que estamos habituados pero con la particularidad de que las funciones son Booleanas y que los valores devueltos también son Booleanos, es decir una función Booleana solo puede tomar 0 y 1. Para ello hay que tener en mente que trabajaremos con variables Booleanas y por tanto usaremos las operaciones + y . del algebra de Boole que no tienen nada que ver con las operaciones suma y producto a las que estamos habituados. Por ejemplo: Ejemplo: Vamos a definir una función un poco mas compleja, usando 2 variables Booleanas, a y b. Existen 2 maneras de representar una función Booleana, la primera es utilizando expresiones Booleanas y la otra manera es utilizando las tablas de verdad, en ellas representamos el valor que debe tomar la función cuando las variables de entrada toman todos los valores posibles. Ejemplo: Puedo definir una función G de la siguiente manera: Forma canónica y normalizada. Las formas canónicas son expresiones del tipo de suma de productos o producto de sumas. En la forma canónica de suma de productos, en cada uno de los términos “producto” que se suman aparecen todas las variables de la función. Es la expresión de un minterm. En la forma canónica de producto de sumas, en cada uno de los términos “suma” que se multiplican aparecen todas las variables de la función. Es la expresión de un maxterm Conclusión. Al darnos cuenta de que el álgebra Booleana es un tema que podemos aplicar en áreas mas complejas, como la puede ser la programación, se diseño esta presentación como un método fácil y preciso para aquellos que necesiten información para guiarse en los conceptos básicos de este tema en el área requerida. Se espera que a los alumnos les sea de gran utilidad la información plasmada en esta presentación, junto con los ejercicios a resolver y el examen. Referencia Bibliográfica Escuela Politécnica Superior. (2008). Álgebra de Boole Funciones Lógicas. 2018, de Universidad Autónoma de Madrid Sitio web: http://arantxa.ii.uam.es/~ig/teoria/temas/IG_tema-5-2008-2009.pdf
Facultad de Ingeniería. (2015).
Álgebra de Boole. 2018, de Universidad Nacional Autónoma de México Sitio web: http://ecampus.fca.unam.mx/ebook/imprimibles/informatica/arquitectura_computadoras/Unidad_4.pdf Santamaría B. Cesar. “Algoritmos Conceptos básicos” Edición 2002 Kimpres Ltda.