Documentos de Académico
Documentos de Profesional
Documentos de Cultura
OBJETIVOS
● Aplicar los postulados del álgebra de Boole a expresiones simplificables.
● Aplicar los teoremas de Morgan en expresiones lógicas.
● Conocer y aplicar los procedimientos de universalización de circuitos.
MARCO TEÓRICO
El álgebra de Boole fue desarrollada por George Boole en 1854 y posteriormente refinada
gracias a E. V. Huntington en 1904. Esta se encuentra definida sobre un conjunto de dos
elementos a los cuales mediante los diagramas de Venn se les aplican los operadores
matemáticos de la intersección (correspondiente a la compuerta AND) y el operador unión
(correspondiente a la compuerta OR) así como la existencia de un complemento
(correspondiente a la compuerta NOT).
Con base en estos postulados se generan una serie de teoremas los cuales son:
● Teorema 1: 𝐴 • 0 = 0
● Teorema 2: 𝐴 • 1 = 1
● Teorema 3: 𝐴 • 𝐴 = 𝐴
● Teorema 4: 𝐴 •𝐴= 0
● Teorema 5: 𝐴 +0 =𝐴
● Teorema 6: 𝐴 +1 =1
● Teorema 7: 𝐴 +𝐴 =𝐴
● Teorema 8: 𝐴 + 𝐴 = 1
● Teorema 9: 𝐴 + 𝐴 • 𝐵 = 𝐴
● Teorema 10: 𝐴 • (𝐴 + 𝐵) = 𝐴
● Teorema 11: 𝐴 • 𝐵 + 𝐴 • 𝐵 = 𝐴
● Teorema 12: (𝐴 • 𝐵) + (𝐴 • 𝐵) = 0
● Teorema 13: 𝐴 + 𝐴 • 𝐵 = 𝐴 + 𝐵
● Teorema 14: 𝐴 • (𝐴 + 𝐵) = 𝐴 • 𝐵
● Teorema 15: 𝐴 + 𝐵 • 𝐶 = (𝐴 + 𝐵) • (𝐴 + 𝐶)
● Teorema 16: 𝐴 • (𝐵 + 𝐶) = (𝐴 • 𝐵) + (𝐴 • 𝐶)
● Teorema 17: 𝐴 • 𝐵 + 𝐴 • 𝐶 = (𝐴 + 𝐶) • (𝐴 + 𝐵)
● Teorema 18: (𝐴 + 𝐵) • (𝐴 + 𝐶) = 𝐴 • 𝐶 + 𝐴𝐵
● Teorema 19: 𝐴 • 𝐵 + 𝐴 • 𝐶 + 𝐵 • 𝐶 = (𝐴 • 𝐵) + (𝐴 • 𝐶)
● Teorema 20: (𝐴 + 𝐵) • (𝐴 + 𝐶) • (𝐵 + 𝐶) = (𝐴 + 𝐵) + (𝐴 + 𝐶)
Además de esto, en el álgebra de Boole se incluyen los teoremas de Morgan, los cuales
indican que:
TEOREMA DE LA DUALIDAD
El teorema de la dualidad expresa que “cada expresión algebraica deducida de los postulados
del álgebra booleana permanece válida si los operadores y elementos identidad se
intercambian”.
Universalización:
La universalización de circuitos lógicos consiste en conformar el circuito en el que se está
trabajando con un solo tipo de compuerta, esta suele ser compuerta lógica NAND o NOR
debido a que son funcionalmente completas (cualquier función Booleana puede ser expresada
en términos de este conjunto de operaciones).
Para universalizar con compuertas NAND se debe expresar la función lógica en minterms
para luego negar dos veces, de estas solo se resuelve la primera negación.
Para universalizar con compuertas NOR es necesario expresar la función lógica en maxterms
y realizar el mismo procedimiento que en la universalización con compuertas NAND.
Ahora, para universalizar el diseño de un circuito lógico se procede a realizar las
equivalencias, en donde cada compuerta AND, OR y NOT tiene su compuerta NAND o NOR
correspondiente:
PROCEDIMIENTO
circuito lógico:
(𝑎 + 𝑏)(𝑎 + 𝑏 + 𝑑) 𝑑 + 𝑎𝑑 + 𝑏𝑑 + 𝑐
(𝑎 + 𝑏)(𝑎𝑑 + 𝑏𝑑 + 0) + 𝑎𝑑 + 𝑏𝑑 + 𝑐
𝑎𝑏𝑑 + 𝑎𝑏𝑑 + 𝑎𝑑 + 𝑏𝑑 + 𝑐
𝑎𝑏𝑑 + 𝑎𝑑 + 𝑏𝑑 + 𝑐
a b c d z
0 0 0 0 1
0 0 0 1 1
0 0 1 0 0
0 0 1 1 1
0 1 0 0 1
0 1 0 1 1
0 1 1 0 1
0 1 1 1 0
1 0 0 0 1
1 0 0 1 1
1 0 1 0 1
1 0 1 1 1
1 1 0 0 1
1 1 0 1 1
1 1 1 0 1
1 1 1 1 0
TABLA II:
CAMBIO LÓGICO PARA A.
a b c d z
0 0 1 0 0
1 0 1 0 1
Sin universalizar:
NAND:
NOR:
Circuito base:
𝑡 = 52 𝑛𝑠
Para el NAND:
𝑡 = 153 𝑛𝑠
Para el NOR:
𝑡 = 123 𝑛𝑠
Analizando estos resultados podemos notar que el tiempo de propagación en el circuito base
es mucho menor que en los circuitos universalizados (casi 3 veces menor).
CONCLUSIONES