Álgebra Booleana

Axiomas, teoremas y funciones

Academia de computación
Eric Rodríguez Peralta 5 de marzo de 2023

Licenciatura
Ingeniero en computación
UAp Sistemas digitales
 Álgebra Booleana – Axiomas, teoremas y funciones

Contenido
Portada 1

Contenido 2

Lista de figuras 3

Lista de tablas 4

Lista de algoritmos 5

1. Introducción 6

2. Álgebra booleana 6
2.1. Axiomas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2. Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.3. Funciones booleanas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.3.1. Forma algebraica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.3.2. Tablas de verdad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.3.3. Forma canónica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
[Link]. Minitérminos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
[Link]. Maxitérminos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
[Link]. Función canónica de una tabla de verdad . . . . . . . . . . . . . . . . . . 10
[Link]. Función canónica de una función booleana (minitérminos) . . . . . . . . 10
[Link]. Función canónica de una función booleana (maxitérminos) . . . . . . . . 10
[Link]. Conversión SP→PS y PS→SP . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.4. Simplificación de funciones booleanas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.4.1. Simplificación algebraica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.4.2. Mapas de Karnaugh . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.4.3. Quine-McClusky . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

3. Compuertas lógicas 15
3.1. Símbolo lógico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.2. Tabla de verdad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.3. Función lógica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.4. Forma de onda lógica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.5. Compuertas lógicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.5.1. Buffer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.5.2. NOT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.5.3. AND . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.5.4. NAND (NOT AND) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.5.5. OR . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.5.6. NOR (NOT OR) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.5.7. XOR (OR exclusivo) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.5.8. XNOR (NOT XOR) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.6. Tecnologías de CIs digitales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.6.1. Tecnología CMOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.6.2. Tecnología TTL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

Bibliografía 21

Eric Rodríguez Peralta 2 / 21

 Álgebra Booleana – Axiomas, teoremas y funciones

Lista de figuras
3. Tabla de verdad de una función booleana. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
4. Función booleana de una tabla de verdad. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
5. Función canónica de una tabla de verdad. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
6. Gráfica de los implicantes primos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
7. Símbolos de las compuertas OR y AND. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
8. Forma de onda lógica. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
9. Compuerta Buffer o Yes, realiza una operación monoaria . . . . . . . . . . . . . . . . . . . 17
10. Compuerta NOT o complemento, realiza una operación monoaria . . . . . . . . . . . . . . 17
11. Compuerta AND, permite dos o más entradas . . . . . . . . . . . . . . . . . . . . . . . . . . 18
12. Compuerta NAND (NOT-AND), permite dos o más entradas . . . . . . . . . . . . . . . . . . 18
13. Compuerta OR, permite dos o más entradas . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
14. Compuerta OR (NOT-OR), permite dos o más entradas . . . . . . . . . . . . . . . . . . . . . 19
15. Compuerta XOR (eXclusive OR), solo permite dos entradas . . . . . . . . . . . . . . . . . . 19
16. Compuerta XNOR (eXclusive NOT-OR), solo permite dos entradas . . . . . . . . . . . . . . 19
17. Encapsulado de CIs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
18. Configuración de algunas compuertas lógicas. . . . . . . . . . . . . . . . . . . . . . . . . . 21

Eric Rodríguez Peralta 3 / 21

 Álgebra Booleana – Axiomas, teoremas y funciones

Lista de tablas
1. Axiomas del álgebra booleana. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2. Teoremas del álgebra booleana. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3. Representación de los implicantes primos (términos) . . . . . . . . . . . . . . . . . . . . . 14
4. Aplicación del método de Quine . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
5. Tabla de verdad con 3 entradas y una salida . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
6. Serie básica CMOS de 5V . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
7. Serie básica CMOS de 3.3V . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
8. Serie básica TTL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
9. Dígitos de identificación de los CIs con tecnología TTL . . . . . . . . . . . . . . . . . . . . . 21

Eric Rodríguez Peralta 4 / 21

 Álgebra Booleana – Axiomas, teoremas y funciones

Lista de algoritmos

Eric Rodríguez Peralta 5 / 21

 Álgebra Booleana – Axiomas, teoremas y funciones

1 Introducción
Se vive en un mundo de naturaleza analógica y los fenómenos que suceden en la naturaleza
son explicados mediante modelos matemáticos es decir, cuando se trabaja en cualquier área de
la ingeniería, se utilizan estos modelos matemáticos para describir lo que estamos diseñando o
analizando, ejemplo de esto es el caso de la ley fundamental de la dinámica (segunda ley de Newton)
que dice: “La fuerza que actúa sobre un cuerpo, es directamente proporcional a la aceleración: f = ma”,
también se puede mencionar el tiro parabólico que puede ser utilizado para determinar el disparo de
un proyectil militar, describir la trayectoria de un balón, el rebote de una piedra sobre la superficie
del agua por mencionar algunos ejemplos, entonces se puede decir que cualquier fenómeno físico
es posible explicarlo mediante fórmulas que finalmente son expresiones matemáticas. De manera
similar, si se traslada esto a la electrónica digital, la funcionalidad de un circuito puede describirse
mediante ecuaciones matemáticas sin embargo, estas ecuaciones tienen variables y números que no
forman parte de los números reales por lo que no es posible aplicar las mismas propiedades del
álgebra convencional por lo tanto, se debe aprender a utilizar nuevas operaciones, axiomas y nuevos
que se definen en el Álgebra Booleana.

2 Álgebra booleana
El término álgebra se refiere al conjunto de reglas que tiene de un sistema numérico. Toda vez que se
han definido ese conjunto de reglas, pueden ser utilizadas para realizar operaciones complejas como
encontrar el valor de una o varias variables mediante la simplificación de funciones, esta simplificación
permite escribir las funciones con el mínimo de operaciones necesarias.
En 1854, el matemático inglés George Boole presentó, a través de una publicación, un marco de
trabajo algebraico abstracto para un sistema que contenía solo dos estados, verdadero y falso: “Una
investigación de las leyes del pensamiento”. En esta publicación G. Boole presenta los conceptos de
variable binaria y las tres operaciones fundamentales de la lógica: AND, OR y NOT y es la herramienta
matemática fundamental para el análisis y diseño de circuitos digitales sin embargo, la publicación
permaneció en la oscuridad durante más de ochenta años. Cincuenta años después de la publicación
de George Boole, E. V. Huntington (matemático U. Harvard) formula algunos postulados para la
definición formal del Álgebra de Boole, estos postulados nos son únicos pues han surgido otros que
ayudan a definirla. Aproximadamente ochenta y cuatro años después de la publicación de George
Boole, Claude E. Shannon (Matemático estadounidense del MIT) aplicó el marco algebraico de Boole
a su trabajo: “Un análisis simbólico de circuitos de conmutación y relés” en los laboratorios Bell,
demostrando así que las propiedades de los circuitos de conmutación eléctricas biestables pueden
ser representadas por el trabajo de George Boole. Este fue el inicio del campo del diseño de circuitos
digitales y la teoría de la información.
Al igual que cualquier otro sistema algebraico, el Algebra Booleana se caracteriza por tener:
Un dominio esto es, el conjunto de elementos sobre los cuales se define el álgebra [0, 1].
Un conjunto de Operaciones que se van efectuar sobre esos elementos [AND, OR y NOT].
Un conjunto de postulados o axiómas aceptados como premisa sin demostración.
Un conjunto de teoremas, leyes o reglas, que se deducen de los axiomas.
De acuerdo con lo anterior, se puede concluir que el álgebra Booleana es un sistema algebraico
formado por dos elementos el 0 y el 1, al que llamaremos conjunto K, entre los cuales se definen
dos operaciones binarias:
(+) OR
(·) AND
y una operación monoaria:
NOT
Tales que ∀ a, b, c ∈ K se cumplen los axiomas (postulados) de Huntington.

Eric Rodríguez Peralta 6 / 21

 Álgebra Booleana – Axiomas, teoremas y funciones

2.1 Axiomas
Por definición, un axioma (postulado), es una proposición o enunciado tan evidente que se considera
que no requiere demostración. Como se mencionó anteriormente, algunos de los axiomas del álgebra
booleana fueron propuestos por Edward Huntington aunque nos son únicos pues han surgido otros
que ayudan a definir el álgebra de Boole, ver tabla 1.

Tabla 1. Axiomas del álgebra booleana.

# Axiomas Nombre
1 Si A y B ∈ K ∴ A · B ∈ K, A + B ∈ K y Ā ∈ K Conjunto cerrado
2 A = 0 si A 6= 1, A = 1 si A 6= 0 Valores lógicos
3 Si A = 0 ∴ Ā = 1, Si A = 1 ∴ Ā = 0 Negación lógica
4 AB = 1 Si A = B = 1, sino AB = 0 Producto lógico
5 A + B = 1 Si A = 1 o B = 1, sino A + B = 0 Suma lógica

2.2 Teoremas
Un teorema es una proposición matemática que no es intuitivamente obvia y debe ser demostrable a
partir de los axiomas o de otros teoremas que ya han sido demostrados. Una vez demostrado, puede
aceptarse como una verdad sobre el sistema numérico en el que se desarrolló, en este caso el binario.
La tabla 2, ilustra los teoremas de una o más variables definidos en el álgebra booleana.

Tabla 2. Teoremas del álgebra booleana.

# Teorema Dual Nombre

1 A+0=A A·1=A identidad
2 A+1=1 A·0=0 Elementos nulos
3 A+A=A A·A=A Idempotencia
4 A + Ā = 1 A · Ā = 0 Complementos
5 Ā¯ = A Involución
6 A+B =B+A AB = BA Conmutatividad
7 (A + B) + C = A + (B + C) (AB)C = A(BC) Asociatividad
8 AB + AC = A(B + C) (A + B)(A + C) = A + (BC) Distributividad
9 A + AB = A A(1 + B) = A Absorción
10 A + ĀB = A + B A(Ā + B) = AB Cancelación
11 AC + ĀBC = AC + BC AB + ĀC + BC = AB + ĀC Consenso
12 A + B = ĀB̄ AB = Ā + B̄ DḾorgan

2.3 Funciones booleanas

Una función lógica es un conjunto de variables y constantes binarias relacionados con operadores
lógicos. Sean las variables a, b, c ∈ K donde: K = [0, 1], entonces se puede definir una función lógica
de la siguiente manera:
f (a, b, c) = f = a · b + ā · c + a · b̄ + a · b · c
donde el valor de la función f dependerá del valor de las variables a, b, y c. Este valor, de acuerdo
con el primer postulado de Huntington pertenecerá al conjunto K es decir, valdrá bien 0 o bien 1. Las
funciones Booleanas se puede expresar de tres formas distintas:
En forma algebraica,
Por tablas de verdad y

Eric Rodríguez Peralta 7 / 21

 Álgebra Booleana – Axiomas, teoremas y funciones

En forma canónica
• Minitérminos
• Maxitérmino

2.3.1 Forma algebraica

Es la forma más común de representar una función Booleana por ejemplo:

f (a, b, c) = a· b + ā· c + a· c̄
o bien de la siguiente manera:
f = a· b + ā· c + a· c̄

2.3.2 Tablas de verdad

La forma más intuitiva de representar una función booleana es por medio de una tabla de verdad
que expresa el valor de salida de una función para cada combinación de las variables de entrada.
La tabla de verdad además, permite modelar un tipo especial de sistema digital llamado sistema
combinacional. Por ejemplo, en la Figura 3 se puede observar la representación de la función booleana
expresada en forma algebraica. El valor de salida con valor de 1 en la tabla, corresponde a los términos
que aparecen en la función.

a b c f
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 0
f = āb̄c̄ + ābc̄ + ab̄c 1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 0

(a) Función Booleana (b) Tabla de verdad

Figura 3. Tabla de verdad de una función booleana.

Es posible también que, a partir de una tabla de verdad, podamos obtener la función booleana
expresada en forma algebraica, así como se muestra en la Figura 4.

a b c f
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 1 f = āb̄c + ābc + ab̄c̄ + abc̄ + ab· c
1 0 1 0
1 1 0 1
1 1 1 1

(a) Tabla de verdad (b) Función booleana

Figura 4. Función booleana de una tabla de verdad.

2.3.3 Forma canónica

Las funciones booleanas también puden ser representadas en forma canónica mediante dos
estructuras denominadas:

Eric Rodríguez Peralta 8 / 21

 Álgebra Booleana – Axiomas, teoremas y funciones

Minitérminos
Maxitérminos

[Link] Minitérminos

Para representar una función Booleana en forma canónica mediante minitérminos, es necesario
comprender ciertas definiciones: Término producto: expresión Booleana que solo incluye operaciones
AND entre sus variables (afirmadas o negadas). Ejemplo:
ab̄ abc̄ b ābcd¯
Forma SP (Suma de Productos): Se dice que una expresión Booleana está en la forma Suma de
Productos si está formada exclusivamente por la suma lógica (OR) de términos producto:
f (a, b, c, d) = ab̄c + b̄d¯ + ācd¯
Minitérmino: Es un término producto que contiene todas las variables de la función. ¿Cuál de estos
términos no es un Minitérmino?
f (a, b, c, d) : abcd, ābc̄d, ab̄c̄d, b̄c
Forma canónica Suma de productos: Cuando los términos producto de una función Booleana son todos
minitérminos.
f (a, b, c) = ab̄c + āb̄c + abc̄
f (a, b, c) = Σ(1, 5, 6)
Resulta fácil comprender que los números decimales que aparecen entre paréntesis corresponden a
los minitérminos que forman parte de la función boolenana expresada de manera algebraica y que el
símbolo indica que son minitérminos representados en forma de suma de productos.
P

[Link] Maxitérminos

De manera similar a la forma canónica por minitérminos, una función booleana también puede
escribirse en maxitérminos para lo cual es necesario comprender ciertas definiciones: Término suma:
Expresión Booleana que solo incluye operaciones OR entre sus variables (afirmadas o negadas):
a + b̄ a + b + c̄ ā + b + c + d¯
Productos de suma: Se dice que una expresión Booleana está en la forma productos de suma (PS) si
está formada exclusivamente por el producto (AND) de términos suma. Ejemplo:
¯
f (a, b, c, d) = (a + c̄)(b̄ + d)(ā + c + d)
Maxitérmino: Terminos suma que contienen todas las variables de la función. ¿Cual de estos términos
no es un Maxitérmino?
f (a, b, c) : a+b+c ā + b + c̄ a + b̄
Forma canónica Productos de Suma: Cuando los términos suma de una función Booleana son todos
maxitérminos:
f (a, b, c) = (a + b + c̄)(ā + b + c)(ā + b̄ + c̄)
f (a, b, c) = Π(1, 4, 7)
Los números decimales entre paréntesis, corresponden a la función booleana escrita de manera
algebraica en forma de productos de suma a la que se le aplica uno de los teoremas DeMorgan y
el símbolo Π indica que esos maxitérminos están representados en forma de productos de suma.

f (a, b, c) = (a + b + c̄)(ā + b + c)(ā + b̄ + c̄) = Π(1, 4, 7)

Eric Rodríguez Peralta 9 / 21

 Álgebra Booleana – Axiomas, teoremas y funciones

[Link] Función canónica de una tabla de verdad

Es posible obtener una función Booleana en forma canónica de minitérminos y/o maxitérminos a partir
de una tabla de verdad. Para obtener la forma canónica de minitérminos, se suman todos aquellos
términos cuyo valor de salida es igual a 1. Para obtener la forma canónica de maxitérminos, se suman
todos aquellos términos cuyo valor de salida es igual a 0 y se niega toda la función, se aplica teorema
D’Morgan para obtener su representación algebraica en forma de productos de suma. La Figura 5 ilustra
ejemplo de esto.

# A B C f (A, B, C)
0 0 0 0 1 f (A, B, C) = Σ(0, 2, 3, 6, 7)
1 0 0 1 0 f (A, B, C) = ĀB̄ C̄ + ĀB C̄ + ĀBC + AB C̄ + ABC
2 0 1 0 1
3 0 1 1 1 f (A, B, C) = Π(1, 4, 5)
4 1 0 0 0 f (A, B, C) = ĀB̄C + AB̄ C̄ + AB̄C
5 1 0 1 0
6 1 1 0 1
f (A, B, C) = (A + B + C̄)(Ā + B̄ + C)(Ā + B + C̄)
7 1 1 1 1

(a) Tabla de verdad (b) Funciones booleanas

Figura 5. Función canónica de una tabla de verdad.

[Link] Función canónica de una función booleana (minitérminos)

Cuando la función Booleana de la que se quiere escribir en forma canónica no todos sus términos son
minitérminos, se deben realizar los siguientes pasos:
1. Escribir la función en forma de Suma de Productos
2. A cada término producto multiplicarlo por 1 en términos de la variable faltante
3. Aplicar Ley Distributiva del producto sobre la suma
4. Aplicar idempotencia a términos semejantes

[Link] Función canónica de una función booleana (maxitérminos)

Cuando la función Booleana de la que se quiere escribir en forma canónica no todos sus términos son
maxitérminos, se deben realizar los siguientes pasos:
1. Escribir la función en forma Productos de Suma
2. A cada término suma sumarle 0 escrito en términos de la variable faltante
3. Aplicar Ley Distributiva de la suma sobre el producto
4. Aplicar idempotencia a términos semejantes

[Link] Conversión SP→PS y PS→SP

Usando los teoremas DeMorgan es posible obtener de manera rápida, una equivalencia entre
Minitérminos (m) y Maxitérminos M .
mi = Mi
Mi = m i
Para convertir de una forma canónica a otra, se intercambian los símbolos Σ por Π o Π por Σ, y se
listan los números perdidos de la función original: Ejemplo
f (a, b, c) = Σ(1, 3, 6, 7)
f (a, b, c) = Π(0, 2, 4, 5)

Eric Rodríguez Peralta 10 / 21

 Álgebra Booleana – Axiomas, teoremas y funciones

2.4 Simplificación de funciones booleanas

En las matemáticas del sistema numérico decimal hemos aprendido a plantear funciones a partir de
un enunciado y simplificar éstas para optimizar cálculos con la idea de encontrar un valor o bien un
conjunto de valores. De manera similar, en el dominio de los números binarios, se plantean funciones
Booleanas para describir circuitos digitales, estas funciones se simplifican para utilizar el menor
número de elementos electrónicos y presentan las siguientes ventajas:
Menor costo,
menor consumo de potencia,
menor espacio físico y
menor tiempo de respuesta
La simplificación de funciones booleanas se puede realizar mediante la utilización de diferentes
métodos:
Algebraico,
Mapas de Karnaugh y
Quine-McClusky.

2.4.1 Simplificación algebraica

La simplificación algebraica consiste en utilizar axiomas y teoremas para llegar a un resultado

óptimo. El método consiste en escribir la función en forma algebraica con la idea de factorizar los
términos y entonces aplicar axiomas y teoremas hasta llegar a la mínima expresión. Otra consideración
importante que se debe tomar en cuenta es que, al simplificar una función booleana, deben realizarse
las operaciones de acuerdo a su nivel jerárquico, es decir, si existen paréntesis, se resuelven los más
internos, en ausencia de éstos primero se realizan las operaciones NOT, después AND y al final OR. Si
se tienen operaciones con la misma jerarquía, se pueden evaluar de izquierda a derecha o viceversa, el
resultado será el mismo. A manera de ejemplo, se muestra el proceso de simplificación de la siguiente
función booleana: X
f (A, B) = (0, 2, 3)
Escribiendo en forma algebraica la función canónica de minitérminos:

f (A, B) = ĀB̄ + AB̄ + AB

Factorizando: términos 1 y 2
f (A, B) = B̄(Ā + A) + AB
Aplicando el teorema de la suma de los complementos: A + Ā = 1

f (A, B) = B̄(1) + AB

Aplicando el teorema de las identidades: B̄(1) = B̄

f (A, B) = B̄ + AB

Aplicando propiedad distributiva

f (A, B) = (B̄ + A)(B̄ + B)

Aplicando nuevamente el teorema de la suma de los complementos: B̄ + B = 1

f (A, B) = (B̄ + A)(1)

Aplicando nuevamente el teorema de las identidades: (B̄ + A)(1) = (B̄ + A):

f (A, B) = B̄ + A

Aplicando propiedad conmutativa y dado que no hay más teoremas o axiomas que aplicar:

∴ f (A, B) = A + B̄

Eric Rodríguez Peralta 11 / 21

 Álgebra Booleana – Axiomas, teoremas y funciones

A medida que las variables en una función Booleana se incrementan, la simplificación de la función
se complica. Muchos de los problemas reales a resolver mediante sistemas digitales, incluyen una
gran cantidad de variables y el método algebraico es muy susceptible a errores y resulta tedioso y
complicado encontrarlos y corregirlos, es por esto que se desarrollaron otras técnicas de optimización.

2.4.2 Mapas de Karnaugh

Maurice Karnaugh, un físico matemático graduado en la Universidad de Yale y trabajando como

investigador en los laboratorios Bell y en el centro de investigaciones de IBM, desarrolló un método
de simplificación de expresiones Booleanas conocido como Mapas de Karnaugh o Diagrama de Veitch,
abreviado como (K-Map o KV-Map). Se trata de un método de simplificación de funciones Booleanas
que, si se aplica de manera adecuada, optimiza de manera sencillas las funciones booleanas. Los
mapas de Karnaugh son similares una tabla de verdad ya que muestra los valores de las variables
de entrada y salida solo que, en vez de organizarlo en renglones y columnas, lo organiza de forma
matricial, donde cada celda de la matriz, representa un valor binario de las variables de entrada. El
objetivo de los K-Maps es optimizar funciones Booleanas mediante la agrupación de celdas para esto
es necesario, a partir de una función booleana con un determinado número de variables, aprender a
construirlo.
1. El número de celdas debe ser igual al número total de posibles combinaciones de las variables
de entrada (2n ).

n=2 n=3

n=3 n=4

Entonces, el número de celdas a dibujar dependerá del número de variables que participan en la
función de tal manera que si son 3 variables se dibujarán 8 celdas: 2n = número de celdas.
2. Los encabezados de columnas y renglones se disponen según el código Gray.

a ab a ab
b 0 1 c 00 01 11 10 bc 0 1 cd 00 01 11 10
0 0 00 00
1 1 01 01
11 11
10 10

3. Se asigna a cada celda su equivalente decimal de la representación binaria, columna-renglón .

a ab a ab
b 0 1 c 00 01 11 10 bc 0 1 cd 00 01 11 10
0 2 0 2 6 4 0 4 0 4 12 8
0 0 00 00
1 3 1 3 7 5 1 5 1 5 13 9
1 1 01 01
3 7 3 7 15 11
11 11
2 6 2 6 14 10
10 10

4. Se asigna un 1 a cada celda si un término producto aparece en la expresión Booleana a

simplificar. De esta forma cada celda queda determinada por una combinación de unos que
podrán agruparse.

a ab a
b 0 1 c 00 01 11 10 bc 0 1
0 2 0 2 6 4 0 4
0 1 0 1 1 00 1
1 3 1 3 7 5 1 5
1 1 1 1 1 1 1 01 1 1
3 7
11 1
2 6
Eric Rodríguez Peralta 10 1 12 / 21
 Álgebra Booleana – Axiomas, teoremas y funciones

ab
cd 00 01 11 10
0 4 12 8
00 1 1 1
1 5 13 9
01 1 1
3 7 15 11
11 1
2 6 14 10
10 1 1 1 1

X X X
f= (0, 1, 3) f= (1, 2, 4, 5, 7) f = (0, 1, 2, 5, 6, 8, 10, 12, 14, 15)

5. Una celda adyacente a otra, es aquella en donde solo cambia de valor una variable.
ab
cd 00 01 11 10
0 4 12 8
00
1 5 13 9
01
3 7 15 11
11
2 6 14 10
10

6. Un grupo es un conjunto de celdas adyacentes con valor de uno cuya cantidad debe ser potencia
de 2.
ab
cd 00 01 11 10
0 4 12 8
00 1 1
1 5 13 9
01 1
3 7 15 11
11 1 1 1
2 6 14 10
10 1 1

Es importante comprender que para agrupar unos de manera válida, éstos deben ser adyacentes y el
número de unos debe ser potencia de 2. Es aconsejable además, agrupar la mayor cantidad de unos
ya que de esta manera la simplificación será óptima. Un uno puede ser agrupado tantas veces sea
necesario para agrupar otros que no lo están. A manera de ejemplo, considerar la siguiente función
y simplificarla por K-Maps:
f (a, b, c) = Σ(1, 2, 3, 5, 6, 7)
Se analiza cada grupo. por separado considerando que, se debe eliminar la variable que cambia
respecto a las columnas y los renglones. La variable que no cambia, conserva su valor (ya sea negado
o no) para ese minitérmino. Cada grupo analizado forma parte de la expresión booleana simplificada.
Es posible que, toda vez aplicado el método, aún pueda utilizarse axiomas o teoremas para lograr una
mejor optimización.
ab
c 00 01 11 10
0 2 6 4
0 1 1
1 3 7 5
1 1 1 1 1

f (a, b, c) = b+ c

2.4.3 Quine-McClusky

Los K-Maps son efectivos para la simplificación de funciones Booleanas sin embargo, éstos se
complican y son muy suceptibles a errores en funciones con muchas variables además, dependen
de nuestra habilidad visial para identificar los implicantes primos y no provee un algoritmo directo
para implementarse en una computadora así que, para problemas que incluyen muchas variables se
recomienda utilizar un método programable como es el caso del método de Quine-McClusky.

Eric Rodríguez Peralta 13 / 21

 Álgebra Booleana – Axiomas, teoremas y funciones

Quine Wallard fue un filósofo estadounidense, egresado de la Universidad de Harvard que desarrolló
un método de simplificación de expresiones booleanas. En sus artículos publicados: “The Problem
of Simplifying Truth Functions.” American Mathematical Monthly, vol 59, 1952. y ”A Way to Simplify
Truth Functions.” American Mathematical Monthly, vol. 62, 1955. Donde describe que se trata de un
método tabular para encontrar todos los implicantes primos (términos) en una función Booleana.
En este método el número de variables no es una limitante ya que se puede implementar en
una computadora. Las condiciones de “No importa”son fácilmente manejables y establece que
una organización adecuada para la identificación de los terminos son factores claves para lograr
resultados favorables. Edward J. MacCluskey, profesor de electrónica y ciencias computacionales en
la Universidad de Stanford, basándose en los artículos de Quine, publica un artículo: “Minimization
of Boolean Functions.” Bell System Technical Journal, vol. 35, pp. 1417 - 1444 1956, en donde explica el
complemento del método de Quine en forma gráfica, logrando mejores resultados.
McClusy establece que los términos (implicantes) de una función deben ser listados en grupos, 1
por línea. Cada grupo contiene términos con el mismo número de unos y son listados en orden
numérico además, los términos (implicantes) pueden ser representados algebraicamente, de forma
Decimal o de manera binaria, así como se muestra en la Tabla XXX. Con la representación algebraicaes
relativamente fácil identificar la adyacencia entre los términos sin embargo, es muy suceptible a
errores. Con la representación decimal resulta difícil identificar la adyacencia entre los términos. Con
la representación binaria es fácil de identificar la adyacencia entre los términos, es fácil de representar
cada término en forma algebraica y resulta sencillo identificar la variable a eliminar por lo que, para
fines prácticos del curso, se utilizará la representación binaria.

f (a, b, c, d) = Σ(4, 5, 6, 8, 10, 13)

Tabla 3. Representación de los implicantes primos (términos)

Algebraica Decimal Binaria

1 ābc̄d¯ 4 0100
ab̄c̄d¯ 8 1000
2 ābc̄d 5 0101
ābcd¯ 6 0110
ab̄cd¯ 10 1010
3 abc̄d 13 1101

Una vez establecida la representación de los implicantes primos, el método consiste en crear una
primera columna agrupando los implicantes primos de la función a simplificar, en función de la
cantidad de unos que contienen comenzando por el grupo 0 (que no contiene ningún uno), el grupo 1
(términos que contienen un uno) y así sucesivamente en orden ascendente. Posteriormente se genera
una nueva columna buscando la posibilidad de adyacencia de un implicante primo con los demás en
la primera columna, si existe la adyacencia se escribe el nuevo implicante primo en la nueva columna
colocando una x en la variable que cambió. Este proceso se repite en cada columna creada hasta que ya
no haya posibilidad de adyacencias. Toda vez terminadas las adyacencias, se eliminan los implicantes
primos repetidos y la función simplificada estará formada por aquellos implicantes primos que no
tuvieron posibilidad de adyacencia. A manera de ejemplo, la Tabla 4 ilustra la función simplificada
que se logró aplicando la primera parte del método de Quine-McClusky, la función original es:

f (a, b, c, d) = Σ(0, 1, 2, 5, 6, 7, 8, 9, 10, 14)

Eric Rodríguez Peralta 14 / 21

 Álgebra Booleana – Axiomas, teoremas y funciones

Tabla 4. Aplicación del método de Quine

Columna I Columna II Columna III

Grupo 0 0 0000 X 0, 1 000x X 0, 1 − 8, 9 x00x "
0, 2 00x0 X 0, 2 − 8, 10 x0x0 "
Grupo 1 1 0001 X 0, 8 x000 X 0, 8 − 1, 9 x00x •
2 0010 X 1, 5 0x01 • 0, 8 − 2, 10 x0x0 •
8 1000 X 1, 9 x001 X 2, 6 − 10, 14 xx10 "
2, 6 0x10 X 2, 10 − 6, 14 xx10 •
Grupo 2 5 0101 X 2, 10 x010 X
6 0110 X 8, 9 100x X
9 1001 X 8, 10 10x0 X
10 1010 X 5, 7 01x1 •
6, 7 011x •
Grupo 3 7 0111 X 6, 14 x110 X
14 1110 X 10, 14 1x10 X

¯ cd¯
f (a, b, c, d) = āc̄d+ ābd+ ābc+ b̄c̄+ b̄d+
La segunda parte del método es utilizado para seleccionar el mínimo conjunto de implicantes
primos que formarán la función optimizada y consiste en crear una gráfica en cuyas columnas se
colocan todos los minitérminos de la función original y en los renglones los implicantes primos
de la función simplificada en la primera parte del método. La gráfica se realiza colocando una x
en aquellos implicantes primos que estén representados en los minitérminos, posteriormente se
seleccionan primero los implicantes primos esenciales, aquellos marcados en círculos en la Figura
6. Posteriormente se seleccionan suficientes implicantes primos de tal forma que se cubran todos
los minitérminos de la función. La función optimizada estará formada por la suma de los implicantes
primos indicados por las líneas horizontales.

minitérminos
0 1 2 5 6 7 8 9 10 14
0000 0001 0010 0101 0110 0111 1000 1001 1010 1110

cd¯ × × × ×
implicantes primos

b̄d¯ × × × ×
b̄c̄ × × × ×
ābc × ×
ābd × ×
āc̄d × ×

f (a, b, c, d) = cd¯ +b̄c̄ +ābd

Figura 6. Gráfica de los implicantes primos.

Aún en este método, existe la mínima posibilidad de aplicar axiomas y teoremas a la función obtenida
para lograr una mejor optimización.

3 Compuertas lógicas
Las compuertas lógicas están construidas con transistores sin embargo, para fines prácticos de esta
UAP, se tratará su funcionamiento únicamente como entradas y salidas de unos y ceros, sin entrar en
detalles del hardware físico subyacente. Esta omisión permite Diseñar circuitos lógicos complejos. Es
importante tener claro los conceptos de:
Símbolo lógico
Tabla de verdad
Función lógica
Forma de onda

Eric Rodríguez Peralta 15 / 21

 Álgebra Booleana – Axiomas, teoremas y funciones

3.1 Símbolo lógico

Las compuertas lógicas están representadas por símbolos con formas únicas que indican gráficamente
su funcionalidad. El término circuito lógico es utilizado para describir un circuito digital que
implementa alguna de las operaciones lógicas del álgebra booleana mediante la interconexión de
múltiples compuertas lógica, comúnmente se colocan las entradas del circuito a la izquierda y las
salidas a la derecha como se observa en la figura ??. Un símbolo lógico es una representación gráfica
de una compuerta lógica que se puede usar en circuito digital para mostrar cómo se interconectan
entre sí.

A
B
F = AB + CD
C
D

Figura 7. Símbolos de las compuertas OR y AND.

3.2 Tabla de verdad

En una tabla de verdad se listan todas las posibles combinación de las variables de entrada de una
función lógica así como el valor de su respectiva salida, ver Figura 5. Para n variables de entrada
habrá 2n combinaciones. Comúnmente se lista un número de renglón, su equivalente binario y los
posibles valores de la variable de salida, esto facilita escribir la función de diferentes maneras. La
funcionalidad de un circutio lógico se define formalmente por medio de tablas de verdad.

Tabla 5. Tabla de verdad con 3 entradas y una salida

# A B C F
0 0 0 0 0
1 0 0 1 1
2 0 1 0 1
3 0 1 1 0
4 1 0 0 1
5 1 0 1 0
6 1 1 0 0
7 1 1 1 1

3.3 Función lógica

Es necesario comprender que los operadores lógicos del álgebra booleana (AND, OR, NOT, etc.), están
relacionadas con las compuertas lógicas por lo que, las funciones lógicas describen las operaciones
que son necesarias realizar para producir las salidas listadas en una tabla de verdad y que la función
de salida producirá solo un 1 o un 0. Entonces se puede decir que al igual que una tabla de verdad,
una función lógica también representa la funcionalidad de un circuito digital formado por compuertas
lógicas pero escrita de forma algebraica o canónica:
X
F (A, B, C) = ĀB̄C + ĀB C̄ + AB̄ C̄ + ABC F (A, B, C) = (1, 2, 4, 7)

3.4 Forma de onda lógica

La forma de onda lógica, es una descripción útil del comportamiento de un sistema digital ya que
imita el formato que generalmente se observa al medir un circuito físico utilizando un equipo de
prueba como un osciloscopio. En la forma de onda lógica, cada señal solo puede tomar un valor de 1

Eric Rodríguez Peralta 16 / 21

 Álgebra Booleana – Axiomas, teoremas y funciones

o 0. Resulta útil escribir los valores lógicos de la señal en cada transición en la forma de onda para
facilitar la lectura (de forma ideal). Una forma de onda lógica es una representación gráfica de la
relación de la señal de salida con las señales de entrada respecto al tiempo.

# A B C F
0 0 0 0 0
A 0 0 0 0 1 1 1 1
1 0 0 1 1
2 0 1 0 1 B 0 0 1 1 0 0 1 1
3 0 1 1 0
4 1 0 0 1 C 0 1 0 1 0 1 0 1
5 1 0 1 0
6 1 1 0 0 F 0 1 1 0 1 0 0 1
7 1 1 1 1
Tiempo

(a) Tabla de verdad (b) Representación gráfica

Figura 8. Forma de onda lógica.

3.5 Compuertas lógicas

En el álgebra boolenana, además de los operadores lógicos básicos, existen otros operadores lógicos
se se fueron incluyendo a lo largo del tiempo. En esta sección se explicará el símbolo de cada uno de
ellos así como la tabla de verdad que lo representa, su modelo matemático y su forma de onda.

3.5.1 Buffer

Aunque no es una de las operaciones básicas del álgebra booleana, el buffer es considerado una
compuerta cuyo vaor de salida es identico al de entrada. La Figura 9 muestra el símbolo lógico, la
tabla de verdad, la función booleana y la forma de onda lógica.

Símbolo Tabla de verdad Función lógica Forma de onda

A F

Figura 9. Compuerta Buffer o Yes, realiza una operación monoaria

3.5.2 NOT

La salida de una compuerta NOT es el complemento de la entrada, se conoce también como compuerta
inversora. Su símbolo lógico es similar al buffer, ver Figura 10, pero con un círculo en la salida que
representa la negación. Su salida puede representarse como un apóstrofe out = in’ o bien como una
barra horizontal por encima de la variable de entrada: out = in.

3.5.3 AND

Se conoce también como el producto lógico, se puede representar como A · B o bien como A&B. La
salida de una compuerta AND será verdadera si todas las entradas son verdaderas. Puede contener
más de dos entradas, la Figura 11 muestra su símbolo lógico, tabla de verdad, función lógica y forma
de onda.

Eric Rodríguez Peralta 17 / 21

 Álgebra Booleana – Axiomas, teoremas y funciones

Figura 10. Compuerta NOT o complemento, realiza una operación monoaria

Figura 11. Compuerta AND, permite dos o más entradas

3.5.4 NAND (NOT AND)

Es el producto lógico invertido, su símbolo lógico es igual al de la AND pero con un círculo a la salida
que representa la negación del producto lógico de las variables de entrada. La salida de una compuerta
NAND será falsa si todas las entradas son falsas y puede tener más de dos entradas. La figura 12
muestra su símbolo lógico, tabla de verdad, función lógica y forma de onda lógica.

Figura 12. Compuerta NAND (NOT-AND), permite dos o más entradas

3.5.5 OR

La compuerta lógica OR es conocida como la suma lógica (+). Su salida será verdadera si cualquiera
de sus entradas es verdadera. Puede tener más de dos entradas. Su símbolo lógico, tabla de verdad,
función lógica y forma de onda se puede observar en la figura 13.

3.5.6 NOR (NOT OR)

Es la suma lógica invertida, su símbolo lógico es igual al de la compuerta OR pero con un círculo a
la salida que representa la negación de la suma lógica de las variables de entrada. La salida de una
compuerta NOR será verdadera si todas las entradas son falsas. Puede tener más de dos entradas. La
Figura 14 muestra su símbolo lógico, tabla de verdad, función lógica y forma de onda.

Eric Rodríguez Peralta 18 / 21

 Álgebra Booleana – Axiomas, teoremas y funciones

Figura 13. Compuerta OR, permite dos o más entradas

Figura 14. Compuerta OR (NOT-OR), permite dos o más entradas

3.5.7 XOR (OR exclusivo)

La compuerta XOR se conoce también como la diferencia debido a que su salida es verdadera si las
entradas son diferentes. El símbolo lógico es igual al de la OR pero con un arco adicional en la parte
de las variables de entrada. La operación que realiza es una suma exclusiva A ⊕ B = ĀB + AB̄. Esta
compuerta acepta únicamente dos entradas. Su símbolo lógico, tabla de verdad, función lógica y forma
de onda se puede observar en la figura 15.

Figura 15. Compuerta XOR (eXclusive OR), solo permite dos entradas

3.5.8 XNOR (NOT XOR)

El símbolo lógico es igual al de la XOR pero con un círculo en la salida que implica negación. La
compuerta XOR se conoce también como la equivalencia debido a que su salida es verdadera si las
entradas son equivalentes. La operación que realiza es una suma exclusiva negada: A ⊕ B = ĀB̄ +AB.
Su símbolo lógico, tabla de verdad, función lógica y forma de onda se puede observar en la figura 16.

Eric Rodríguez Peralta 19 / 21

 Álgebra Booleana – Axiomas, teoremas y funciones

Figura 16. Compuerta XNOR (eXclusive NOT-OR), solo permite dos entradas

3.6 Tecnologías de CIs digitales

Existen dos tecnologías de CIs digitales que se utilizan para implementar las compuertas lógicas
básicas: CMOS (Complementary Metal-Oxyde Semiconductor) implementadas con transistores FET
(Field Effect Transistor) y TTL (Transistor Transistor Logic) implementadas con transistores BJT (Bipolar
Juntion Transistor).

3.6.1 Tecnología CMOS

Las velocidades de conmutación de esta tecnología han mejorado considerablemente además de

2
ofrecer menor discipación de potencia (P = vR ) sin embargo, tiene la desventaja de que es muy
sensible a las descargas electrostáticas por lo que se debe tener cuidado en su manejo. Las categorías
CMOS en términos de voltaje de alimentación son: CMOS de 5V, 3.3V, 2.5V y 1.8V, ver tablas 6 y 7, cada
una difiere en sus características de funcionamiento y se designan mediante el prefijo 74 (Dispositivo
comercial de propósito general) ó 54 (Dispositivo militar para aplicaciones en entornos más exigentes).

Tabla 6. Serie básica CMOS de 5V

Prefijo Descripción
74HC y 74HCT CMOS de alta velocidad5
74AC y 74ACT CMOS avanzada
74AHC y 74AHCT CMOS de alta velocidad avanzada

Tabla 7. Serie básica CMOS de 3.3V

Prefijo Descripción
74LV y 74LVC CMOS de baja tensión
74ALVC CMOS de baja tensión avanzada

3.6.2 Tecnología TTL

Es la tecnología más popular y es la más práctica en la realización de experimentos y la elaboración

de prototipos ya que no es necesario preocuparse de los problemas de manipulación porque no
es sensible a las descargas electrostáticas. Las series que pertenecen a la familia TTL, difieren en
sus características de funcionamiento y se denominan mediante los prefijos 54 y 74. Se distinguen
de los CMOS por las letras que les siguen a los prefijos, ver Tabla 8. Todas las operaciones lógicas
se encuentran disponibles en ambas tecnologías por medio de CIs. Los tipos de configuraciones se
identifican por los dos o tres digitos finales de la designación serie, ver Figura 9. Por ej: un CI inversor
séxtuple Schottky de baja potencia sería 74LS04.

Eric Rodríguez Peralta 20 / 21

 Álgebra Booleana – Axiomas, teoremas y funciones

Tabla 8. Serie básica TTL

Prefijo Descripción
74 TTL estándar (sin letras)
74S TTL Schottky
74AS TTL Schottky avanzada
74LS TTL Schottky de baja potencia
74ALS TTL Schottky de baja potencia avanzada
74F TTL rápida

Tabla 9. Dígitos de identificación de los CIs con tecnología TTL

Compuerta Entradas identificador

Cuádruple NAND 2 00
Cuádruple NOR 2 02
Séxtuple NOT 1 04
Cuádruple AND 2 08
Triple NAND 3 10
Triple AND 3 11
Doble NAND 4 20
Doble AND 2 21
Triple NOR 3 27
NAND 8 30
Cuádruple OR 2 32
Cuádruple XOR 2 86
Cuádruple XNOR 2 266

Existen dos tipos de encapsulado DIP6 y SOIC7 , ver Figura ??. El diagrama de configuración de
cada compuerta lógica, se puede localizar en su hoja de datos. La figura 18 muestra ejemplo de la
configuración interna de algunas compuertas lógicas.

6 Dual in-line package: inserción

7 Small-outline Integrated Circuit: montaje superficial

Figura 17. Encapsulado de CIs.

Eric Rodríguez Peralta 21 / 21

 Álgebra Booleana – Axiomas, teoremas y funciones

Figura 18. Configuración de algunas compuertas lógicas.

Referencias
[1] H. A. Flórez. Diseño Lógico, Fundamentos en electrónica digital. Ediciones de la U, 2010.
[2] T. L. Floyd. Digital Fundamentals, Eleventh Edition. Pearson, 2015.
[3] G. L. M. Neal S. Widmer y R. J. Tocci. Digital Systems, Principles and Applications, twelfth Edition.
Pearson Education Limited, 2018.

Eric Rodríguez Peralta 22 / 21