ALGEBRA DE BOOLE

1. INTRODUCCION 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. Tambin se dan a conocer algunas aplicaciones que tiene esta ciencia y se da a conocer tambin una breve resea histrica. 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. Se realizan estas presentaciones con el fin de demostrar la afinidad existente entre el lgebra de boole y la lgica proposicional, y con el objeto de cimentar el procedimiento de simplificacin presentado en la lgica de proposiciones. 2. RESEA HISTORICA En 1847 un matemtico ingls autodidacta llamado George Boole (1815 1864), desarrolla unos smbolos matemticos con unas reglas que pueden ser aplicadas en problemas de lgica deductiva. Hacia el ao 1854, public un libro en el que explicaba cmo convertir las proposiciones lgicas en smbolos matemticos y cmo aplicar ciertas reglas muy simples para determinar la verdad o falsedad de proposiciones relacionadas entre s.

George Boole, fue nominado para una ctedra de matemticas en el Queens College, en 1849, donde ense por el resto de su vida, ganndose una reputacin como un prominente y dedicado profesor A mediados del siglo XIX, George Boole (1815-1864), en sus libros: "The Mathematical Analysis of Logic" (1847) y "An Investigation of te Laws of Thought" (1854), desarroll la idea de que las proposiciones lgicas podan ser tratadas mediante herramientas matemticas. Las proposiciones lgicas (asertos, frases o predicados de la lgica clsica) son aquellas que nicamente pueden tomar valores Verdadero/Falso, o preguntas cuyas nicas respuestas posibles sean S/No. Segn Boole, estas proposiciones pueden ser representadas mediante smbolos y la teora que permite trabajar con estos smbolos, sus entradas (variables) y sus salidas (respuestas) es la Lgica Simblica desarrollada por l. Dicha lgica simblica cuenta con operaciones lgicas que siguen el comportamiento de reglas algebraicas. Por ello, al conjunto de reglas de la Lgica Simblica se le denomina LGEBRA DE BOOLE. A mediados del siglo XX el lgebra Booleana result de una gran importancia prctica, importancia que se ha ido incrementando hasta nuestros das, en el manejo de informacin digital (por eso hablamos de Lgica Digital). Gracias a ella, Shannon (1930) pudo formular su teora de la codificacin y John Von Neumann pudo enunciar el modelo de arquitectura que define la estructura interna de los ordenadores desde la primera generacin. Todas las variables y constantes del lgebra booleana, admiten slo uno de dos valores en sus entradas y salidas: S/No, 0/1 o Verdadero/Falso. Estos valores bivalentes y opuestos pueden ser representados por nmeros binarios de un dgito (bits), por lo cual el lgebra booleana se puede entender cmo el lgebra del Sistema Binario. Al igual que en lgebra

tradicional, tambin se trabaja con letras del alfabeto para denominar variables y formar ecuaciones para obtener el resultado de ciertas operaciones mediante una ecuacin o expresin booleana. Evidentemente los resultados de las correspondientes operaciones tambin sern binarios. Todas las operaciones (representadas por smbolos determinados) pueden ser materializadas mediante elementos fsicos de diferentes tipos (mecnicos, elctricos, neumticos o electrnicos) que admiten entradas binarias o lgicas y que devuelven una respuesta (salida) tambin binaria o lgica. Ejemplos de dichos estados son: Abierto/Cerrado (interruptor), Encendida/Apagada (bombilla), Cargado/Descargado (condensador), Nivel Lgico 0/Nivel lgico 1 (salida lgica de un circuito semiconductor), etctera. Los dispositivos con los cuales se implementan las funciones lgicas son llamados puertas (o compuertas) y, habitualmente, son dispositivos electrnicos basados en transistores. Estos dispositivos, y otros que veremos a lo largo de esta unidad, son los que permiten el diseo, y la ulterior implementacin, de los circuitos de cualquier ordenador moderno, as como de muchos de los elementos fsicos que permiten la existencia de las telecomunicaciones modernas, el control de mquinas, etctera. De hecho, pensando en los ordenadores como una jerarqua de niveles, la base o nivel inferior sera ocupada por la lgica digital (en el nivel ms alto del ordenador encontraramos los actuales lenguajes de programacin de alto nivel). En esta unidad se representan las puertas lgicas elementales, algunas puertas complejas y algunos ejemplos de circuitos digitales simples, as como algunas cuestiones de notacin. Por otra parte se plantean actividades de trabajo, muchas de las cuales implican una respuesta escrita en vuestro cuaderno de trabajo. El deseo del autor es que os resulte sencillo y ameno adentraros en el mundo de la lgica digital y despertaros la curiosidad, tanto por ella, como por la matemtica que subyace en ella. 3. LEYES DEL ALGEBRA DE BOOLE En el algebra de Boole se cumplen las siguientes Leyes: 1) Conmutatividad: X+Y=Y+X XY=YX 2) Asociatividad: X + (Y + Z) = (X + Y ) + Z X (Y Z) = (X Y ) Z 3) Distributividad: X + (Y Z) = (X + Y ) (X + Z) X (Y + Z) = (X Y ) + (X Z)

4) Elementos Neutros (Identidad): X+0=X X1=X 5) Complemento: X+X=1 XX=0 6) Dominacin: X+1=1X0=0 Demostracin: X + 1 = (X + 1) 1 = (X + 1) (X + X) (X + 1) (X + X) = X + (1 X) = 1 7) Impotencia: X+X=X XX=X 8) Doble complemento: X=X 9) Absorcin: X+XY=X X (Y + X) = X Demostracin: X + X Y = (X 1) + (X Y ) = X (1 + Y ) = X 10) DeMorgan: AB=A+B A+B=AB RAE TEOREMAS Luego se establecen los siguientes Teoremas: Teorema de la Simplificacin A+AB=A+B A (A + B) = A B Demostracin: ! A A = 0 AA+B=B (A + B) (A + B) = B A (A + B) (A + B) = A B A (A + B) = A B Teorema del complemento nico Suponemos 2 complementos para A (A1 y A2) A + A1 = 1 A + A2 = 1 A A1 = 0 A A2 = 0 Luego, A1 = A1 1 = A1 (A + A2) = A1 A + A1 A2 A1 = 0 + A2 A1 A1 = A A2 + A1 A2 = (A + A1) A2

A1 = 1 A2 = A2 Algunas definiciones: Literal: Es toda ocurrencia de una variable, ya sea complementada o sin complementar, en una expresin de Conmutacin. Por ejemplo, en la expresin de conmutacin: AB+CA+D+B1 A, B, C y D son Variables. A, B, C, A, D y B son Literales. 1 es una Constante. Algunas definiciones: Expresin Dual: Esta expresin se obtiene, intercambiando las operaciones AND por OR (y vice versa), e intercambiando las constantes 0 por 1 y 1 por 0 en la expresin de Conmutacin. Por ejemplo, para la expresin de conmutacin: (A B) + (C D) + 0 La Expresin Dual es: (A + B) (C + D) 1 Las funciones de conmutacin se pueden expresar: de Forma Algebraica, mediante una Tabla de Verdad o en Forma Cannica. La manera ms didctica de representar una funcin de conmutacin es mediante una Tabla de Verdad, ya que en ella se muestran los valores de salida para cada combinacin de valor de entrada. Las Tablas de Verdad permiten modelar los Sistemas Combi nacional. Ejemplo de una tabla de Verdad Dada la funcin de conmutacin: f (X1,X2,X3) = X1 + (X2 X3) La Tabla de Verdad es: X1 X2 X3 f (X1,X2,X3) 0000 0010 0101 0110 1001 1011 1101 1111 Dada una tabla de verdad tambin es posible obtener la forma algebraica. Existen 2 mtodos para identificar la forma algebraica: la forma normal disyuntiva y la forma normal conjuntiva. En el caso de la forma normal disyuntiva, es necesario identificar los 1s que resultan de la tabla de verdad y formar los trminos (conjunciones fundamentales) que los representan. Para formar las conjunciones fundamentales, se usa la variable complementada si para esa combinacin tiene un cero, o se deja sin complementar, si en la combinacin hay un 1.

Forma normal disyuntiva Dada la Tabla de Verdad: X1 X2 X3 f (X1, X2, X3) 0000 0010 0 1 0 1 X1 X2 X3 0110 1 0 0 1 X1 X2 X3 1 0 1 1 X1 X2 X3 1 1 0 1 X1 X2 X3 1 1 1 1 X1 X2 X3 Del ejemplo anterior, se suman las conjunciones fundamentales, resultando la forma normal disyuntiva: F (X1, X2, X3) = X1 X2 X3+X1 X2 X3+X1 X2 X3 +X1 X2 X3+X1 X2 X3 Estos trminos formados por todas las variables conectadas mediante operadores AND se denominan minterminos (conjunciones fundamentales). Como la funcin de conmutacin corresponde a un OR de todos los minterminos, se puede expresar tambin de la forma cannica (OR cannico de AND). F(X1,X2,X3) =Xm (m0,m1, . . . ,mn) Para la representacin de la forma cannica, se utilizan las posiciones de los minterminos en la Tabla de Verdad. Para el ejemplo anterior resulta: F (X1,X2,X3) =Pm(2, 4, 5, 6, 7) Minterminos en una Tabla de Verdad Dada una Tabla de Verdad: X1 X2 X3 Mintermino Etiqueta 0 0 0 X1 X2 X3 0 0 0 1 X1 X2 X3 1 0 1 0 X1 X2 X3 2 0 1 1 X1 X2 X3 3 1 0 0 X1 X2 X3 4 1 0 1 X1 X2 X3 5 1 1 0 X1 X2 X3 6 1 1 1 X1 X2 X3 7 En el caso de la forma normal conjuntiva, se opera de manera contraria a la vista anteriormente. En este caso es necesario identificar los 0s que resultan de la tabla de verdad y formar los trminos (disyunciones fundamentales o maxterminos) que los representan. Para ello se utiliza la variable complementada si para esa combinacin tiene un 1, o se deja sin complementar si en la combinacin hay un 0. Forma normal conjuntiva

Dada la Tabla de Verdad: X1 X2 X3 f (X1,X2,X3) 0 0 0 0 ! X1 + X2 + X3 0 0 1 0 ! X1 + X2 + X3 0101 0 1 1 0 ! X1 + X2 + X3 1001 1011 1101 1111 Del ejemplo anterior, se opera con un AND sobre las disyunciones fundamentales, resultando la forma normal conjuntiva: F (X1,X2,X3) = (X1 + X2 + X3) (X1 + X2 + X3)(X1 + X2 + X3) De igual manera es posible expresar esta funcin de conmutacin, compuesta por maxterminos, de la forma cannica (AND cannico de OR). F(X1,X2,X3) =YM(M0,M1, . . . ,Mn) Para la representacin de la forma cannica, se utilizan las posiciones de los minterminos en la Tabla de Verdad. Para el ejemplo anterior resulta: F (X1,X2,X3) =QM(0, 1, 3) Cmo pasar de una forma algebraica, directamente a una Forma cannica? F(X1,X2,X3) = X1 + (X2 X3) = X1 (X2 + X2) (X3 + X3)+(X1 + X1)(X2 X3) = X1 X2 (X3 + X3) + X1 X2 (X3 + X3)+X1 X2 X3 + X1 X2 X3 = X1 X2 X3 + X1 X2 X3 + X1 X2 X3 +X1 X2 X3 + X1 X2 X3 + X1 X2 X3 Cmo convertir de una forma OR cannico de AND a una forma AND cannico de OR? F(X1,X2,X3) =Pm(2, 4, 5, 6, 7) F(X1,X2,X3) =Pm(0, 1, 3) = (X1 X2 X3) + (X1 X2 X3) + (X1 X2 X3) F(X1,X2,X3) = (X1 + X2 + X3) (X1 + X2 + X3) (X1 + X2+X3) F(X1,X2,X3) =QM(0, 1, 3) Se dice que dos funciones de conmutacin son equivalentes si tienen expansiones en forma cannica idnticas. Es decir, que tienen valores de salida idnticos para las mismas combinaciones de entrada. Dicho de otra manera, dos funciones de conmutacin son equivalentes si tienen la misma tabla de verdad. Cuantas funciones distintas (No equivalentes) existen para un nmero n de variables?

Esto se puede demostrar fcilmente, construyendo tablas de Verdad y basndose en que las funciones no equivalentes tienen tablas de verdad distintas. Algunos operadores... NOT F(X1) = X1 AND F(X1,X2) = X1 X2 OR F(X1,X2) = X1 + X2 NAND F(X1,X2) = X1 X2 = X1 + X2 NOR F(X1,X2) = X1 + X2 = X1 X2 XAND F(X1,X2) = X1 X2 + X1 X2 XOR F(X1,X2) = X1 X2 + X1 X2 Se dice que un conjunto de operadores es funcionalmente completo si se puede expresar cualquier funcin de conmutacin, utilizando solo los operadores del conjunto. Por ejemplo el conjunto {AND, OR, NOT} es funcionalmente completo por definicin del algebra. Sin embargo el conjunto {AND, NOT} tambin lo es. Otros conjuntos funcionalmente completos son: {NOR} y {NAND}. Existen dispositivos electrnicos que son capaces de representar funciones de conmutacin. Estos dispositivos denominan Compuertas Lgicas y estn construidos a base de silicio. Las compuertas lgicas son altamente usadas en el campo de la electrnica digital, debido al bajo costo que se logra con la alta densidad de integracin. Las compuertas corresponden a bloques fundamentales para la construccin de circuitos lgicos y sistemas digitales. Una red de compuertas lgicas constituye un circuito combi nacional.

Las compuertas pueden tener ms de una o dos entradas. Por ejemplo la ecuacin de conmutacin F(A,B, C) = A B C puede ser representada por:

Ejemplo de compuertas Representar la siguiente ecuacin mediante compuertas lgicas. F(A,B, C,D) = (B + D) (A + B) C

MAPAS DE KARNAUGH Los mapas de Karnaugh son una herramienta grafica utilizada para simplificar las ecuaciones lgicas o bien, minimizar funciones de conmutacin. Estos mapas son una versin modificada de las tablas de verdad, permitiendo mostrar la relacin entre las entradas lgicas y la salida deseada. Los mapas de Karnaugh permiten el diseo de circuitos con el mnimo compuertas, por lo que tiene un alto impacto en la reduccin de costos. 1) Al igual que en las tablas de verdad, una funcin de n variables tiene 2n combinaciones de posibles valores de entrada. En el caso de los mapas de Karnaugh, estas Combinaciones se representan mediante celdas. 2) Luego, las coordenadas de las celdas se enumeran, segn el cdigo Grey, quedando de la siguiente manera:

3) Si se tiene una tabla de verdad, basta con escribir en cada celda la salida correspondiente de la tabla de verdad para cada combinacin. Por ejemplo: ABCZ 0001 0010 0101 0110 1000 1011 1101 1111

Equivalentemente se puede representar una funcin de la forma cannica, como mapa de Karnaugh. Para ello se debe asignar un 0 a una variable complementada y un 1 a una Variable sin complementar.

Con esto se forma la siguiente numeracin para las celdas.

Luego si se quiere representar la funcin F(A,B, C) =Pm(0, 2, 3, 7), resulta:

Para 4 variables, la numeracin de las celdas corresponde a:

4) Dos celdas son adyacentes solo si difieren en una de las variables.

5) Un scubo es un conjunto de 2m celdas con valor 1, las cuales tienen la propiedad que cada celda del scubo es adyacente a exactamente m celdas del conjunto.

6) Los scubos se pueden representar mediante trminos algebraicos. Estos trminos estn compuestos por n m literales, donde n es el nmero de variables y 2m es el tamao del scubo.

7) Si se suman los trminos dados por los scubos que abarcan todos los unos del mapa, se obtiene la funcin algebraica. Para que la funcin sea mnima, se debe buscar el mnimo nmero de scubos que cubren todos los unos. Esto se logra, buscando los scubos de mayor tamao posible, sin importar que se traslapen. El siguiente mapa de Karnaugh:

Representa la funcin F(A,B, C,D) = D + B + C

En la prctica, al utilizar el mtodo de los mapas de Karnaugh manualmente, resulta til para un mximo de 5 o 6 variables. En el siguiente mapa de Karnaugh de 5 variables se identifican 4 scubos:

Resultando la ecuacin F(A,B, C) = A B C E + A B C E + A B C E +A B C E Resultando la ecuacin F(A,B, C) = A B C E + A B C E + A B C E +A B C E

Resultando la ecuacin F(A,B, C) = B C E + B C E Tambin es posible expresar funciones de la forma cannica AND de OR en los mapas de Karnaugh. Para ello es necesario identificar los scubos que cubren todos los ceros del MK. Por ejemplo minimizar F(A,B, C,D) =YM(0, 2, 5, 8, 10, 13, 14) El siguiente MK representa a la funcin F(A,B, C,D) =QM(0, 2, 5, 8, 10, 13, 14). En l se deben cubrir los ceros de mapa.

Resultando la ecuacin F(A,B, C,D) = (B + D) (B + C + D) (A + C + D)

La minimizacin de funciones es fundamental tanto para el diseo de procesadores, como de otros componentes digitales que utilizan tecnologa de alta densidad de integracin (como VLSI). La minimizacin no solo tiene un alto impacto en el costo de los dispositivos, sino que tambin en el rendimiento. Sin embargo el mtodo de MK no es viable en diseos complejos, como por ejemplo el diseo de un procesador, debido a la cantidad de variables que involucra. El mtodo de Quine y McKluskey es una tcnica tabular. Esta tcnica resulta fcil de programar, con lo que se logra una herramienta automtica para la obtencin de expresiones de conmutacin mnimas. Una expresin de conmutacin se puede escribir como una suma de trminos donde cada trmino est compuesto de factores. Por ejemplo: F(A,B, C) = A B C + B C + . . . Se define como implicarte primo a un trmino que est contenido en la funcin y que la eliminacin de cualquiera de sus literales genera un nuevo termino que no esta Contenido en a funcin. El mtodo Quine-McKluskey genera el conjunto de implican ts primos de una funcin dada. Pasos para el desarrollo del mtodo Quine McKluskey 1) Para desarrollar el mtodo, primero se debe contar con la funcin de la forma cannica OR de AND. 2) Luego se representa cada trmino, de la forma binaria. 3) Se agrupan los trminos en funcin de la cantidad de 1s que tengan. 4) Cada grupo (que representa la cantidad de 1s del termino), se vuelve a agrupar con algn grupo adyacente buscando diferencias en un solo bit. El bit En que difieren es reemplazado por -.

5) Se vuelve a aplicar el paso anterior. Para la adyacencia se debe considerar que el smbolo - se encuentra en la misma posicin. 6) Finalmente Se deben cubrir todos los trminos de la funcin original, utilizando el mnimo nmero de implican ts primos. F = (0,2,5,7,10,11,12,13,14,15)
4

FUNCION SIMPLIFICADA

CIRCUITO F= BD+AB+AC+BD

00 00 01 11 10 1 1

01 1 1

11 1 1 1 1

10

1 1 TABLA DE VERDAD
A 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 X 1 0 1 0 0 1 0 1 0 0 1 1 1 1 1 1

4. APLICACIONES DEL ALGEBRA BOLEANA Sabemos que el lgebra booleana est directamente relacionada con George Boole, definiendo un sistema lgico que desempeara un papel fundamental en la actualidad con el sistema binario, introducido en los circuitos y computadores que hoy en da conocemos y utilizamos, pero los sistemas binarios antes de Bol tambin tuvieron un desarrollo y fueron utilizadas desde la antigedad en distintas culturas. El antiguo matemtico indio Pngala present la primera descripcin que se conoce de un sistema de numeracin binario en el siglo tercero antes de nuestra era. Una serie completa de 8 trigramas y 64 hexagramas (anlogos a 3 bit) y nmeros binarios de 6 bit, eran conocidos en la antigua china en el texto clsico del I Ching. Series

similares de combinaciones binarias tambin han sido utilizados en sistemas de adivinacin tradicionales africanos, como el Ir, as como en la geomancia medieval occidental. Un arreglo binario ordenado de los hexagramas del I Ching, representando la secuencia decimal de 0 a 63, y un mtodo para generar el mismo, fue desarrollado por el erudito y filsofo Chino Sao Yang en el siglo XI. Sin embargo, no hay ninguna prueba de que Sao entendiera el cmputo binario. En 1605 Francis Bacon habl de un sistema por el cual las letras del alfabeto podran reducirse a secuencias de dgitos binarios, las cuales podran ser codificadas como variaciones apenas visibles en la fuente de cualquier texto arbitrario. El sistema binario moderno fue documentado en su totalidad por Leibniz, en el siglo diecisiete, en su artculo "Explicacin de l'Arithmtique Binaire". En l se mencionan los smbolos binarios usados por matemticos chinos. Leibniz us el 0 y el 1, al igual que el sistema de numeracin binario actual. George Boole (1815 - 1864): Matemtico y lgico ingls, que puso los fundamentos del moderno estudio de la lgica simblica en una obra a la que titul "The Laws of Thought". Recin en 1938, C.E. Shannon entre otros, advirti que el lgebra...

El lgebra es el estudio de las estructuras matemticas. Sirve por tanto como base para todas las ramas matemticas. Si lo que quieres es un par de ejemplos para un trabajo te indicar elementos en la vida cotidiana donde se usan el lgebra: El lgebra de boole es el de la lgica de bachillerato, y es usada en todos los sistemas lgicos, como los ordenadores. En particular, la informacin en los ordenadores se transmite por impulsos elctricos, lo que representa un sistema de numeracin binaria, que pertenece al lgebra. Una rama de la lgica, llamada lgica difusa, permite a tu cmara de fotos tener autoenfoque. Tu DNI lleva un cdigo de seguridad (la letra del final) hallado mediante sistemas de codificacin, estudio que pertenece al lgebra. Los sistemas de codificacin son los que permite que puedas mandar correos electrnicos de manera segura por internet, que puedas comprimir archivos en el ordenador, o que un DVD pueda seguir funcionando aunque se raye un poquito. Despus sirve como base a muchas otras utilidades. Una teselacin es el recubrimiento mediante figuras geomtricas, aplicando ciertos movimientos a estas. El estudio de los movimientos es el estudio de una estructura, y pertenece por tanto al lgebra.

DE LAS MATEMTICAS DE GEORGE BOOLE A LA ROBTICA El encuentro de las matemticas sin duda nos acerca a un mundo de probabilidades, donde se puede racionalizar el esquema de diversos recursos, dosificarlos, medirlos, ampliarlos, programarlos y recrear espacios donde sea posible experimentar con frecuencias, de tiempo, espacio, nmero, choque de onda, vibracin En fin es a mi manera particular de sentir el espacio vivo donde nos formamos y evaluamos a partir de del otro que nos hace sentir que no estamos solos y que somos la suma de todos los trayectos. Curiosamente Boole no estudi para un grado acadmico, pero a la edad de 16 aos fue un profesor auxiliar de colegio. En ese periodo Boole estudi los trabajos de Laplace y Lagrange, tomando apuntes, los cuales ms tarde se convertiran en las bases para sus primeros fundamentos matemticos. Uno de los baluartes de las ciencias exactas que ahora mismo forma parte de la instruccin bsica de jvenes que se interesan en la materia. De esta forma se lleg hasta el Dr. Luis Alberto Muoz Obando, doctor en Imgenes, Visin y Robtica por el Instituto Politcnico de Francia, quien realizara en Oxford, Inglaterra un postdoctorado en robtica y que actualmente imparte, entre otras asignaturas, metodologa de la investigacin en la facultad de matemticas de la UADY. En esta universidad se involucra directamente en la produccin de este tipo de herramientas, es decir todos los programas que se ejecutan dentro de una computadora. Por su parte la licenciatura de ingeniera en computacin fomenta la creacin de dispositivos que de alguna manera tienen intercambio con el uso real tanto de software, programas y hardware, los elementos fijos de la computadora. Reflexiono que hace 30 aos no haba computadoras como ahora, slo algunos centros de investigacin contaban con ellas, ahora en cualquier momento convivimos con ellas y nuestros hijos comparten esta experiencia muy de cerca con el uso de estos instrumentos; los chicos, dominan este instrumento de forma emprica, ojal muchos jvenes y nios lean este material y se den cuenta del vasto universo que entraa el mundo de los espacios virtuales. La importancia que tiene George Boole en toda esta dinmica, sobre todo cuando sabemos que El trabajo de Boole lleg a ser un paso fundamental en la revolucin de los computadores, de acuerdo a comentarios de Claude Shannon en 1938, demostr como las operaciones booleanas elementales, se podan representar mediante circuitos conmutadores elctricos, y como la combinacin de estos poda representar operaciones aritmticas y lgicas complejas. Adems demostr como el lgebra de Boole se poda utilizar para simplificar circuitos conmutadores. El enlace entre lgica y electrnica estaba establecido.

Claude Shannon Elwood, Ingeniero Electrotcnico y Matemtico, nacido el 30 de abril de 1916 en Gaylord, Michigan, Estados Unidos. La lgica Booleana es el formalismo matemtico por medio del cual se llevan al cabo las operaciones que procesa la computadora a travs del manejo y control de informacin elctrica, por medio de sus transistores. De esta manera puedo decirle que dentro de la enseanza de la licenciatura en matemticas, la ms longeva de la Facultad, puesto que se imparte desde hace 42 aos, al igual que la licenciatura de la enseanza de las matemticas, se destaca el papel de este personaje. De qu forma se da esta lgica Booleana? Su lgebra consiste en un mtodo para resolver problemas de lgica que recurre solamente a los valores binarios 1 y 0 y a tres operadores fundamentales: AND (y), OR (o) y NOT (no). De esta forma se finca la lgica algebraica Booleana la cual ahora encuentra aplicacin en la construccin de computadores, circuitos elctricos, etc. Para explicar And, podemos hablar del valor del cero, dar evidentemente cero, para lo cual grficamente se muestran dos compuertas, donde la informacin fluir siempre y cuando en ambas haya informacin, de no ser as la respuesta es no hay informacin: A and B = C 0+0=0 0+1=0 1+0=0 1+1=1

Por su parte para el valor de OR, seala que s en alguna de las entradas hay informacin pues se determina que s existe en alguna de las dos compuertas el flujo de datos: A or B = C 0+0=0 0+1=1 1+0=1 1+1=1 En cambio para las compuertas del NOT, observamos lo siguiente: se cuenta con una sola entrada de compuerta, la cual niega la entrada de uno. S en A hay un cero, lo niega, y al negar al cero, el valor es 1. not A = B 0 1 1 0

Lo interesante de esto es que estamos definiendo los estados y aceptando las entradas, nicamente en dos estados posibles, el 1 y el 0, es la lgica binaria. Esto nos lleva a un sustento electrnico que se traduce en las computadoras en el procesamiento de Informacin o No informacin. Esto se explica en Voltaje o No voltaje, similar a la llave del agua. Al abrirla hay flujo, al cerrarla, desparece el flujo. Sin embargo hay algo muy importante que es necesario subrayar: En el pasado existan las computadoras analgicas, en las cuales no es posible aplicar la lgica de Boole, porque los elementos que se utilizaban, nicamente eran elementos pasivos, como por ejemplo una resistencia o un capacitor que tienen caractersticas elctricas distintas, donde lo interesante de sus funciones en el ordenador, era que permitan el manejo de los elementos para hacer operaciones que matemticamente son complicadas de resolver con la lgica Booleana. Por ejemplo, s yo quisiera escribir un programa computacional interesado en la lgica de Boole, para especificar una funcin dentro de una computadora analgica, tendra que escribir un sinfn de cdigos para ejecutarlo. A diferencia de un circuito elctrico como algo parecido a un generador de onda que me ayude a proveer energa senosoidal.

En consecuencia la derivada de la funcin seno:

es la funcin coseno:

Este arreglo que nos cuesta un centavo construirlo, al comprar una resistencia en la tienda de electrnica, o simplemente con un trozo de metal para oponer el flujo de la corriente, y utilizando un capacitor como componente electrnico, armando la funcin de impedancia entre derivador e integrador, no es operativo para la rapidez que se puede lograr con el empleo del 1 y el 0 Sin embargo esto tiene una funcin especfica dentro de la ciencia bsica, verdad? Desde luego, los estudios que hacen los estudiante de educacin media, para integrar y derivar funciones en base a clculos de imperancia tienen un fundamento y, hablando de computo analgico, puedo decirle que este se utilizaba desde hace dos siglos, precisamente cuando se empez a tener el manejo de la informacin elctrica. El gran problema es que yo no puedo variar su comportamiento, es fcil, eficiente y rpido, son principios bsicos de fsica donde al contar con un milln de seales senosoidales, a la salida voy a tener un milln de seales integradas o derivadas.

El primer transistor (1948)

Pero s yo quisiera que esto me lo hiciera la computadora, tendra que escribir toda la lgica de integracin y derivacin. La gran ventaja con los ordenadores es que son re-programables, por lo cual yo puedo cambiar los parmetros de este arreglo de una manera muy fcil, nicamente le cambio el valor a los componentes y tengo ya una funcin que se integra de forma ms flexible. Por ello se abandonaron las computadoras analgicas en los aos 50s precisamente con la aparicin del componente electrnico denominado transistor que nos permite regular el flujo de corriente de acuerdo a necesidades especficas. De esta forma la lgica de Boole nos permite el diseo de computadoras digitales que se fundamentan en estados binarios como ya expliqu con antelacin. Para traducir el lenguaje decimal, en elementos binarios podemos dar el ejemplo en valores del 0 al 9, su traduccin binaria ser 0 y 1. Explqueme con ms claridad este proceso. Lo que hacemos es utilizar el exponencial, donde cualquier nmero a la cero, nos da un 1, el dos a la 1 nos da el 2, el dos al cuadrado, nos 4 y el 2 al cubo, nos da un 8. Por tanto para representar el 6 en forma binaria, debemos encontrar la sumatoria de los nmeros que nos d 6: 8421 = 0110 = 6 Para definir el nmero 14, hacemos el mismo procedimiento: 8421 = 1110 =14 Ahora invtenos a reconocer la transferencia de estas teoras Booleanas en instrumentos como la robtica, todas esas construcciones electrnicas que estn ligadas a una computadora Dentro del cuerpo acadmico de ciencias de la computacin en la facultad, existen dos sublmelas de investigacin, una de ellas es teora de la computacin en la cual se desarrolla investigacin en el uso de la computacin como herramienta de trabajo en el mbito laboral: bases de datos grandes, teora de la computacin, ingeniera de software. La otra sublnea, corresponde al rea de instrumentacin control, visin y robtica cuyo objetivo es utilizar la computadora como un instrumento para controlar dispositivos cuyo modelo matemtico es complejo y debido a la complejidad analtica se requiere a teoras de inteligencia artificial, ya sea a travs del procesamiento de imgenes o el procesador de sensores, tanto lumnicos, como de fuerza para control dichos dispositivos en distintas reas de la ciencia

Tenemos proyectos importantes en este sentido como por ejemplo en el rea de bio-informtica, para el diseo de software para investigacin en el campo de la biologa, donde se pueden disear simuladores visuales de elementos como por ejemplo protenas. Tambin tenemos un proyecto de investigacin en arqueologa que denominamos CompuArqueologa, el cual se coordina con el Arquelogo Jos Huchm, donde gracias al apoyo de herramientas de computo, se pretende acelerar el proceso de exploracin y reconstruccin de las pirmides en la zona de Uxmal. Por medio de este proyecto hacer un rompecabezas tridimensional para generar ciertas hiptesis de la probable configuracin del terreno y las edificaciones que se encuentran derruidas y, con ello acelerar el proceso de su reconstruccin.

EL Br. Antonio Briceo, estudiante del ltimo semestre de la Licenciatura en Ciencias de la Computacin ha desarrolado algoritmos para el registro de imgenes de planta. Se trabaja en la actualidad en el cmputo de la Anastilosis con el fin de apoyar el proceso de reconstruccin de sitios arqueolgicos. Por otra parte contamos con un proyecto conjunto con el Centro de Investigaciones Biomdicas Dr. Hideyo Noguchi, de la propia universidad, en el cual se est trabajando en la investigacin de frmacos para el mal de Parkinson y la idea es estudiar el comportamiento de cobayos en el laboratorio, para poder determinar bajo un mtodo semi-automtico el efecto que puede provocar el medicamento en este tipo de animales. Este proceso lleva mucho tiempo de registro y podra ser relativamente complicado determinar de forma visual cmo modifican su conducta los ratones, pero con el empleo de video se puede hacer un registro puntual del mismo.

La rata es observada sin ser perturbada. Por medio del procesamiento de imagen se puede localizar el contorno del animal, con el fin de determinar su configuracin sea durante un perodo deseado.

Con el objetivo de automatizar el anlisis del movimiento de una rata de experimentacin, el L.C.C Miguel Sandoval desarrollo un simulador de roedor. En la imagen de la izquierda vemos el esqueleto del roedor. Al extremo derecho vemos el tipo de imagen captada por la cmara que observa al animal. Otros proyectos acadmicos de procesamiento de imgenes se centran en el uso de una cmara que registre en el monitor la imagen virtual de la mano, a la vez que la traduzca en la imagen de su estructura sea, no hablo de Rayos X, simplemente de un concepto que nos ayude a entender el movimiento de la estructura esqueltica de una mano humana.

Los Brs. Gustavo Berzunza e Ivn Fuentes trabajan en el desarrollo de un sistema de Rayos X Virtuales. Al mostrar una mano humana frente a un cmara conectada a la computadora se puede obtener el modelo virtual del esqueleto. Cualquier movimiento suave de la mano puede ser reproducido por el esqueleto. Por otra parte la obtencin de modelos tridimensionales de objetos a partir de luz estructural, es decir el empleo de un sistema que proyecta mscaras de luz y las imgenes que captan sus sombras no puede dar la imagen tridimensional de este, en otras palabras puedo decir que scaneamos un objeto tridimensionalmente en el monitor del ordenador, con el objeto de reconocer el modelo en futuras programaciones con afn de poder traducir cada vez ms elementos de la realidad a la imagen virtual. Otro proyecto utiliza modelos de objetos para localizarlos dentro de una imagen, es decir, el modelo de un vehculo que requiere ser localizado dentro de un embotellamiento de trnsito, las implicaciones prcticas seran muy interesantes, igualmente podemos localizar nano-objetos, inmersos en un tejido vascular, etc.

Localizar un objeto dentro de una imagen a partir de su modelo CAD es un problema interesante y complejo.

El M. en I. Ramn Atoche - quin colabora con miembros del Cuerpo Acadmico - realiza investigacin en la inicializacin de pose. La Dra. Mara Elena Martnez de la Universidad Autnoma de Mxico (UNAM) y el Dr. Arturo Espinoza de nuestro cuerpo acadmico, justamente estn estudiando el comportamiento de la venas que circundan e irrigan la retina, por medio del procesamiento de la informacin podran determinar anomalas funcionales que deterioran la visin, por medio del diagnstico de patologas como el glaucoma, retinitis, presin intraocular y macular, etc.

Tenemos as mismo proyectos recientes como el diseo de computadoras especiales que cumplan con funciones especfica, como el procesamiento de imgenes de alta resolucin, en tiempo record en la carga de bites, para ello conjuntamos esfuerzos con los estudiantes de ciencias de la computacin con afn de lograr el computo paralelo distribuido. Actualmente nos encontramos desarrollando una mquina paralela especfica, sobre la base de una tarjeta de memoria que se conoce como filtrado de imgenes. Qu significa esto? El filtrado de imgenes es un algoritmo computacional que permite una secuencia de video, extrayendo los contornos de los objetos que uno observa, por dar un ejemplo nuestro ojo humano cuenta con una capacidad extraordinaria para reconocer e identificar objetos y, lo que se pretende hacer es utilizar tcnicas de inteligencia artificial que son muy demandadas en el rea de robtica y en base a esto desarrollar estrategias para diseo automtico de diversos objetos. El inters es que se logre esta identificacin en tiempo real; al momento tenemos la capacidad de poder filtrar hasta 30 imgenes por segundo, lo valioso es que antes de que aparezca la nueva imagen ya se terminaron de procesar los contornos.

En lo que corresponde a la fsica computacional tenemos en el cuerpo docente a dos investigadores con nivel doctoral, sus nombres son Aarn Abraham Aguayo Gonzlez y Gabriel Murrieta, que atienden el rea de fsica y mtodos numricos, ellos lo que hacen es utilizar la computadora para realizar experimentos que en un principio podran ser considerados como modelos tericos. Lo que hacen con la computadora es determinar los mecanismos e interacciones del comportamiento posible de algunos materiales y partculas, por medio de la simulacin en el ordenador. Ahora platicamos con el maestro en ciencias de la computacin egresado de la misma facultad Fernando Curi Quintal, quien nos habla de los trabajos de investigacin que desarrollan los estudiantes del rea sealada. Del 2001 al 2004 fungi como coordinador del rea de ciencias computacionales, esta carrera se inici en 1987, ah se trabajan sistemas distribuidos y paralelos y es una lnea de investigacin que apoya la licenciatura de ciencias matemticas, as mismo se coordinan trabajos con visin computacional y robtica, donde se estudia en desarrollo de interfaces. Por lo cual le interrogamos sobre su interesante labor, MC Fernando Curi, Especficamente que trabajo se hace en este desarrollo? Hay un trabajo sobre neurociencia que fundamenta el manejo y estudio del mal de Parkinson, al respecto quiero decirle que una de nuestras alumnas recientemente recibi una medalla de oro en el evento Expo-Ciencias en la ciudad de Fortaleza, Brasil. Este concurso es a nivel Iberoamericano, su nombre es Karen Navarrete Kao, ella present en la categora de ingeniera biomdica los conectores y monitores que visualizan y analizan el comportamiento de los cobayos en dicha investigacin. Su profesor es Francisco Heredia Lpez, para l fue muy gratificante reconocer el entusiasmo y capacidad de una joven de 24 aos de edad oriunda de Tizimn, Yucatn, que ahora se ha ganado el derecho de participar en el evento de Expo-Ciencias a nivel mundial que se celebrar en el 2005 en Santiago de Chile. Con su tesis la egresada propone agilizar los procesos para la evaluacin de frmacos, los cuales antes de llegar al mercado son sometidos a rigurosas y minuciosas pruebas. Por ltimo entrevist al actual coordinador de la carrera de cmputo el Maestro en Ciencias Jorge Gmez Montalvo, quien me comenta la dinmica del estudiante en su preparacin acadmica.

Los alumnos a la par de sus asignaturas y proyectos acadmicos, son motivados para adentrarse en el proceso de investigacin para generar conocimiento, por lo cual en coordinacin con la administracin se efectan eventos como Acerqumonos a la investigacin, en el cual los estudiantes con asesora de sus profesor pueden desarrollar un proyecto, sin importar si es ajeno a las asignaturas que reciben. Lo importante es que desarrollen la metodologa, elaboren las investigaciones en base a una propuesta y al final cuenten con evaluadores que conforman un jurado, el cual emite un resultado en una ceremonia ex profeso para ello con premiacin. Podra sealar algunos ejemplos de los trabajos que se han realizado? Son diversos, por supuesto puedo mencionar algunos, como por ejemplo, captura de informacin y anlisis de datos para estructurar una biblioteca digital, anlisis de sistemas y cruzamiento de imgenes, reconocimiento de patrones para software educativos. Algunos de estos trabajos se integran a la actividad de la facultad, logran ser operativos para sus labores acadmicas? Desde luego, no todos pero muchos logran optimizar labores que se efectan en la academia, pero no slo eso, sino que se convierten en la estrategia al dar soluciones a situaciones de la vida cotidiana. Sin lugar a dudas notamos que matemticas y computacin no solo nos remite a Boole, sin embargo en este trabajo en el mes que naci, le hacemos un sentido homenaje, pues gracias a sus descubrimientos, percibimos un mundo nuevo, ahora cada vez que encendamos el celular u operemos un cajero automtico, veamos una cinta en DVD o escuchemos msica en el ordenador, recordaremos a las mentes inquietas de cientficos que se estn formando en diversos pases del mundo y con los cuales interactan los jvenes mexicanos que en sus nociones bsicas de ciencia reconocen el trabajo de un ingls autodidacta que los ha llevado de la mano por un camino insospechado. George Boole, se interes en la aplicacin de mtodos algebraicos para la solucin de ecuaciones diferenciales, dicha investigacin fue publicada por Boole en el Transaction of the Royal Society y su trabajo recibi la medalla de la Real Sociedad. En el 1854 public Las leyes del pensamiento sobre las cuales son basadas las teoras matemticas de Lgica y Probabilidad. Boole aproxim la lgica en una nueva direccin reducindola al lgebra simple, incorporando lgica en las matemticas, agudiz la analoga entre los smbolos algebraicos y aquellos que representan formas lgicas. Boole tambin trabaj en ecuaciones diferenciales, el influyente Tratado en Ecuaciones Diferenciales apareci en 1859, el clculo de las diferencias finitas, Tratado sobre el

Clculo de las Diferencias Finitas (1860), y mtodos generales en probabilidad. Public alrededor de 50 escritos y fue uno de los primeros en investigar las propiedades bsicas de los nmeros, tales como la propiedad distributiva. Boole, fue reconocido por su trabajo recibi grandes honores de las universidades de Dublin y Oxford, incluso fue elegido miembro acadmico de la Real Sociedad en el ao de 1857. Sin embargo, su carrera que comenz un tanto tarde termin infortunadamente temprano cuando muri a la edad de 49 aos, el 8 de Diciembre de 1864 en Ballintemple, County Cork, Irlanda. En la obra Fundamentals of logic design, que escribe Charles H. Roth, Jr., imagine que encontrara algunas deliberaciones respecto a la forma cmo Boole llega a configurar su lgebra booleana, sin embargo descubro que es un libro de texto, para que los alumnos desarrollen ciertas habilites cognitivas muy especficas de las ciencias exactas, que va indicando a los profesionales de las matemticas y la ingeniera de computo la forma como expresar y utilizar este interesante concepto, para lo cual intentar expresar algunos pasos que se siguen para el logro del concepto y sus aplicaciones en la praxis: Las matemticas bsicas necesitan para el estudio del diseo lgico de sistemas digitales, de la lgica booleana, la cual tiene muchas otras aplicaciones incluyendo la teora bsica de la logstica matemtica, pero en esta parte de la obra nos limitaremos a reconocer el encendido de redes de trabajo (switching networks). Desde los diferentes encendidos (switching) que utilizaremos esencialmente, percibimos dos estados, que nos indican lo que hara un transistor de alto y bajo voltaje, para ello estudiaremos un especial caso de la algebra booleana y cada una de sus variables asumiendo nicamente uno o dos valores. En otra parte del texto, que se encuentra complementado con una serie de grficas explicativas, seala: Este valor Booleano, es referencia frecuente en los conectores de lgebra, para lo cual las variables de X y Y, nos ayudarn a representar la entrada y salida de ambos, con lo cual aprenderemos mtodos adicionales para manipular las expresiones donde inversa y dualidad formaran parte del trabajo examinado. Ms adelante indica: Al consensuar el teorema introducido, como nica clave para la simplificacin algebraica, nos indicar el conector los cambios que explica cada una de las expresiones Finalmente la conversin entre la forma del producto y su suma se esclarece, al factor izar los significantes algebraicos, con lo cual se nos permite realizar una funcin de conectores, por una variedad de formas en las redes de conexin.

En un pie de nota del autor de Fundamentos en el diseo lgico, explica: George Boole, desarrollo su lgebra booleana en 1847 y la us para resolver problemas de lgica matemtica. Fue Claude Shannon el primero en aplicarla para disear redes de conectores (switching networks) en 1939. En la actualidad, el lgebra de Boole se aplica de forma generalizada en el mbito del diseo electrnico. 5. COMENTARIOS El lgebra de Boole sent la base de la lgica y le dio una base matemtica, que permiti que se implementara en los ordenadores. Los ordenadores ven ceros y unos, que representan nmeros, letras, imgenes y tambin razonamientos (gracias al algebra de boole). Eso marc la diferencia entre las calculadoras y las computadoras, que eran capaces de tomar decisiones en base a la lgica. EL lgebra de George Boole, hace ms de 100 aos logro traducir, utilizando un procedimiento formal, la lgica de los trminos a una teora de ecuaciones, por lo cual es conocido como el Padre de la Lgica Moderna. Adems como Moiss Chong en su citada obra que "el aporte de la obra de Boole, conocido como Algebra Booleana, consiste en un vasto movimiento de formalizacin del lenguaje lgico y, por consiguiente, el intento de que la validez de toda aseveracin est en funcin matemtica, dando lugar a la lgica simblica, que ha venido a servir como procedimiento fructfero en el campo de la investigacin y la demostracin cientfica. El simbolismo lgico se ha llegado a convertir en una especie de culminacin, normalizadora, permitiendo, as, que la lgica sea tratada como un clculo, pudindose de este modo analizar sus posibilidades, formas, etc., con la misma objetividad y precisin, orden y claridad que hasta hace mucho parecan patrimonio del matemtico." De esta manera, puede afirmarse entonces, que el aporte de Boole. contribuy a simplificar el lenguaje corriente natural de los pueblos (espaol, ingls, ruso, etc.), a quedarse tan slo con el esqueleto lgico de una o varias expresiones dadas, sin que haya lugar a la menor suposicin psicolgica, y eliminando as todo contenido anmico que pudiera deformar las expresiones en su contenido conceptual. Desde este punto de vista, la lgica simblica busca la superacin de todos los defectos tradicionales del lenguaje. A su vez, se desinteresa del requisito de la verdad de lo que se afirma, en el sentido de que no se preocupa de decirle a uno qu afirmaciones son verdaderas, sino que simplemente propone darnos criterios que garanticen hasta donde sea posible, la verdad de determinadas proposiciones si algunas otras lo son, llegando as a establecer reglas

generales, las cuales no se ocupan de una determinada demostracin, sino que se refiere a conjuntos enteros sin interesarse por el contenido fctico de si, por ejemplo, es verdad que "los cuadrpedos son animales" o si "Euclides fue un gran matemtico" Dentro de estas orientaciones, existen trminos que no poseen significado propio, signo que desempean una determinada funcin y que establecen siempre conexiones o bien, precisin al mbito a que se refieren a otros trminos de una proposicin. Se trata de los conectores o conectivas tales como "algunos", "y", "o", "no", "pero", "si,entonces", etc. Ahora bien dentro de una proposicin dada sucede que ciertos nombres, categormaticos en este caso, podemos reemplazarlos por "variables", esto es, por letras y que dan lugar a expresiones que no designan o sealan nada determinado y que pueden volver a indicar algo cuando sus variables son reemplazadas de nuevo por nombres. El filsofo panameo Moiss Chong en su obra ya citada anteriormente lo siguiente: "igualmente sabemos que la introduccin de smbolos constantes y bien determinados en lugar de expresiones sincategoremticas como "y", "no", "o", etc., no modifica sustancialmente del procedimiento formal pero, en cambio, nos lleva a prescindir an ms de los contenidos. Cuando se introducen, como veremos ms adelante, smbolos, se ofrecen ventajas bsicas que nos convencen ms todava de la importancia y valor de su uso. Sin embargo, no hay que confundir formalismo y simbolismo, puesto que es posible, y en efecto as lo es, que un sistema formal no sea simblico, de la misma manera que podemos tener entre nosotros una escritura puramente simblica que no represente o implique necesariamente una formalizacin. Lo que si es cierto es que el simbolismo aparece como resultado de todo el milenario esfuerzo de la llamada lgica formal.0." A partir de estas concepciones tericas la lgica simblica o algebra booleana permiti traducir las expresiones en lenguaje natural a smbolos matemticos y estableci as las bases para el posterior desarrollo de la informtica y las computadoras. 6. CONCLUSIN En conclusin 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. Las compuertas lgicas son los dispositivos electrnicos ms sencillos que existen, pero al mismo tiempo son los ms utilizados en la actualidad.

7. REFERENCIAS AGAZZI, EVANDRO (1986). LA LGICA SIMBLICA. BOOLE, GEORGE (1848). THE CALCULUS OF LOGIC. GARDNER, MARTIN (1973). MQUINAS LGICAS Y DIAGRAMAS. PEACOCK, GEORGE (1940). A TREATISE ON ALGEBRA. BOOLE, G. (1848), THE CALCULUS OF LOGIC. EN BOOLE MATEMTICA DISCRETA KOLMANT HISTORIA DEL ALGEBRA MARCOS CADIMA EL APORTE DE LA LOGICA BOOLEANA MOISES CHONG ALGEBRA MODERNA SEBASTIAN LAZO ALGEBRA ARMANDO ROJO PAGINAS WWW.MONOGRAFIAS.COM WWW.ELRINCONDELVAGO.COM WWW.WIKIPEDIA.COM WWW.MATEMATICASDORTE.COM WWW.ALPHAMATHER.COM DIRECCIONES WEB HTTP://ES.SOFTWARE.YAHOO.COM/FOT/FTXT/KARMAP.HTML HTTP://WWW.TERRA.ES/PERSONAL/JFTJFT/ALGEBRA/BOOLE/ALGBOOLE .HT HTTP://WWW.TERRA.ES/PERSONAL/JFTJFT/ALGEBRA. HTTP://ES.DIR.YAHOO.COM/CIENCIA_Y_TECNOLOGIA/ MATEMATICAS/ALGEBRA/ALGEBRA_DE_BOOLE/ HTTP://ES.DIR.YAHOO.COM/CIENCIA_Y_TECNOLOGIA/ MATEMATICAS/ALGEBRA/ALGEBRA_DE_BOOLE HTTP://WWW.CONOCIMIENTOSWEB.NET/PORTAL/DIRECTORIO HTTP://WWW.ZABALNET.COM/INTRO/CURSOS/03_ALGEBRA.HTM HTTP://WWW.INF.UFSC.BR/INE5365/ALGBOOLE.HTML HTTP://WWW.NCC.UP.PT/~ZP/AULAS/9899/ME/TRABALHOS/ ALUNOS/CIRCUITOS_LOGICOS/ALGBOOLE.HTML HTTP://BUSCADOR.HISPAVISTA.ES/LOGICA--ALGEBRA-DE-BOOLE