Algebra de Boole
Matemático inglés autodidacta que fue el
primero en definirla como parte de un sistema
lógico, inicialmente en un pequeño folleto de
1847, The Mathematical Analysis of Logic,
publicado en respuesta a una controversia en
curso entre Augustus De Morgan y sir William
Rowan Hamilton
El álgebra de Boole fue un intento de utilizar las
técnicas algebraicas para tratar expresiones de
la lógica proposicional. Más tarde fue extendido
George Boole como un libro más importante: An Investigation
(1815-1864) of the Laws of Thought on Which are Founded
the Mathematical Theories of Logic and
Probabilities
1. Operaciones y expresiones booleanas
a. Suma booleana
b. Multiplicación booleana
Actividades
Simplificar a la mínima expresión:
c. Determinar los valores de A, B, C y D que hacen que el término
suma 𝐴 + 𝐵 + 𝐶 + 𝐷 sea igual a cero
d. Determinar los valores de A, B, C y D que hacen que el término
producto 𝐴𝐵𝐶𝐷 sea igual a 1.
2. Leyes y reglas del álgebra de Boole
Principio de dualidad:
Cualquier teorema o identidad algebraica deducible de postulados puede
transformarse en un segundo teorema o identidad válida sin más que
intercambiar (+) por (·) y 1 por 0
Propiedades
Propiedad Forma Dual
Idempotencia 𝑎+𝑎=𝑎 𝑎*𝑎=𝑎
Conmutativa 𝑎+𝑏=𝑏+𝑎 𝑎*𝑏=𝑏*𝑎
Asociativa (𝑎 + 𝑏) + 𝑐 = 𝑎 + (𝑏 + 𝑐) (𝑎 * 𝑏) * 𝑐 = 𝑎 * (𝑏 * 𝑐)
Distributiva 𝑎 * (𝑏 + 𝑐) = 𝑎 * 𝑏 + 𝑎 * 𝑐 𝑎 + (𝑏 * 𝑐) = (𝑎 + 𝑏) * (𝑎 + 𝑐)
Morgan (𝑎 + 𝑏) = 𝑎 * 𝑏 (𝑎 * 𝑏) = 𝑎 + 𝑏
Identidad 𝑎+0=𝑎 𝑎*1=𝑎
Involución 𝑎= 𝑎
Complemento 𝑎 +𝑎= 1 𝑎 *𝑎= 0
Absorción 𝑎 * (𝑎 + 𝑏) = 𝑎 𝑎 + (𝑎 * 𝑏) = 𝑎
𝑎*0=0 𝑎+1=1
Otras propiedades
𝑎 ⊕ 𝑏 = 𝑎 * 𝑏 + 𝑎 * 𝑏 = (𝑎 + 𝑏)(𝑎 + 𝑏)
𝑎 ⊙ 𝑏 = 𝑎 ⊕ 𝑏 = 𝑎 * 𝑏 + 𝑎 * 𝑏 = (𝑎 + 𝑏)(𝑎 + 𝑏)
3. Análisis Booleano de los circuitos lógicos
a. Expresión booleana de un circuito lógico
𝐴(𝐵 + 𝐶𝐴)
b. Construcción de una tabla de verdad para un circuito lógico
C B A S
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1
Simplificando la misma función lógica se tiene
= 𝐴(𝐵 + 𝐶𝐴)
= 𝐴𝐵 + 𝐴𝐶𝐴
= 𝐴𝐵
4. Simplificación mediante álgebra de boole
Actividades
Simplificar a la mínima expresión:
1) Simplificar 𝐴𝐵 + 𝐴(𝐵 + 𝐶) + 𝐵(𝐵 + 𝐶)
2) Simplificar [𝐴𝐵(𝐶 + 𝐵𝐷) + 𝐴 𝐵 ] 𝐶
3) Simplificar 𝐴𝐵𝐶 + 𝐴𝐵 𝐶 + 𝐴 𝐵 𝐶 + 𝐴𝐵𝐶 + 𝐴𝐵𝐶
4) Simplificar 𝐴𝐵 + 𝐴𝐶 + 𝐴 𝐵𝐶
5. Formas estándares de las expresiones booleanas
Suma de productos
𝐴𝐵 + 𝐴𝐵 𝐶 + 𝐵 𝐶 + 𝐷
Actividades
Convertir cada una de las siguientes expresiones booleanas a su
forma suma de productos:
5) 𝐴𝐵 + 𝐵(𝐶𝐷 + 𝐸𝐹)
6) (𝐴 + 𝐵)(𝐵 + 𝐶 + 𝐷)
7) (𝐴 + 𝐵) + 𝐶
Forma estándar de la suma de productos
8) 𝐴𝐵𝐶 + 𝐴𝐵 𝐶 + 𝐴 𝐵 𝐶 + 𝐴𝐵𝐶 + 𝐴𝐵𝐶
Actividades
Convertir la siguiente expresión booleana al formato suma de
productos estándar:
9) 𝐴𝐵𝐶 + 𝐴 𝐵 + 𝐴𝐵𝐶𝐷
10) 𝐵𝐶𝐷 + 𝐴𝐵 𝐶𝐷 + 𝐴 𝐵 𝐶 𝐷
Producto de sumas
11) (𝐴 + 𝐵 + 𝐶)( 𝐵 + 𝐶)𝐷
Actividades
Convertir la siguiente expresión booleana a formato producto de
sumas estándar:
12) (𝐴 + 𝐵 + 𝐶)( 𝐵 + 𝐶 + 𝐷)(𝐴 + 𝐵 + 𝐶 + 𝐷)
13) (𝐴 + 𝐵 )( 𝐵 + 𝐶)
6. Conversión de una suma de productos estándar en un producto de
sumas estándar
● Paso 1: determinar los números binarios que representan a los
términos
● Paso 2: Determinar los números binarios no incluidos en el paso
1
● Paso 3: Escribir los términos del paso 2 como suma de productos
Actividades
Convertir la siguiente suma de productos en su expresión equivalente
como producto de sumas:
14) 𝐴 𝐵 𝐶 + 𝐴𝐵 𝐶 + 𝐴𝐵𝐶 + 𝐴𝐵𝐶 + 𝐴𝐵𝐶
7. Expresiones booleanas y tablas de verdad
Conversión de una suma de productos a tabla de verdad
𝐶 𝐵𝐴 + 𝐶𝐵 𝐴 + 𝐶𝐵𝐴
Término
C B A S producto
0 0 0 0
0 0 1 1 𝐶 𝐵𝐴
0 1 0 0
0 1 1 0
1 0 0 1 𝐶𝐵 𝐴
1 0 1 0
1 1 0 0
1 1 1 1 𝐶𝐵𝐴
Conversión de un producto de suma a tabla de verdad
(𝐶 + 𝐵 + 𝐴)(𝐶 + 𝐵 + 𝐴)(𝐶 + 𝐵 + 𝐴)(𝐶 + 𝐵 + 𝐴)(𝐶 + 𝐵 + 𝐴)
Término
C B A S producto
0 0 0 0 (𝐶 + 𝐵 + 𝐴)
0 0 1 1
0 1 0 0 (𝐶 + 𝐵 + 𝐴)
0 1 1 0 (𝐶 + 𝐵 + 𝐴)
1 0 0 1
1 0 1 0 (𝐶 + 𝐵 + 𝐴)
1 1 0 0 (𝐶 + 𝐵 + 𝐴)
1 1 1 1
Determinación de las expresiones estándares a partir de una tabla de
verdad
Término
C B A S producto
0 0 0 0 (𝐶 + 𝐵 + 𝐴)
0 0 1 1 𝐶 𝐵𝐴
0 1 0 0 (𝐶 + 𝐵 + 𝐴)
0 1 1 0 (𝐶 + 𝐵 + 𝐴)
1 0 0 1 𝐶𝐵 𝐴
1 0 1 0 (𝐶 + 𝐵 + 𝐴)
1 1 0 0 (𝐶 + 𝐵 + 𝐴)
1 1 1 1 𝐶𝐵𝐴
Otras notaciones
mintérmino
𝑓(𝐶, 𝐵, 𝐴) = 𝐶 𝐵𝐴 + 𝐶𝐵 𝐴 + 𝐶𝐵𝐴
𝑓(𝐶, 𝐵, 𝐴) = 𝑚1 + 𝑚4 + 𝑚7
𝑓(𝐶, 𝐵, 𝐴) = ∑(1, 4, 7)
Maxtérmino
𝑓(𝐶, 𝐵, 𝐴) = (𝐶 + 𝐵 + 𝐴)(𝐶 + 𝐵 + 𝐴)(𝐶 + 𝐵 + 𝐴)(𝐶 + 𝐵 + 𝐴)(𝐶 + 𝐵 + 𝐴)
𝑓(𝐶, 𝐵, 𝐴) = 𝑀0 * 𝑀2 * 𝑀3 * 𝑀5 * 𝑀6
𝑓(𝐶, 𝐵, 𝐴) = Π(0, 2, 3, 5, 6)
