El gran descubrimiento de Boole fue aplicar una serie de símbolos a operaciones lógicas y hacer que estos símbolos y operaciones -por elección cuidadosa- tuvieran la misma estructura lógica que el álgebra convencional. En el álgebra de Boole, los símbolos podían manipularse según reglas fijas que producirían resultados lógicos.
En 1854 publicó Investigación sobre las leyes del pensamiento, libro que trataba por completo de la lógica simbólica y su álgebra. La influencia de esta lógica matemática sobre las matemáticas modernas tendría una evolución lenta: si en un primer momento no parecía más que un intrincado juego de palabras, más adelante se vio que era de lo más útil, y hasta completamente indispensable para conseguir la matemática lógica. Boole se casó a la edad de cuarenta años y tuvo cinco hijas, a las que no llegó a ver adolescentes.
La lógica Booleana es el formalismo matemático por medio del cual se llevan al cabo las operaciones que procesa la computadora a través del manejo y control de información eléctrica, por medio de sus transistores. De esta manera puedo decirle que dentro de la enseñanza de la licenciatura en matemáticas, la más longeva de la Facultad, puesto que se imparte desde hace 42 años, al igual que la licenciatura de la enseñanza de las matemáticas, se destaca el papel de este personaje.
¿Podría explicar de qué forma se da esta lógica Booleana?
Su álgebra consiste en un método para resolver problemas de lógica 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 lógica algebraica Booleana la cual ahora encuentra aplicación en la construcción de computadores, circuitos eléctricos, etc.
Para explicar And, podemos hablar del valor del cero, dará evidentemente cero, para lo cual gráficamente se muestran dos compuertas, donde la información fluirá siempre y cuando en ambas haya información, de no ser así la respuesta es no hay información:
A and B = C 0 + 0 = 0 0 + 1 = 0 1 + 0 = 0 1 + 1 = 1 Por su parte para el valor de OR, señala que sí en alguna de las entradas hay información 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
El álgebra booleana es un sistema matemático 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 qu 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 propósitos basaremos el álgebra booleana en el siguiente juego de operadores y valores: - Los dos posibles valores en el sistema booleano son cero y uno, a menudo llamaremos a éstos valores respectivamente como falso y verdadero. - El símbolo · representa la operación lógica AND. Cuando se utilizen nombres de variables de una sola letra se eliminará el símbolo ·, por lo tanto AB representa la operación lógica AND entre las variables A y B, a ésto también le llamamos el producto entre A y B. - El símbolo “+” representa la operación lógica OR, decimos que A+B es la operación lógica OR entre A y B, también llamada la suma de A y B. - El complemento lógico, negación ó NOT es un operador unitario, en éste texto utilizaremos el símbolo “ ‘ “ para denotar la negación lógica, por ejemplo, A’ denota la operación lógica NOT de A. - Si varios operadores diferentes aparecen en una sola expresión booleana, el resultado de la expresión depende de la procedencia de los operadores, la cual es de mayor a menor, paréntesis, operador lógico NOT, operador lógico AND y operador lógico OR. Tanto el operador lógico AND como el OR son asociativos por la izquierda. Si dos operadores con la misma procedencia están adyacentes, entonces se evalúan de izquierda a derecha. El operador lógico NOT es asociativo por la derecha. Utilizaremos además 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) = (A·B)+(A·C) y A+(B·C) = (A+B)·(A+C).
P5 Para cada valor A existe un valor A’ tal que A·A’ = 0 y A+A’ = 1. Éste valor es el complemento lógico de A.
P6 · y + son ambos asociativos, ésto es, (AB)C = A(BC) y (A+B)+C = A+(B+C).
Es posible probar todos los teoremas del álgebra booleana utilizando éstos postulados, además es buena idea familiarizarse con algunos de los teoremas más importantes de los cuales podemos mencionar los siguientes:
Teorema 1: A + A = A
Teorema 2: A · A = A
Teorema 3: A + 0 = A
Teorema 4: A · 1 = A
Teorema 5: A · 0 = 0
Teorema 6: A + 1 = 1
Teorema 7: (A + B)’ = A’ · B’
Teorema 8: (A · B)’ = A’ + B’
Teorema 9: A + A · B = A
Teorema 10: A · (A + B) = A
Teorema 11: A + A’B = A + B
Teorema 12: A’ · (A + B’) = A’B’
Teorema 13: AB + AB’ = A
Teorema 14: (A’ + B’) · (A’ + B) = A’
Teorema 15: A + A’ = 1
Teorema 16: A · A’ = 0
