Aplicaciones del álgebra de Boole (Diseño lógico)

Dr. Luis Eduardo Urbán Rivero

13 de agosto de 2021
Introducción

El Álgebra de Boole que presentamos es un álgebra que trata con variables

binarias y operaciones lógicas.
Las variables se indican con las letras del alfabeto y las operaciones básicas
son AND, OR y NOT (complemento).
Una expresión booleana es una expresión algebraica formada por variables
binarias, las constantes 0 y 1, los símbolos de operación lógicos y paréntesis.

Ejemplo
F = X + Ȳ Z + 1

1/22
 F = X + Ȳ Z + 1
: Términos

2/22
 F = X + Ȳ Z + 1
: Operación OR.
: Operación AND.

3/22
 F = X + Ȳ Z + 1
: Operación NOT.

4/22
Propiedades del álgebra de Boole

1. X + 0 = X
2. 1 · X = X
3. X + 1 = 1
4. 0 · X = 0
5. X + X = X
6. X · X = X
7. X + X̄ = 1
8. X · X̄ = 0
¯ =X
9. X̄

5/22
Propiedades del álgebra de Boole

10. X + Y = Y + X
11. X · Y = Y · X
12. X + (Y + Z ) = (X + Y ) + Z
13. X · (Y · Z ) = (X · Y ) · Z
14. X · (Y + Z ) = X · Y + X · Z
15. X + Y · Z = (X + Y )(X + Z )
16. X + Y = X̄ · Ȳ
17. X · Y = X̄ + Ȳ

6/22
Manipulación algebraica

F = X̄ YZ + X̄ Y Z̄ + XZ
F = X̄ Y (Z + Z̄ ) + XZ Por: 14
F = X̄ Y · 1 + XZ Por: Z + Z̄ = 1
F = X̄ Y + XZ Por: 2

7/22
Representación gráfica

F =X +Y

X
F
Y

F =X ·Y

X
F
Y

8/22
Representación gráfica

F = X̄

X F

9/22
Representación gráfica

F = X̄ Y + XZ

X X̄
X̄Y

X̄Y + XZ
Y

XZ

10/22
Formas canonicas

Existen dos formas estándar de representar las expresiones Booleanas:

• Suma de minitérminos.
• Producto de maxitérminos.

11/22
Suma de minitérminos

• Cada término es un producto de literales.

• La expresión es una suma de minitérminos.
• Cada minitérmino contiene todas las variable.

12/22
Ejemplo de minitérminos con tres variables

X Y Z Minitérmino
0 0 0 X̄ Ȳ Z̄
0 0 1 X̄ Ȳ Z
0 1 0 X̄ Y Z̄
0 1 1 X̄ YZ
1 0 0 X Ȳ Z̄
1 0 1 X Ȳ Z
1 1 0 XY Z̄
1 1 1 XYZ

13/22
Producto de maxiterminos

• Cada término es una suma de literales.

• La expresión es un producto de maxitérminos.
• Cada maxitérmino contiene todas las variable.
• Cada maxitérmino es el complemento del minitérmino asociado a los
valores correspondientes de la tabla de verdad

14/22
Ejemplo de maxiitérminos con tres variables

X Y Z Maxitérmino
0 0 0 X +Y +Z
0 0 1 X + Y + Z̄
0 1 0 X + Ȳ + Z
0 1 1 X + Ȳ + Z̄
1 0 0 X̄ + Y + Z
1 0 1 X̄ + Y + Z̄
1 1 0 X̄ + Ȳ + Z
1 1 1 X̄ + Ȳ + Z̄

Se puede convertir un minitérmino en un maxitérmino y viceversa aplicando el

complemento a un minitérmino o maxitérmino. Por ejemplo el minitérmino
¯ + Z̄
X Ȳ Z̄ al aplicarle el complemento X Ȳ Z̄ = X̄ + Ȳ ¯ = X̄ + Y + Z que
corresponden a los valores de las variables X = 1, Y = 0, Z = 0.

15/22
Técnicas de simplificación de expresiones Booleanas

• Mapas de Karnaugh.
• Algoritmo de Quine-Mccluskey.
• Algoritmo de Butchberger.

Los mapas de Karnaugh son muy didácticos y son perfectos cuando la

expresión y el número de variables no es muy grande. Por otro lado el
algoritmo de Quine-Mccluskey, permite sistematizar la simplificación pero su
tiempo de ejecución es doblemente exponencial. Por último el Algoritmo de
Butchberger es equivalente al Algoritmo de Quine-Mccluskey en el resultado y
el tiempo de ejecución.

16/22
Simplificación de mapas con dos variables

X \Y 0 1
0 X̄ Ȳ X̄ Y
1 X Ȳ XY

F (X , Y ) = X̄ Y + X Ȳ + XY

X \Y 0 1
0 0 1
1 1 1

F (X , Y ) = X + Y

17/22
Simplificación de mapas con 3 variables

X \YZ 00 01 11 10
0 X̄ Ȳ Z̄ X̄ Ȳ Z X̄ YZ X̄ Y Z̄
1 X Ȳ Z̄ X Ȳ Z XYZ XY Z̄

Ejemplo

X \YZ 00 01 11 10
0 0 0 1 1
1 1 1 0 0

F (X , Y , Z ) = X Ȳ + X̄ Y

18/22
Pasos para el diseño de circuitos lógicos

1. Especificación: Se escribe la especificación del circuito en el caso de que

ésta no exista.
2. Formulación: Se localiza la tabla de verdad o las ecuaciones booleanas
que definen las relaciones necesarias entre entradas y salidas.
3. Optimización: Se aplica una optimización a dos niveles o a múltiples
niveles. Se obtiene un diagrama lógico o se genera un netlist para el
circuito resultante, a base de puertas AND, OR e inversores.
4. Mapeado tecnológico: Se transforma el diagrama lógico o netlist en un
nuevo diagrama o netlist empleando la tecnología de implementación
disponible.
5. Verificación: Se verifica el correcto funcionamiento del diseño final.

19/22
Ejemplo de diseño de un circuito

20/22
Otras aplicaciones del álgebra de Boole

• Programación lineal y entera.

• Heurísticas con codificación binaria.
• Sistemas de ecuaciones no lineales.

21/22
Gracias

22/22