Escuela Politécnica Nacional

FACULTAD DE INGENIERIA ELÉCTRICA Y ELECTRÓNICA

LABORATORIO DE SISTEMAS DIGITALES
Josue Alejandro Sangucho Guanoluisa, GR4-1
josue.sangucho@epn.edu.ec

INFORME #5
TEMA: DEMOSTRACIÓN DE ALGUNOS TEOREMAS DEL ALGEBRA DE BOOLE CON VHDL
Resumen– – El siguiendo documento presenta el desarrollo de
demostración por medio de nuestro software Quartus prime a lo que Su interpretación es la posible obtención de una
vendría ser expresiones de boole, además de cierto análisis tanto en expresión canónica a partir de todas sus
su representación digital y resolución analítica.
combinaciones para las cuales su función φ tomen el
valor de 1 a partir de una tabla de verdad. [1]
 Forma normal conjuntiva (CNF)
I. DESARROLLO DEL INFORME Se define a partir de una formula lógica 𝜑 expresada
1. Primera Pregunta.
en términos CFN como se muestra en la siguiente
 Formas canonícas: expresión:
Se explica de la siguiente manera, donde todo tipo de
función lógica tiene la posibilidad de caracterizarse 𝑛
como la unión o combinación de dos términos 𝜑 ≡ ∏ 𝐶𝑖 𝑠𝑖𝑒𝑛𝑑𝑜 𝐶𝑖 = ( 𝜆1 ∗ 𝜆2 ∗ … … . .∗ 𝜆𝑚 )
conocidos y a estos términos se los conoce como 1
canónicos: “Los maxitérminos (maxterms) y los Su interpretación es la posible obtención de una
minitérminos(minterms)”. expresión canónica a partir de todas sus
Los maxterms y minterms llegan a considerarse combinaciones para las cuales su función φ tomen el
complementos el uno para el otro, de tal forma que valor de 0 a partir de una tabla de verdad. [1]
cada uno se caracteriza de diferente manera:
minterm el cual es una cláusula formada por n 2. Segunda pregunta en función del University
variables literarias pudiendo estos ser positivos o Program VWF.
negativos, los cuales se llegan a conectar entre sí por  Función 01
la conjunción lógica (and). Por ejemple tenemos el
minterm A(notB)C su proposición es verdadera ̅̅̅̅̅̅̅̅ + 𝑨𝑩𝑪
𝑭𝟏 = 𝑨𝑪𝑫𝑬 ̅̅̅̅𝑬 + 𝑨
̅𝑩̅ 𝑫𝑬
̅̅̅̅ + 𝑩𝑪
̅ 𝑫 + 𝑨𝑫
únicamente cuando a y b son verdaderos o unos (1) y +𝑨̅ 𝑩𝑪
̅𝑫
b siempre será falso es decir cero (0).  Simplificación de la expresión
Maxterm también es una cláusula con n variables
positivos y negativos, el cual a diferencia del minterm
estos están conectados a través de la disyunción lógica
o (or).
Cuando una función lógica posee un similar tipo de
términos canónicos, unidos entre sí por una conexión
se dice que está en una forma canónica de donde la
expresión puede venir expresada como una conjunción
lógica (and) de maxterms donde se caracteriza que está
en la forma normal conjuntiva (CNF) o también
puede expresarse como una disyunción lógica (or) de
minterms donde se caracteriza que está en la forma
normal disyuntiva (DNF). [1]

 Simplificación normal
 Forma normal disyuntiva (DNF)
Se define a partir de una formula lógica 𝜑 expresada
en términos DFN como se muestra en la siguiente
expresión:
𝑛

𝜑 ≡ ∑ 𝐶𝑖 𝑠𝑖𝑒𝑛𝑑𝑜 𝐶𝑖 = (𝜆1 + 𝜆2 + ⋯ … . . +𝜆𝑚 )

1

1
 Representación mediante compuertas
 Previa

 Simplificado

 Función 02
̅̅̅̅̅̅̅̅̅̅ + 𝑨𝑩𝑪
𝑭𝟐 = 𝑨𝑩𝑪𝑫𝑬 ̅̅̅̅ + 𝑪𝑫𝑬
̅̅̅̅̅̅ + 𝑨
̅ 𝑩𝑪𝑫𝑬
̅̅̅̅̅̅ + 𝑨
̅ 𝑩𝑪𝑬
̅̅̅̅̅̅
 Simplificación de la expresión

 Formas de onda resultantes antes y después de la

simplificación

 Representación mediante compuertas

 Previa

2
  Función 03

 Simplificado ̅ + 𝑩𝑬 + 𝑪
𝑭𝟑 = (𝑫 ̅ 𝑨)(𝑫𝑪
̅ + 𝑩𝑬
̅̅̅̅ + 𝑨
̅ )(𝑫 + 𝑩
̅ )(𝑪𝑬
̅̅̅̅ + 𝑩
̅)
 Simplificación de la expresión

 Formas de onda resultantes antes y después de la

simplificación

 Representación mediante compuertas

 Previa

3
  Función 04
̅ + 𝑿𝒀
𝑭𝟒 = 𝑽𝑿𝒁 ̅ + ̅̅̅̅
𝑽𝒀̅̅̅ ̅̅̅̅̅̅̅̅̅ + 𝒀
𝑾 + (𝑽𝑿𝒀𝒁) ̅𝒁
 Simplificado  Simplificación de la expresión

 Formas de onda resultantes antes y después de la

simplificación

 Representación mediante compuertas

 Previa

4
 Simplificado

II. CONCLUSIONES Y RECOMENDACIONES

 CONCLUSIONES
 El uso y la implementación de los softwares tanto
logisim como quartus prime al momento de construir
la expresión Boole permite analizar al instante su
simplificación.
 Se puede comprobar rápidamente si nuestra resolución
analítica de una simplificación de Boole es correcta o
no.
 Construcción del circuito con compuertas lógicas y su
respectiva tabla de verdad al instante hace ver lo
efectivo que es la implementación de los programas
 Formas de onda resultantes antes y después de la digitales para esta área.
simplificación

 RECOMENDACIONES

 Saber que teoremas se están utilizando a la hora de

realizar la simplificación de la expresión de Boole.

 Analizar 2 o 3 veces hasta asegurarse de haber

digitado correctamente la expresión booleana a la
computadora para realizar el proceso de simplificación
y construcción.

 REFERENCIAS

[1 «bookdown.org,» [En línea]. Available:

] https://bookdown.org/alberto_brunete/intro_automatica/fo
rmascanonicas.html. [Último acceso: 19 06 2022].