Está en la página 1de 11

ÁLGEBRA DE BOOLE

JUAN CAMILO ARROYO OSORIO


KEVIN SANTIAGO AGUIRRE LONDOÑO
CRISTIAN DAVID GUTIÉRREZ LÓPEZ
TANIA ISABELLA HERRERA SERNA

UNIVERSIDAD TECNOLÓGICA DE PEREIRA


FACULTAD DE CIENCIAS BÁSICAS
PEREIRA
2022
INTRODUCCIÓN
Los circuitos eléctricos conformados por compuertas lógicas pueden estar representados por
medio de ecuaciones que indiquen el comportamiento y configuración de estos, en este
informe se estudiará esta configuración de ecuaciones su manejo y simplificación por medio
del álgebra Booleana y utilizando los teoremas de Morgan. Además, a partir de lo anterior, se
introducen los circuitos universalizados, estos son conformados por sólo un tipo de
compuerta lógica.

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).

El álgebra de boole consta de dos números (0 y 1) y de 3 operaciones, suma, resta y negación.


Esta nace de diversos postulados, los cuales son:

● Postulado 1. El elemento identidad de la suma es el "0". (A + 0 = A).


● Postulado 2. El elemento de identidad del producto es el "1". (A · 1 = A).
● Postulado 3. La suma es conmutativa A + B = B + A.
● Postulado 4. El producto es conmutativo: A · B = B · A.
● Postulado 5. La suma es asociativa: (A + B) + C = A + (B + C).
● Postulado 6. El producto es asociativo: (A · B) · C = A · (B · C).
● Postulado 7. El producto es distributivo respecto de la suma: A · (B + C) = (A · B) +
(A · C).
● Postulado 8. La suma es distributiva respecto del producto: A + (B · C) = (A + B) · (
A + C).
● Postulado 9. Para cada valor A existe un valor Ā tal que A· Ā = 0 y A + Ā = 1. Éste
valor es el complemento lógico o negado de A.
● Postulado 10. El álgebra de Boole es cerrada bajo las operaciones suma, producto y
negación.

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:

1. El complemento de un producto de variables es igual a la suma de los complementos


de las variables.
𝐴 * 𝐵=𝐴+𝐵
2. El complemento de una suma de variables es igual al producto de los complementos
de las variables.
𝐴 + 𝐵=𝐴*𝐵

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:

Figura 1. Equivalencia NAND y NOR.

PROCEDIMIENTO

A partir de la ecuación dada, se simplifica esta con el objetivo de realizar el diagrama de

circuito lógico:

(𝑎 + 𝑏)(𝑎 + 𝑏 + 𝑑) 𝑑 + 𝑎𝑑 + 𝑏𝑑 + 𝑐

(𝑎 + 𝑏)(𝑎𝑑 + 𝑏𝑑 + 0) + 𝑎𝑑 + 𝑏𝑑 + 𝑐

𝑎𝑎𝑑 + 𝑎𝑏𝑑 + 𝑎𝑏𝑑 + 𝑎𝑏𝑑 + 𝑏𝑏𝑑 + 𝑎𝑑 + 𝑏𝑑 + 𝑐

𝑎𝑏𝑑 + 𝑎𝑏𝑑 + 𝑎𝑑 + 𝑏𝑑 + 𝑐

𝑎𝑏𝑑 + 𝑎𝑑 + 𝑏𝑑 + 𝑐

A partir de esta ecuación se obtiene la tabla de verdad:


TABLA I:

TABLA DE VERDAD DEL CIRCUITO BASE

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

Y realizando el diagrama del circuito:

Figura 2. Circuito base


Para obtener su tiempo de propagación se elige la entrada que pase por más compuertas y se
seleccionan dos casos en la tabla de verdad en que la entrada y la salida cambien, en este
caso:

TABLA II:
CAMBIO LÓGICO PARA A.
a b c d z
0 0 1 0 0
1 0 1 0 1

Para la universalización de la compuerta NAND, se intercambia cada compuerta por su


equivalente universalizada:

Figura 3. Universalización NAND

Se obtiene el tiempo de propagación utilizando la misma entrada que en el primer circuito.

Para la universalización de la compuerta NOR, se intercambia cada compuerta por su


equivalente universalizada:

Figura 4. Universalización NOR


Se obtiene el tiempo de propagación utilizando la misma entrada que en el primer circuito.
RESULTADOS

A partir de los diagramas encontrados mediante álgebra de Boole, se obtuvieron los


siguientes circuitos:

Sin universalizar:

Figura 4. Circuito simplificado

NAND:

Figura 5. Circuito universalizado con NAND

NOR:

Figura 6. Circuito universalizado con NOR


Con lo anterior hecho, se procedió a cambiar una entrada por un generador de señales con el
fin de obtener los tiempos de propagación de dichos circuitos universalizados:

Circuito base:
𝑡 = 52 𝑛𝑠
Para el NAND:
𝑡 = 153 𝑛𝑠
Para el NOR:
𝑡 = 123 𝑛𝑠

Circuito base (ns) Circuito NAND (ns) Circuito NOR (ns)

Tiempo de 52 153 123


propagación

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

Cuando se trabaja en un circuito utilizando compuertas lógicas, es posible construirlo de


diferentes maneras, específicamente con el diseño original, el que se obtiene de expresar el
circuito por medio de una ecuación y simplificarla, además de los universalizados que pueden
ser construidos por medio de compuertas lógicas NAND o NOR. Teniendo en cuenta lo
anterior, dependiendo de los requerimientos del circuito se puede construir de una u otra
forma, ya que así, se puede ahorrar dinero y componentes a la hora de armar estos circuitos.
Si la prioridad al diseñar un circuito es reducir costos, debido a que solo se utiliza una
compuerta lógica en el circuito, es necesario universalizar.

Si se requiere priorizar el minimizar el tiempo de propagación en un circuito conformado por


compuertas lógicas, lo ideal es utilizar las compuertas sin universalizar con el circuito
simplificado, ya que estas presentan un menor tiempo de propagación en comparación a las
compuertas NAND o NOR.
Referencias bibliográficas

1. Wikipedia. (s. f.). Wikipedia. Recuperado 2 de abril de 2022, de


https://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole

2. Lopez, R. (s. f.). Fundamentos de los Computadores. Álgebra de Boole. Fundamentos


de los Computadores. Álgebra de Boole. Recuperado 2 de abril de 2022, de
http://www.uhu.es/rafael.lopezahumada/descargas/tema3_funhttp://www.uhu.es/rafael
.lopezahumada/descargas/tema3_fund_0405.pdfhttp://www.uhu.es/rafael.lopezahuma
da/descargas/tema3_fund_0405.pdfd_0405.pdf

También podría gustarte