Salazar Macias Rodrigo Algebra Booleana

Las lgebras booleanas, estudiadas por primera vez en detalle por George Boole, constituyen un rea de las matemticas que ha pasado a ocupar un lugar prominente con el advenimiento de la computadora digital. Son usadas ampliamente en el diseo de circuitos de distribucin y computadoras, y sus aplicaciones van en aumento en muchas otras reas. En el nivel de lgica digital de una computadora, lo que comnmente se llama hardware, y que est formado por los componentes electrnicos de la mquina, se trabaja con diferencias de tensin, las cuales generan funciones que son calculadas por los circuitos que forman el nivel. stas funciones, en la etapa de disea del hardware, son interpretadas como funciones de boole. En el presente trabajo se intenta dar una definicin de lo que es un lgebra de boole; se tratan las funciones booleanas, haciendo una correlacin con las frmulas proposicionales. Asimismo, se plantean dos formas cannicas de las funciones booleanas, que son tiles para varios propsitos, tales como el de determinar si dos expresiones representan o no la misma funcin. Pero para otros propsitos son a menudo engorrosas, por tener ms operaciones que las necesarias. Particularmente, cuando estamos construyendo los circuitos electrnicos con que implementar funciones booleanas, el problema de determinar una expresin mnima para una funcin es a menudo crucial. No resultan de la misma eficiencia en dinero y tiempo, principalmente, dos funciones las cuales calculan lo mismo pero donde una tiene menos variables y lo hace en menor tiempo. Como solucin a este problema, se plantea un mtodo de simplificacin, que hace uso de unos diagramas especiales llamados mapas o diagramas de Karnaugh, y el cual tiene la limitacin de poder trabajar adecuadamente slo con pocas variables. George Boole

(Lincoln, Reino Unido, 1815 - Ballintemple, actual Irlanda, 1864) Matemtico britnico. Proceda de una familia venida a menos y tuvo que desestimar la idea de convertirse en monje al verse obligado a mantener a sus padres. A los doce aos el inters de George se volc en los idiomas y recibi instruccin en latn en una librera local. Lleg a ser tan hbil en el uso del latn que provoc controversia. Una de sus traducciones del latn de una Oda del poeta Horacio era tan buena que el maestro de la escuela local no crea que alguien tan joven hubiese podido escribir con tanta profundidad y precisin. Boole no estudi un grado acadmico, se decant por la enseanza y a los diecisis aos fue nombrado profesor auxiliar de colegio. En esta poca su inters por los idiomas continua y se plantea ingresar en la Iglesia para continuar aprendiendo latn y griego. A los diecisis aos

enseaba matemticas en un colegio privado y ms tarde fund uno propio. No obstante, George Boole continu su formacin en matemticas, estudiando por su cuenta. Comenz a estudiar lgebra y producto de sus investigaciones publica su primer tratado matemtico Transaction of the Royal Society una aplicacin de los mtodos algebraicos par la solucin de ecuaciones diferenciales. Por este trabajo recibi la distincin de la Real Sociedad que le otorg una medalla y fue nominado para una ctedra de matemticas en el Queens Collage de Cork en 1849. All ense durante el resto de su vida, ganndose fama de dedicado y eminente profesor. El gran descubrimiento de Boole fue aplicar una serie de smbolos a operaciones lgicas y hacer que estos smbolos y operaciones por eleccin cuidadosa tuvieran la misma estructura lgica que el lgebra convencional. En el lgebra de Boole, los smbolos podan manipularse segn reglas fijas que produciran resultados lgicos. En 1854 public Investigacin sobre las leyes del pensamiento, libro que trataba por completo de la lgica simblica y su lgebra. La influencia de esta lgica matemtica sobre las matemticas modernas tendra una evolucin lenta: si en un primer momento no pareca ms que un intrincado juego de palabras, ms adelante se vio que era de lo ms til, y hasta completamente indispensable para conseguir la matemtica lgica. Boole se cas a la edad de cuarenta aos y tuvo cinco hijas, a las que no lleg a ver adolescentes. En 1857 fue elegido como miembro acadmico de la Real Sociedad, recibiendo tambin honores por sus trabajos, de las universidades de Oxford y Dubln. En 1859 publica Tratado de las ecuaciones diferenciales en el que traduce las ecuaciones diferenciales. En 1860 publica Tratado sobre el clculo de diferencias finitas donde trata los mtodos generales de probabilidad y mtodos para el clculo de dichas diferencias. Public alrededor de cincuenta escritos y fue uno de los primeros en investigas las propiedades bsicas de los nmeros, tales como la propiedad distributiva que fundament los temas de lgebra. Muri a los cuarenta y nueve aos, debido a un resfriado que afect a sus pulmones. Algebra Booleana

El lgebra de Boole (tambin llamada Retculas booleanas) en informtica y matemtica, es una estructura algebraica que rigorizan las operaciones lgicas Y, O y NO, as como el conjunto de operaciones unin, interseccin y complemento. Se denomina as en honor a George Boole, (2 de noviembre de 1815 a 8 de diciembre de 1864), matemtico ingls que fue el primero en definirla como parte de un sistema lgico a mediados del siglo XIX. Especficamente, el lgebra de

Boole fue un intento de utilizar las tcnicas algebraicas para tratar expresiones de la lgica proposicional. En la actualidad, el lgebra de Boole se aplica de forma generalizada en el mbito del diseo electrnico. Claude Shannon fue el primero en aplicarla en el diseo de circuitos de conmutacin elctrica biestables, en 1938. El lgebra booleana es un sistema matemtico deductivo centrado en los valores cero y uno (falso y verdadero). Un operador binario " " definido en ste juego de valores acepta un par de entradas y produce un solo valor booleano, por ejemplo, el operador booleano AND acepta dos entradas booleanas y produce una sola salida booleana. Para cualquier sistema algebraico existen una serie de postulados iniciales, de aqu se pueden deducir reglas adicionales, teoremas y otras propiedades del sistema, el lgebra booleana a menudo emplea los siguientes postulados: Cerrado. El sistema booleano se considera cerrado con respecto a un operador binario si para cada par de valores booleanos se produce un solo resultado booleano. Conmutativo. Se dice que un operador binario " " es conmutativo si A B = B A para todos los posibles valores de A y B. Asociativo. Se dice que un operador binario " " es asociativo si (A B) C = A (B C) para todos los valores booleanos A, B, y C. Distributivo. Dos operadores binarios " " y " % " son distributivos si A (B % C) = (A B) % (A C) para todos los valores booleanos A, B, y C. Identidad. Un valor booleano I se dice que es un elemento de identidad con respecto a un operador binario " " si A I = A. Inverso. Un valor booleano I es un elemento inverso con respecto a un operador booleano " " si A I = B, y B es diferente de A, es decir, B es el valor opuesto de A. Para nuestros propsitos basaremos el lgebra booleana en el siguiente juego operadores y valores:

de

- Los dos posibles valores en el sistema booleano son cero y uno, a menudo llamaremos a stos valores respectivamente como falso y verdadero. - El smbolo representa la operacin lgica AND. Cuando se utilicen nombres de variables de una sola letra se eliminar el smbolo , por lo tanto AB representa la operacin lgica AND entre las variables A y B, a esto tambin le llamamos el producto

entre A y B. - El smbolo "+" representa la operacin lgica OR, decimos que A+B es la operacin lgica OR entre A y B, tambin llamada la suma de A y B. - El complemento lgico, negacin NOT es un operador unitario, en ste texto utilizaremos el smbolo " ' " para denotar la negacin lgica, por ejemplo, A' denota la operacin lgica NOT de A. - Si varios operadores diferentes aparecen en una sola expresin booleana, el resultado de la expresin depende de la procedencia de los operadores, la cual es de mayor a menor, parntesis, operador lgico NOT, operador lgico AND y operador lgico OR. Tanto el operador lgico AND como el OR son asociativos por la izquierda. Si dos operadores con la misma procedencia estn adyacentes, entonces se evalan de izquierda a derecha. El operador lgico NOT es asociativo por la derecha. Utilizaremos adems los siguientes postulados: P1 El lgebra booleana es cerrada bajo las operaciones AND, OR y NOT P2 El elemento de identidad con respecto a es uno y con respecto a + es cero. No existe elemento de identidad para el operador NOT P3 Los operadores y + son conmutativos. P4 y + son distributivos uno con respecto al otro, esto es, A (B+C) = (AB)+(AC) y A+ (BC) = (A+B) (A+C). P5 Para cada valor A existe un valor A' tal que AA' = 0 y A+A' = 1. ste valor es el complemento lgico de A. P6 y + son ambos asociativos, sto es, (AB) C = A (BC) y (A+B)+C = A+ (B+C).