Preparatorio Practica N°5: DEMOSTRACIÓN

DE ALGUNOS TEOREMAS DEL ALGEBRA

DE BOOLE
(Diciembre de 2021)
1st Brandon Josue Ramirez Lema
Ingeniería Eléctrica y Electrónica, Escuela Politécnica Nacional
Sistemas Digitales
Quito, Ecuador
brandon.ramirez@epn.edu.ec

Resumen – El presente documento contiene información sobre

algunos teoremas presentes en el algebra booleana y su
implementación en circuitos, con sus respectivas compuertas
lógicas equivalentes.

Índice de Términos – Booleana, Propiedades, Tabla de verdad,

Variables.

I. INTRODUCCIÓN
Ilustración 1: Propiedad Conmutativa
•
E l álgebra booleana, o también conocida como álgebra
Elemento neutro

booleana, es un sistema matemático que se utiliza para expresar

cualquier circuito lógico en forma de ecuaciones algebraicas, es
decir, es una herramienta que nos puede ayudar a resolver y
simplificar cualquier tipo de problemas que encontremos. En el
sistema digital. Por ejemplo, debemos crear un sistema en el
que una bombilla se encienda mediante dos interruptores y uno Ilustración 2: Propiedad Elemento Neutro
de los interruptores se active, pero no al mismo tiempo. [1] • Distributiva
Para obtener una solución, primero hacemos una tabla, que
enumera todas las combinaciones posibles de interruptores y en
qué combinaciones se encienden las bombillas. Una vez que se
determinan uno o más de los estados encendidos, las variables
y ecuaciones se crean a continuación donde se toma en cuenta
que 0 es igual a la variable negativa (A '), y 1 es la variable
normal (A). Para poder convertir estas ecuaciones en circuitos
de puertas lógicas, basta con saber que la negación no es una
puerta, ni una suma y una multiplicación.

II. METODOLOGÍA Ilustración 3: Propiedad Distributiva

Para la elaboración del presente preparatorio de hará uso de hoja • Asociativa
guía de laboratorio de sistemas digitales practica 5, donde se
detallará cada pregunta planteada, mediante la investigación,
simplificación y simulación de circuitos mediante el software
de simulación de circuitos Proteus 8.

III. DESARROLLO DE CONTENIDO

3.1
Propiedades
• Conmutativa Ilustración 4: Propiedad Asociativa

LABORATORIO DE SISTEMAS DIGITALES, Preparatorio 5

 • Complementario

Ilustración 5: Propiedad Complementario

Teoremas
• Idempotencia

Ilustración 6: Teorema idempotencia

• Identidad

Circuito 1: Ej 3.2.1 Sin Simplificar

Ilustración 7: Teorema Identidad

• Absorción

Circuito 2: Ej 3.2.1 Simplificado

•
(𝐴̅ + 𝑅̅ )𝑆 + 𝐴(𝑆̅ + 𝑅̅) + 𝐴̅𝑆̅𝑅 + 𝐴𝑆̅ + 𝐴̅𝑆𝑅̅ + 𝑆𝑅 , morgan
(𝐴 + 𝑅̅ )𝑆 + 𝐴(𝑆̅ + 𝑅̅ ) + 𝑆̅(𝐴̅𝑅 + 𝐴) + 𝑆(𝐴̅𝑅̅ + 𝑅) , Morgan,
Ilustración 8: Teorema Absorción
asociativa
• DeMorgan (𝐴 + 𝑅̅ )𝑆 + 𝐴(𝑆̅ + 𝑅̅ ) + 𝑆̅(𝑅 + 𝐴) + 𝑆(𝐴̅ + 𝑅) , absorción
𝑆𝐴 + 𝑆𝑅̅ + 𝐴𝑆̅ + 𝐴𝑅̅ + 𝑆̅𝑅 + 𝑆̅𝐴 + 𝑆𝐴̅ + 𝑆𝑅, distributiva
𝑆(𝐴 + 𝐴̅) + 𝑆 (𝑅̅ + 𝑅) + 𝐴𝑆̅ + 𝐴𝑅̅ + 𝑆̅𝑅 ,asociativa
𝑆 ∙ 1 + 𝑆 ∙ 1 + 𝐴𝑆̅ + 𝐴𝑅̅ + 𝑆̅𝑅 , complementario, neutro
𝑆 + 𝐴𝑆̅ + 𝐴𝑅̅ + 𝑆̅𝑅 , idempotencia
𝑆 + 𝐴 + 𝐴𝑅̅ + 𝑅, absorcion
𝑆 + 𝐴(𝑅̅ + 1) + 𝑅 , asociativa
𝑆 + 𝐴 ∙ 1 + 𝑅, identida
𝐴 + 𝑅 + 𝑆 , neutro
Ilustración 9: Teorema DeMorgan
3.2
•
(𝑋̅𝑌̅ + 𝑋𝑌)𝑋̅ 𝑌 + (𝑋̅𝑌̅ + 𝑋𝑌)𝑋𝑌 , equiv. xor y xnor
𝑋̅𝑌̅ 𝑋̅𝑌 + 𝑋𝑌𝑋̅𝑌 + 𝑋̅ 𝑌̅𝑋𝑌 + 𝑋𝑌𝑋𝑌 , distributiva
𝑋𝑌𝑋𝑌 , complementario
𝑌𝑋 , idempotencia

LABORATORIO DE SISTEMAS DIGITALES, Preparatorio 5

 Circuito 6: Ej 3.2.3 Simplificado
•
̅̅̅̅̅̅̅̅̅̅̅̅
(𝑃 + 𝑄̅)𝑄 ∙ 𝑃̅ + (𝑄𝑃 + 𝑄̅𝑃̅), equiv. XOR
(𝑃̅̅̅̅̅̅̅̅
+ 𝑄̅ + 𝑄̅)𝑃̅ + 𝑄𝑃 + 𝑄̅ 𝑃̅, morgan
(𝑃̅𝑄̅ + 𝑄̅)𝑃̅ + 𝑄𝑃 + 𝑄̅𝑃̅, morgan
(𝑃̅𝑄 + 𝑄̅)𝑃̅ + 𝑄𝑃 + 𝑄̅ 𝑃̅, morgan
(𝑃̅ + 𝑄̅)𝑃̅ + 𝑄𝑃 + 𝑄̅𝑃̅ , absorción
𝑃𝑃̅ + 𝑃̅𝑄̅ + 𝑄𝑃 + 𝑄̅𝑃̅, distributiva
̅
𝑃̅ + 𝑃̅𝑄̅ + 𝑄𝑃, idempotencia
𝑃̅(𝑄̅ + 1) + 𝑄𝑃, asociativa
𝑃̅ + 𝑄𝑃, identidad
𝑃̅ + 𝑄, absorción

Circuito 3: Ej 3.2.2 Sin Simplificar

Circuito 4: Ej 3.2.2 Simplificado

• Circuito 7: Ej 3.2.4 Sin Simplificar
𝑃̅𝑄̅ (𝑃̅𝑄̅ + 𝑃𝑄) + 𝑃 + 𝑄̅ , morgan, equiv. Xnor
𝑃̅𝑄̅ 𝑃̅𝑄̅ + 𝑃𝑄𝑃̅𝑄̅ + 𝑃 + 𝑄̅ , distributiva
𝑃 + 𝑄̅ , idempotencia, complementario

Circuito 8: Ej 3.2.4 Simplificado

•
𝐶𝐷̅ (𝐴̅ + 𝐴) + 𝐴𝐵𝐷 ̅ + 𝐴̅𝐵̅𝐶𝐷 + 𝐴̅𝐵𝐷 ̅ + 𝐴̅𝐵 (𝐶̅ + 𝐷̅) +
𝐴(𝐶̅ + 𝐷̅ ) de Morgan.
𝐶𝐷̅ + 𝐵𝐷 ̅ (𝐴 + 𝐴̅) + 𝐴̅𝐵̅𝐶𝐷 + 𝐴̅𝐵(𝐶̅ + 𝐷 ̅ ) + 𝐴(𝐶̅ + 𝐷
̅)
distributiva / complemento / identidad.
𝐶𝐷̅ + 𝐵𝐷 ̅ + 𝐴̅𝐵̅𝐶𝐷 + (𝐶̅ + 𝐷 ̅ )(𝐴̅𝐵 + 𝐴)
distributiva.
𝐶𝐷̅ + 𝐵𝐷 ̅ + 𝐴̅𝐵̅𝐶𝐷 + (𝐶̅ + 𝐷 ̅ )(𝐵 + 𝐴) absorción.
Circuito 5: Ej 3.2.3 Sin Simplificar 𝐶𝐷 + 𝐵𝐷 + 𝐴𝐵𝐶𝐷 + 𝐶 𝐵 + 𝐶̅ 𝐴 + 𝐷
̅ ̅ ̅ ̅ ̅ ̅𝐴 + 𝐷̅𝐵
distributiva.
𝐶𝐷̅ + 𝐴̅𝐵̅𝐶𝐷 + 𝐶̅ 𝐵 + 𝐶̅ 𝐴 + 𝐷 ̅𝐴 idempotencia.

LABORATORIO DE SISTEMAS DIGITALES, Preparatorio 5

 •
̅̅̅̅̅̅̅̅̅̅̅̅̅
𝐴+𝑅+𝑆

Circuito 12: Ej 3.2.2 NOR

•
̅̅̅̅̅̅̅̅
𝑄̅ + 𝑃

Circuito 13: Ej 3.2.3 NOR

•
̅̅̅̅̅̅̅̅
𝑃̅ + 𝑄
Circuito 9: Ej 3.2.5 Sin Simplificar

Circuito 14: Ej 3.2.4 NOR

•
̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
𝐶𝐷̅ + 𝐴̅𝐵̅𝐶𝐷 + 𝐶̅ 𝐵 + 𝐶̅ 𝐴

Circuito 10: Ej 3.2.5 Simplificado

3.3
•
̅̅̅̅̅̅̅
𝑥̅ + 𝑦̅

Circuito 15: Ej 3.2.5 NOR

3.4
•
̅̅̅̅
𝑋𝑌

Circuito 11: Ej 3.2.1 NOR

LABORATORIO DE SISTEMAS DIGITALES, Preparatorio 5

 Circuito 16: Ej 3.2.1 NAND
•
̅̅̅̅̅̅̅̅
𝐴̅. 𝑅̅. 𝑆̅

Circuito 20: Ej 3.2.5 NAND

REFERENCIAS
Circuito 17: Ej 3.2.2 NAND [1] T. L. Floyd, Fundamentos de Sistemas Digitales - 6 Edicion, 9a ed.
Prentice Hall, 2000. pp. 124-145.
• [2] A. Brunete. "3.1 Álgebra de Boole | Introducción a la Automatización
̅̅̅̅̅
𝑃̅. 𝑄 Industrial". Home | Bookdown.
https://bookdown.org/alberto_brunete/intro_automatica/algebraboole.ht
ml (accedido el 19 de diciembre de 2021).
[3] Les Ingenieurs. ✅ÁLGEBRA BOOLEANA (Introducción)
EJERCICIOS para APRENDER. (3 de febrero de 2016). Accedido el 19
de diciembre de 2021. [Video en línea]. Disponible:
https://www.youtube.com/watch?v=p58C7OWe3Xk

Circuito 18: Ej 3.2.3 NAND

•
̅̅̅̅̅
𝑄̅. 𝑃

Circuito 19: Ej 3.2.4 NAND

•
̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅̅̅̅̅̅̅̅
̅ 𝐵̅𝐶𝐷. ̅̅̅̅
̅̅̅̅
𝐶𝐷̅. 𝐴 𝐶̅ 𝐵. ̅̅̅̅
𝐶̅ 𝐴

LABORATORIO DE SISTEMAS DIGITALES, Preparatorio 5