Unidad 4.

Algebra booleana

George Boole fue un lógico y matemático británico. Escribió los libros: “The Mathematical
Analysis of Logic” (1847) y “An Investigation of the Laws of Thought” (1854). Desarrolló la
lógica Simbólica mediante la cual las proposiciones pueden ser representadas mediante
símbolos y la teoría que permite trabajar con estos símbolos, sus entradas (variables o
proposiciones) y sus salidas (respuestas). Dicha lógica cuenta con operaciones lógicas que
siguen el comportamiento de reglas algebraicas. Consideró que las proposiciones lógicas
podían ser tratadas mediante herramientas matemáticas. Las proposiciones lógicas (asertos,
frases o predicados de la lógica clásica) son aquellas que únicamente pueden tomar valores
Verdadero/Falso, o preguntas cuyas únicas respuestas posibles sean Sí/No. Según Boole, al
conjunto de reglas de la Lógica Simbólica se le denomina Álgebra Booleana. Todas las
variables y constantes del Álgebra Booleana, admiten sólo 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 números binarios de un dígito denominado bit, por lo cual el
Álgebra Booleana se puede entender cómo el Álgebra del Sistema Binario.
Fuente: https://es.wikipedia.org/wiki/George_Boole

Todas las operaciones pueden representarse mediante elementos físicos de diferentes tipos:
mecánicos, eléctricos, neumáticos o electrónicos que admiten entradas binarias o lógicas y
que devuelven una respuesta (salida) también binaria o lógica. Sus estados pueden ser:
Abierto/Cerrado, en el casi de interruptores, Encendida/Apagada si se refiere a una bombilla,
Cargado/Descargado, si se tratase de un condensador, Nivel Lógico 0/Nivel lógico 1, para
producir una salida lógica de un circuito semiconductor, entre otras.
En las matemáticas y la lógica matemática, álgebra de Boole es la subárea de álgebra en la
que los valores de las variables que son los valores de la verdad verdadera y falsa, denotado
generalmente 1 y 0 respectivamente. En lugar de álgebra elemental donde los valores de las
variables son números, y las principales operaciones son la suma y la multiplicación, las
principales operaciones del álgebra de Boole son la conjunción y, denotaba ∧, la disyunción
o, denotado ∨, y la negación no, denotan ¬.
Fuente: https://blogdiscretas.wordpress.com/2014/12/08/47/

4.1 Teoremas y postulados

Álgebra de Boole (también llamada álgebra booleana) en informática y matemática, es una
estructura algebraica que esquematiza las operaciones lógicas Y, O , NO y SI (AND, OR, NOT,
IF), así como el conjunto de operaciones unión, intersección y complemento.
NOTA: OPERADOR + ES OR; OPERADOR · ES AND; OPERADOR ‘ ES NOT

1.- PROPIEDAD CONMUTATIVA:

A+B=B+A
A·B=B·A
2. PROPIEDAD DISTRIBUTIVA:
A·(B+C) = A·B + A·C
A + B·C = (A+B)·(A+C)

3. ELEMENTOS NEUTROS DIFERENTES

A+0=A
A·1=A

4. SIEMPRE EXISTE EL COMPLEMENTO DE A, DENOMINADO A’

A + A’ = 1
A · A’ = 0

PRINCIPIO DE DUALIDAD: cualquier teorema o identidad algebraica deducible de los

postulados anteriores puede transformarse en un segundo teorema o identidad válida
sin más que intercambiar (+) por (·) y 1 por 0.

Teoremas del álgebra de boole

Teorema 1: el elemento complemento A’ es único.
Teorema 2 (ELEMENTOS NULOS): para cada elemento de B se verifica:
A+1 = 1
A·0 = 0
Teorema 3: cada elemento identidad es el complemento del otro.
0’=1
1’=0
Teorema 4 (IDEMPOTENCIA): para cada elemento de B, se verifica:
A+A=A
A·A=A
 Teorema 5 (INVOLUCIÓN): para cada elemento de B, se verifica:
(A’)’ = A
Teorema 6 (ABSORCIÓN): para cada par de elementos de B, se verifica:
A+A·B=A
A·(A+B)=A
Teorema 7: para cada par de elementos de B, se verifica:
A + A’·B = A + B
A · (A’ + B) = A · B
Teorema 8 (ASOCIATIVIDAD): cada uno de los operadores binarios (+) y
(·) cumple la propiedad asociativa:
A+(B+C) = (A+B)+C
A·(B·C) = (A·B)·C
Leyes de de Morgan: para cada par de elementos de B, se verifica:
(A+B)’ = A’·B’
(A·B)’ = A’ + B’
Fuente: http://matesdiscretasisc.blogspot.com/2014/12/41-42-teoremas-y-postulados.html

4.2 Optimización de expresiones booleanas

Los teoremas que se van a utilizar se derivan de los postulados del álgebra booleana, y
permiten simplificar las expresiones lógicas o transformarlas en otras que son equivalentes.
Una expresión simplificada se puede implementar con menos equipo y su circuito es más claro
que el que corresponde a la expresión no simplificada. A continuación, se presenta una lista
de teoremas, cada uno con su “dual”.
4.3 Aplicación del algebra booleana
4.3.1 Mini y maxi términos
Para una función booleana de n variables {x_1,…x_n}, un producto booleano en el que
cada una de las n variables aparece una sola vez (negada o sin negar) es llamado
minitérmino. Es decir, un minitérmino es una expresión lógica de n variables consistente
únicamente en el operador conjunción lógica (AND) y el operador complemento o
negación (NOT).
Un maxitérmino es una expresión lógica de n variables que consiste únicamente en la
disyunción lógica y el operador complemento o negación. Los maxterms són una
expresión dual de los minitérminos. En vez de usar operaciones AND utilizamos
operaciones OR y procedemos de forma similar. Por ejemplo, los siguientes términos
canónicos son maxitérminos:
Fuente: http://matematicasdiscretasvi.blogspot.es/1450315200/mini-y-maxi-terminos/

4.3.2 Representación de expresiones booleanas con circuitos lógicos

La herramienta fundamental para el análisis y diseño de circuitos digitales es el Álgebra
Booleana. Esta álgebra es un conjunto de reglas matemáticas (similares en algunos
aspectos al álgebra convencional), pero que tienen la virtud de corresponder al
comportamiento de circuitos basados en dispositivos de conmutación (interruptores, re
levadores, transistores, etc). Es posible construir circuitos digitales llamados
compuertas lógicas que con diodos, transistores y resistencias conectados de cierta
manera hacen que la salida del circuito sea el resultado de una operación lógica básica
sobre la entrada.
Fuente: https://sites.google.com/site/cursomatematicasdiscretas/4-1-aplicacion-del-algebra

Lectura complementaria: http://itpn.mx/recursosisc/1semestre/matematicasdiscretas/Unidad%20IV.pdf

Video complementario: https://www.youtube.com/watch?v=e5OJUFWwlhc