VICERRECTORADO DOCENTE Código: GUIA-PRL-001

CONSEJO ACADEMICO Aprobación: 2016/04/06

Formato: Guía de Práctica de Laboratorio / Talleres / Centros de Simulación

FORMATO DE GUÍA DE PRÁCTICA DE LABORATORIO / TALLERES / CENTROS DE SIMULACIÓN PARA DOCENTES

CARRERA: COMPUTACIÓN ASIGNATURA: PROGRAMACIÓN

PRACTICA: 01 TÍTULO: ÁLGEBRA DE BOOLE
OBJETIVO:
• Que el estudiante entienda las propiedades del álgebra booleana y pueda analizar el problema antes de
proceder con la solución del mismo.
PRE-REQUISITOS:
a) Leer la documentación relacionada con el álgebra de Boole
b) Contar con una tabla de las propiedades del álgebra booleana

INSTRUCCIONES:
1. Lea detenidamente cada uno de los enunciados propuestos.
2. Plantee una solución a cada uno de los requerimientos.
3. Desarrolle la solución planteada.
4. Elabore un informe con la solución de los enunciados.

En este apartado se resumen los orígenes de la teoría digital, así mismo, se proporciona la descripción de un problema y
el razonamiento de tipo lógico y/o cálculos necesarios para resolverlo.

En el siglo XIX, el matemático George Boole (1815-1864), en sus libros: "The Mathematical Analysis of Logic" (Boole,
1847) y "An Investigation of The Laws of Thought" (Boole, 1854), desarrolló la idea de que las proposiciones lógicas
podían ser tratadas utilizando herramientas matemáticas siguiendo el comportamiento de reglas algebraicas. Igual que
en álgebra tradicional, también se trabaja con letras para denominar variables y formar ecuaciones, obteniendo
resultados de ciertas operaciones mediante una ecuación o expresión booleana. Los trabajos de Boole y los de sus
discípulos resultaron extraños en su época porque en aquel momento parecían no tener aplicaciones. Sin embargo, a
mediados del siglo XX el álgebra de Boole fue de gran importancia práctica y a partir de entonces su importancia en la
información digital hasta nuestros días. Gracias al álgebra de Boole, Claude Shannon (1916-2001) pudo formular su
teoría de la codificación y John Von Neumann (1903-1957) pudo enunciar el modelo de arquitectura que define la
estructura interna de las computadoras desde la primera generación. Por lo tanto, Boole es considerado como uno de
los fundadores de las Ciencias de la Computación y de la base teórica para la era digital (Mendelson, 1970).

El álgebra de Boole, también llamada álgebra booleana es utilizada en diversas áreas como: electrónica digital,
informática y matemática es una estructura algebraica que representa operaciones lógicas. Motivo por el cual
numerosas y distintas estructuras algebraicas que corresponden al álgebra de Boole, aunque en apariencia son muy
diferentes, su estructura es la misma. Para este caso en particular se relaciona con la lógica binaria exclusivamente; este
caso está conformado por dos elementos {0,1}, o {F, V}, o {no, sí}. En la
Tabla 1 se organizan varios axiomas, y a partir de los mismos se demuestran varios teoremas.

Resolución CS N° 076-04-2016-04-20
 VICERRECTORADO DOCENTE Código: GUIA-PRL-001

CONSEJO ACADEMICO Aprobación: 2016/04/06

Formato: Guía de Práctica de Laboratorio / Talleres / Centros de Simulación

FORMATO DE GUÍA DE PRÁCTICA DE LABORATORIO / TALLERES / CENTROS DE SIMULACIÓN PARA DOCENTES

Tabla 1: Propiedades Fundamentales del Álgebra de Boole 1 (Dey & Ghosh, 2013).

A continuación de define un ejemplo de expresión lógica 𝑊𝑊 ∙ (𝑊𝑊 ∙ 𝑋𝑋 ∙ 𝑌𝑌 ∙ 𝑍𝑍) Para lograrlo se utilizan reglas o leyes
establecidas en el álgebra de Boole. Los parámetros para E/S son:
• Expresión Lógica Inicial: 𝐹𝐹 = 𝑊𝑊 ∙ (𝑊𝑊 ∙ 𝑋𝑋 ∙ 𝑌𝑌 ∙ 𝑍𝑍)
• Expresión Lógica Resultante: 𝐹𝐹 = 𝑊𝑊

Análisis del problema: Para alcanzar una solución óptima es importante conocer las leyes fundamentales propuestas en
el álgebra de Boole. Así mismo de nuevas leyes propuestas. Lo cual ayudará a optimizar la expresión lógica propuesta.
Además, para el proceso de reducción se puede aplicar otras reglas del algebra general. En la
Tabla 1, se recopilan las principales propiedades del álgebra de Boole, sin embargo, se pueden utilizar otras reglas, las
mismas que deberían estar sustentadas científicamente por otros autores. Los resultados obtenidos se encuentran
descritos paso a paso en la Tabla 2.

Tabla 2: Resultado aplicando propiedades del álgebra booleana

Pasos Aplicados
Expresión Inicial Expresión Equivalente
Álgebra Boole
𝐹𝐹 = 𝑊𝑊 ∙ (𝑊𝑊 ∙ 𝑋𝑋 ∙ 𝑌𝑌 ∙ 𝑍𝑍) 𝐹𝐹 = 𝑊𝑊 ∙ (𝑾𝑾 + 𝑿𝑿 + 𝒀𝒀 + 𝒁𝒁) DeMorgan
𝐹𝐹 = 𝑊𝑊 ∙ (𝑊𝑊 ∙ 𝑋𝑋 ∙ 𝑌𝑌 ∙ 𝑍𝑍) 𝐹𝐹 = �𝑾𝑾 + 𝑾𝑾� + �𝑾𝑾 + 𝑿𝑿� + �𝑾𝑾 + 𝒀𝒀� + �𝑾𝑾 + 𝒁𝒁� Distributiva
𝐹𝐹 = 𝑊𝑊 ∙ (𝑊𝑊 ∙ 𝑋𝑋 ∙ 𝑌𝑌 ∙ 𝑍𝑍) 𝐹𝐹 = �𝑾𝑾� + �𝑊𝑊 + 𝑋𝑋� + �𝑊𝑊 + 𝑌𝑌� + �𝑊𝑊 + 𝑍𝑍� Idempotencia
𝐹𝐹 = 𝑊𝑊 ∙ (𝑊𝑊 ∙ 𝑋𝑋 ∙ 𝑌𝑌 ∙ 𝑍𝑍) 𝐹𝐹 = �𝑾𝑾� + �𝑾𝑾 + 𝑿𝑿� + �𝑊𝑊 + 𝑌𝑌� + �𝑊𝑊 + 𝑍𝑍� Absorción
𝐹𝐹 = 𝑊𝑊 ∙ (𝑊𝑊 ∙ 𝑋𝑋 ∙ 𝑌𝑌 ∙ 𝑍𝑍) 𝐹𝐹 = 𝑾𝑾 + �𝑾𝑾 + 𝒀𝒀� + �𝑊𝑊 + 𝑍𝑍� Absorción

1
Álgebra booleana reglas y leyes: https://learn.circuitverse.org/docs/bool.html

Resolución CS N° 076-04-2016-04-20
 VICERRECTORADO DOCENTE Código: GUIA-PRL-001

CONSEJO ACADEMICO Aprobación: 2016/04/06

Formato: Guía de Práctica de Laboratorio / Talleres / Centros de Simulación

FORMATO DE GUÍA DE PRÁCTICA DE LABORATORIO / TALLERES / CENTROS DE SIMULACIÓN PARA DOCENTES

𝐹𝐹 = 𝑊𝑊 ∙ (𝑊𝑊 ∙ 𝑋𝑋 ∙ 𝑌𝑌 ∙ 𝑍𝑍) 𝐹𝐹 = 𝑾𝑾 + �𝑾𝑾 + 𝒁𝒁� Absorción

𝐹𝐹 = 𝑊𝑊 ∙ (𝑊𝑊 ∙ 𝑋𝑋 ∙ 𝑌𝑌 ∙ 𝑍𝑍) 𝐹𝐹 = 𝑾𝑾

ACTIVIDADES A DESARROLLAR:
1. Deducir una de las reglas del álgebra booleana (𝐴𝐴 + 𝐶𝐶) (𝐴𝐴 ∙ 𝐷𝐷 + 𝐴𝐴 ∙ 𝐷𝐷) + 𝐴𝐴 ∙ 𝐶𝐶 + 𝐶𝐶. Para lograrlo utilizar
otras reglas o leyes establecidas. Los parámetros para E/S son:
• Expresión Lógica Inicial: 𝐹𝐹 = (𝐴𝐴 + 𝐶𝐶) (𝐴𝐴 ∙ 𝐷𝐷 + 𝐴𝐴 ∙ 𝐷𝐷) + 𝐴𝐴 ∙ 𝐶𝐶 + 𝐶𝐶
• Expresión Lógica Resultante: 𝐹𝐹 = 𝐴𝐴 + 𝐶𝐶

2. Deducir una de las reglas del álgebra booleana 𝐴𝐴 ∙ 𝐵𝐵 + 𝐴𝐴 ∙ 𝐵𝐵 + 𝐵𝐵 ∙ 𝐶𝐶. Para lograrlo utilizar otras reglas o leyes
establecidas. Los parámetros para E/S son:
• Expresión Lógica Inicial: 𝐹𝐹 = 𝐴𝐴 ∙ 𝐵𝐵 + 𝐴𝐴 ∙ 𝐵𝐵 + 𝐵𝐵 ∙ 𝐶𝐶
• Expresión Lógica Resultante: 𝐹𝐹 = 𝐵𝐵

3. Estamos estudiando lógica matemática y se requiere que deduzca una de las reglas del álgebra booleana 𝐴𝐴 ∙
𝐵𝐵 + 𝐴𝐴 ∙ 𝐵𝐵 + 𝐴𝐴 ∙ 𝐵𝐵. Para lograrlo utilizar otras reglas o leyes establecidas. Los parámetros para E/S son:
• Expresión Lógica Inicial: 𝐹𝐹 = 𝐴𝐴 ∙ 𝐵𝐵 + 𝐴𝐴 ∙ 𝐵𝐵 + 𝐴𝐴 ∙ 𝐵𝐵
• Expresión Lógica Resultante: 𝐹𝐹 = 𝐴𝐴 + 𝐵𝐵

4. Simplifique la función utilizando las propiedades del álgebra de Boole que pudieran aplicar. Los parámetros
para E/S son:
• Expresión Lógica Inicial: 𝐹𝐹 = 𝐴𝐴 ∙ 𝐵𝐵 ∙ 𝐶𝐶 + 𝐴𝐴 ∙ 𝐵𝐵 ∙ 𝐶𝐶 + 𝐴𝐴 ∙ 𝐵𝐵 ∙ 𝐶𝐶 + 𝐴𝐴 ∙ 𝐵𝐵 ∙ 𝐶𝐶 + 𝐴𝐴 ∙ 𝐵𝐵 ∙ 𝐶𝐶
• Expresión Lógica Resultante: 𝐹𝐹 = 𝐴𝐴 + (𝐵𝐵 ∙ 𝐶𝐶)

5. Simplifique la función utilizando las propiedades del álgebra de Boole que pudieran aplicar. Los parámetros
para E/S son:
• Expresión Lógica Inicial: 𝐹𝐹 = (𝐴𝐴 ∙ 𝐵𝐵 + 𝐴𝐴 + 𝐴𝐴 ∙ 𝐵𝐵)
• Expresión Lógica Resultante: 𝐹𝐹 = 0

Los enunciados descritos a continuación son opcionales.

1. 𝐴𝐴 ∙ 𝐵𝐵 ∙ 𝐶𝐶 + 𝐴𝐴 ∙ 𝐵𝐵 ∙ 𝐶𝐶 + 𝐴𝐴 ∙ 𝐵𝐵 Sol: 𝐴𝐴 ∙ 𝐵𝐵 ∙ 𝐶𝐶 + 𝐴𝐴 ∙ 𝐵𝐵
2. (𝐴𝐴 ∙ 𝐵𝐵) ∙ (𝐴𝐴 + 𝐵𝐵) + 𝐴𝐴 ∙ 𝐵𝐵 ∙ 𝐶𝐶 + 𝐴𝐴 ∙ 𝐵𝐵 Sol: 𝐵𝐵
3. 𝐴𝐴 ∙ 𝐵𝐵 ∙ 𝐶𝐶 ∙ 𝐷𝐷 + 𝐴𝐴 ∙ 𝐵𝐵 ∙ 𝐶𝐶 ∙ 𝐷𝐷 + 𝐴𝐴 ∙ 𝐵𝐵 ∙ 𝐶𝐶 ∙ 𝐷𝐷 + 𝐴𝐴 ∙ 𝐵𝐵 ∙ 𝐶𝐶 ∙ 𝐷𝐷 Sol: 𝐴𝐴 ∙ 𝐵𝐵 ∙ 𝐶𝐶 + 𝐴𝐴 ∙ 𝐶𝐶 ∙ 𝐷𝐷
4. (𝐴𝐴 + 𝐵𝐵) ∙ ( 𝐶𝐶 + 𝐴𝐴) Sol: 𝐴𝐴 ∙ 𝐶𝐶 + 𝐴𝐴 ∙ 𝐵𝐵
5. 𝐴𝐴 ∙ (𝐴𝐴 ∙ 𝐵𝐵 + 𝐴𝐴 ∙ 𝐵𝐵 + 𝐴𝐴 ∙ 𝐵𝐵 ∙ 𝐶𝐶 + 𝐴𝐴 ∙ 𝐵𝐵 ∙ 𝐶𝐶 + 𝐴𝐴) Sol: 𝐴𝐴

Resolución CS N° 076-04-2016-04-20
 VICERRECTORADO DOCENTE Código: GUIA-PRL-001

CONSEJO ACADEMICO Aprobación: 2016/04/06

Formato: Guía de Práctica de Laboratorio / Talleres / Centros de Simulación

FORMATO DE GUÍA DE PRÁCTICA DE LABORATORIO / TALLERES / CENTROS DE SIMULACIÓN PARA DOCENTES

RESULTADOS OBTENIDOS:
1. Identificar y explicar las operaciones y propiedades básicas del álgebra booleana
2. Analizar y explicar axiomas y teoremas del álgebra booleana
3. Analizar expresiones y funciones booleanas y sus métodos de simplificación
4. Explicar las diferentes formas de representar una función booleana
5. Explicar las propiedades de las puertas lógicas AND, OR y NOT
6. La capacidad resolver y simplificar expresiones matemáticas utilizando el Algebra Booleana.

CONCLUSIONES:
El tutor revisará la solución de los enunciados proporcionando diferentes valores de acuerdo a la Rúbrica de “Lógica
Matemática” (ver Tabla 3).

Tabla 3: Rubrica para Lógica Matemática

CATEGORIA CUMPLE CUMPLE PARCIALMENTE NO CUMPLE

Resolución de Ejercicios (10 pts.)
Definición correcta y adecuada de: Definición incorrecta o parcial para No define y tampoco genera:
sistemas de numeración, o algebra generar adecuadamente: sistemas sistemas de numeración, o
booleana, o diseño de circuitos o de numeración, o algebra booleana, algebra booleana, o diseño de
Plantear
preposiciones lógicas. o diseño de circuitos o preposiciones circuitos o preposiciones lógicas.
Máximo (2 pts.)
Argumentación correcta de los lógicas. Aunque los realiza de forma (0.3 pts.)
procesos realizados de forma manual contiene errores. (1.0 pts.)
manual. (2.0 pts.)
Resuelve las operaciones Resuelve las operaciones No desarrolla las operaciones
(procedimiento) de manera (procedimiento) en desorden, u (procedimiento) siguiendo un
Resolver Máximo detallada y organizada, omisión de algunos pasos. (3.0 pts.) proceso claro y ordenado y el
(6 pts.) proporcionando la respuesta resultado es incorrecto Le cuesta
correcta. (6.0 pts.) resolver operaciones siguiendo
un proceso ordenado. (0.3 pts.)
Verifica el resultado obtenido y Verifica los resultados obtenidos. Verifica en forma incorrecta los
Evaluar
propone otras formas para resolver (1.0 pts.) resultados obtenidos. (0.3 pts.)
Máximo (2 pts.)
el problema. (2.0 pts.)
Informe (10 pts.)

Resolución CS N° 076-04-2016-04-20
 VICERRECTORADO DOCENTE Código: GUIA-PRL-001

CONSEJO ACADEMICO Aprobación: 2016/04/06

Formato: Guía de Práctica de Laboratorio / Talleres / Centros de Simulación

FORMATO DE GUÍA DE PRÁCTICA DE LABORATORIO / TALLERES / CENTROS DE SIMULACIÓN PARA DOCENTES

El informe cuenta con todos los El informe carece de algún aspecto El informe carece de estructura
aspectos de la estructura: de la estructura: Introducción, y/o su contenido no se ajusta a la
Introducción (objeto de la practica), Marco teórico, Metodología, estructura requerida.
Marco teórico (aspectos relevantes Resultados, Conclusión; o bien en (0.3 pts.)
y puntuales de la practica), uno de los apartados no se
Metodología (Procedimiento desarrollan los aspectos requeridos.
Estructura
detallado), Resultados (despliegue (1.0 pts.)
Máximo (2 pts.)
de procesos, código, resultados de
compilación, entre otros),
Conclusión (conclusión
argumentada), Referencias (formato
APA, IEEE, Chicago, o similar)
(2.0 pts.)
No hay errores de gramática, Pocos errores de gramática, Muchos errores de gramática,
Redacción
ortografía o puntuación. ortografía o puntuación. ortografía o puntuación.
Máximo (2 pts.)
(2.0 pts.) (1.0 pts.) (0.3 pts.)
La información presentada es La información presentada es La información presentada no es
rigurosa con la investigación, rigurosa con la investigación, rigurosa con la investigación,
practica o laboratorio realizado. practica o laboratorio realizado. practica o laboratorio realizado.
Calidad de la
Además, es clara y puntual y esta Además, es suficiente pero no está Además, no está bien
información
argumentada a lo largo de todo el bien argumentada a lo largo de todo argumentada a lo largo de todo el
Máximo (2 pts.)
informe. (2.0 pts.) el informe. La información está informe. (0.3 pts.)
organizada, pero los párrafos no
están bien redactados. (1.0 pts.)
La información está muy bien La información está organizada, pero La información proporcionada no
organizada con párrafos bien los párrafos no están bien está organizada y los párrafos no
redactados y con subtítulos. Así redactados. Además, algunos están bien redactados. Asimismo,
Organización
mismo, diagramas, figuras, tablas, diagramas, figuras, tablas, … diagramas, figuras, tablas, no
Máximo (2 pts.)
son ordenados, precisos y proporcionan entendimiento al proporcionan entendimiento al
proporcionan entendimiento al tema. (1.0 pts.) tema.
tema. (2.0 pts.) (0.3 pts.)
La metodología aplicada esta La metodología aplicada esta La metodología aplicada no está
enlistada con los pasos necesarios, enlistada pero no está en un orden enlistada en forma precisa,
Metodología
lógicos y claros. Cada paso esta lógico y los pasos son difíciles de tampoco los pasos se pueden
Máximo (2 pts.)
enumerado y describe conceptos e seguir. (1.0 pts.) entender. (0.3 pts.)
ideas claras. (2.0 pts.)

REFERENCIAS:
Boole, G. (1847). The mathematical analysis of logic: Philosophical Library.
Boole, G. (1854). An investigation of the laws of thought: on which are founded the mathematical theories of logic and
probabilities (Vol. 2): Walton and Maberly.
Dey, P., & Ghosh, M. (2013). Computer Fundamentals and Programming in C (Second Edition ed.): Oxford University
Press, Inc.
Mendelson, E. (1970). Boolean algebra and switching circuits: McGraw-Hill.

Claustro Docente de Programación - Quito:

Firma: ___________________

Resolución CS N° 076-04-2016-04-20
 VICERRECTORADO DOCENTE Código: GUIA-PRL-001

CONSEJO ACADEMICO Aprobación: 2016/04/06

Formato: Guía de Práctica de Laboratorio / Talleres / Centros de Simulación

Resolución CS N° 076-04-2016-04-20