ESCUELA POLITÉCNICA NACIONAL

FACULTAD DE INGENIERÍA ELÉCTRICA Y ELÉCTRONICA

SISTEMAS DIGITALES

INFORME X TRABAJO PREPARATORIO

Práctica #: 4 Tema: Demostración de algunos teoremas del algebra de Boole

Realizado por:

Alumno (s): Juan Sebastian Molina Grupo: GR8

Dario Toapanta

(Espacio Reservado)

Fecha de entrega: ____ / ____ / ____ f. ______________________

año mes día Recibido por:

Sanción:

Semestre: 2017-A
 Laboratorio de Sistemas Digitales
Practica No. 4
Fecha: 2/06/2017
Tema: Demostración de algunos teoremas del algebra de Boole
Objetivos:
 Comprobar en forma práctica algunos teoremas del algebra de Boole y aplicar el
principio de dualidad.
 Analizar las compuertas básicas y su universalidad.
PREPARATORIO:
1. Con compuertas A-O-N, diseñe un circuito lógico que permita verificar el
Teorema de la combinación y también diseñe un circuito para su dual.
𝑋𝑌 + 𝑋𝑌̅ = 𝑋

Fig. 1 Circuito teorema de la combinación

(𝑋 + 𝑌)(𝑋 + 𝑌̅) = 𝑋

Fig. 2 Circuito dual teorema de la combinación

2. Con compuertas A-O-N, diseñe un circuito lógico que permita verificar el
Teorema de DeMorgan y también diseñe un circuito para su dual.
̅̅̅̅̅̅̅̅
𝑋 + 𝑌 = 𝑋̅𝑌̅

Fig. 3 Circuito teorema de DeMorgan

̅̅̅̅
𝑋𝑌 = 𝑋̅ + 𝑌̅

Fig. 4 Circuito dual teorema de DeMorgan

3. Con compuertas A-O-N, diseñe un circuito lógico que permita verificar el
Teorema de redundancia y también diseñe un circuito para su dual.
𝑋 + 𝑋̅𝑌 = 𝑋 + 𝑌

Fig. 5 Circuito teorema de redundancia

𝑋(𝑋̅ + 𝑌) = 𝑋𝑌

Fig. 6 Circuito dual teorema de redundancia

4. Con compuertas A-O-N, diseñe un circuito lógico que permita verificar el
Teorema de la absorción y también diseñe un circuito para su dual.
𝑋 + 𝑋𝑌 = 𝑋

Fig. 7 Circuito teorema de la absorción

𝑋(𝑋 + 𝑌) = 𝑋

Fig. 8 Circuito dual teorema de la absorción

5. Con compuertas A-O-N, diseñe un circuito lógico que permita verificar el
Teorema del consenso y también diseñe un circuito para su dual.
𝑋𝑌 + 𝑌𝑍 + 𝑋̅𝑍 = 𝑋𝑌 + 𝑋̅𝑍

Fig. 9 Circuito teorema del consenso

(𝑋 + 𝑌)(𝑌 + 𝑍)(𝑋̅ + 𝑍) = (𝑋 + 𝑌)(𝑋̅ + 𝑍)

Fig. 10 Circuito dual teorema del consenso

6. Dadas las funciones:

̅̅̅̅̅̅̅
̅ ⨁𝒀)(𝑿
1: ((𝑿 ̅̅̅̅̅̅̅̅
+𝒀 ̅ )) + (𝑿 + 𝒀)

((𝑋𝑌̅ + 𝑋̅𝑌)(𝑋̅𝑌)) + (𝑋 + 𝑌)

(𝑋𝑋̅𝑌𝑌̅ + 𝑋̅𝑋̅𝑌𝑌) + (𝑋 + 𝑌)
(0 + 𝑋̅𝑌) + (𝑋 + 𝑌)
𝑋̅𝑌 + 𝑋 + 𝑌
 𝑌(𝑋̅ + 1) + 𝑋
𝑌𝑋̅ + 𝑋
𝑋+𝑌
̅̅̅̅𝑹 + 𝑨𝑺𝑹 + 𝑨
2: 𝑨𝑺 ̅𝑹 + 𝑨
̅𝑺 ̅𝑹 + 𝑨
̅ 𝑺𝑹 + 𝑨𝑺 ̅𝑹
̅𝑺 ̅
̅̅̅̅ + 𝐴𝑆 + 𝐴̅𝑆̅ + 𝐴̅𝑆 + 𝐴𝑆̅) + 𝐴̅𝑆̅𝑅̅
𝑅(𝐴𝑆
̅̅̅̅ + 𝐴̅𝑆̅ + 𝐴̅𝑆 + 𝐴) + 𝐴̅𝑆̅𝑅̅
𝑅(𝐴𝑆
̅̅̅̅ + 𝐴̅(𝑆 + 𝑆̅) + 𝐴] + 𝐴̅𝑆̅𝑅̅
𝑅[𝐴𝑆
̅̅̅̅ + (𝐴̅ + 𝐴)] + 𝐴̅𝑆̅𝑅̅
𝑅[𝐴𝑆
̅̅̅̅ + 1] + 𝐴̅𝑆̅𝑅̅
𝑅[𝐴𝑆
𝑅 + 𝐴̅𝑆̅𝑅̅
(𝑅 + 𝐴̅)(𝑅 + 𝑆̅)
a) Simplifique y exprese la función resultante con compuertas A-O-N.

Fig. 11 Primera función con compuertas AON

Fig. 12 Segunda función con compuertas AON

b) Simplifique y exprese la función resultante solo con compuertas NOR.

Fig. 13 Primera función con compuerta NOR

Fig. 14 Segunda función con compuerta NOR

c) Simplifique y exprese la función resultante solo con compuertas NAND.

Fig. 15 Primera función con compuerta NAND

Fig. 16 Segunda función con compuerta NAND