VICERRECTORADO DOCENTE Código: GUIA-PRL-001

CONSEJO ACADÉMICO 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: INGENIERÍAS ASIGNATURA: PROGRAMACIÓN

Nro. PRÁCTICA: 1 TÍTULO PRÁCTICA: Álgebra de Boole y Lógica proposicional
OBJETIVOS:
 Lograr las competencias debidas para la resolución de ejercicios de aplicación.
 Reforzar los conocimientos aprendidos para resolver problemas de lógica proposicional con la resolución de ejercicios de aplicación.
 Reforzar los conocimientos aprendidos para resolver problemas de álgebra de Boole con la resolución de ejercicios de aplicación.

1.Revisar material de profundización del tema.

2.Ampliar los conocimientos a través de los recursos complementarios en la plataforma de los ambientes
virtuales contrastando con los ejercicios propuestos.
3. Desarrollar cada sección propuesta en este documento, utilizando el formato para el estudiante.
INSTRUCCIONES 4. Fecha de entrega en acuerdo con el docente. Es importante que su solución refleje todo el proceso que se
(Detallar las debe seguir para obtener la respuesta (especifique adecuadamente la realización de su trabajo y bien
argumentado). Debe colocar su nombre y apellido, el curso y nombre del profesor del aula de teoría al
instrucciones que que pertenece.
se dará al 5. El puntaje final de la práctica guarda correspondencia con contenido en el sílabo de la asignatura (indicador de
estudiante): logro) Valor: 5 puntos.
6. El indicador de logro, de parte 1, a alcanzar es:
Analiza circuitos combinatorios y propone solución a problemas reales mediante circuitos combinatorios.
7. El indicador de logro, de parte 2, a alcanzar es:
Estructura proposiciones y determina si una función proposicional es verdadera o falsa.
ACTIVIDADES POR DESARROLLAR (Anotar las actividades que deberá seguir el estudiante para el cumplimiento de la práctica)
1. Realizar las actividades planteadas en este documento, total de secciones a desarrollar: 2.
2. Presentar la solución sobre el formato adjunto (ubíquelo en el ambiente virtual) y bien expresado el proceso utilizado.
RESULTADO(S) OBTENIDO(S):
 Dominio de una correcta solución a los problemas de lógica empleando álgebra de Boole.
 Dominio de una correcta solución a los problemas de lógica proposicional.
CONCLUSIONES:
 Los practicantes mejoran el conocimiento aprendido en base a la experimentación realizada, aplicando el álgebra de Boole.
 Los practicantes tienen la habilidad de realizar ejercicios con circuitos combinatorios.
 Los practicantes tienen la habilidad de realizar ejercicios con conectores proposicionales, fórmulas contingentes, contradicciones y tautologías.
RECOMENDACIONES:
 Asistir a las jornadas de clases.
 Despejar las dudas que puedan surgir al momento de realizar la práctica.
 Revisar detalladamente la información entregada por el docente.

Docente / Técnico Docente:

_______
Firma:

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

Página 1 de 9
 VICERRECTORADO DOCENTE Código: GUIA-PRL-001

CONSEJO ACADÉMICO Aprobación: 2016/04/06

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

Carreras de Ingenierías Docente:

Programación Período Lectivo: mayo 2021 / septiembre 2021

CUESTIONARIO PARA DESARROLLAR POR SECCIONES

SECCIÓN 1
¿Qué es el Álgebra de Boole?

¿Qué es una compuerta lógica?

¿Qué son los 0s y 1s lógicos y cuáles son los rangos de voltajes de cada uno?

Investigue sobre las siguientes compuertas

Diagrama Tabla de
Descripción y # Circuito
Compuerta Símbolo funcionamiento
lógico para verdad para
Integrado
Código TTL
dos entradas dos entradas
Es una compuerta A B S
inversora de señal.
NOT A Á Función: invierte la señal
1 - 0 CMOS 4069 TTL 7404
de entrada 0 - 1
A B S

AND

A B S

OR

A B S

NAND

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

Página 2 de 9
 VICERRECTORADO DOCENTE Código: GUIA-PRL-001

CONSEJO ACADÉMICO Aprobación: 2016/04/06

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

A B S

NOR

A B S

XOR

A B S

XNOR

Utilice un simulador de circuitos (puede usar Logisim desde http://www.cburch.com/logisim/index_es.html) y presente

cinco ejemplos de circuitos combinatorios que usen compuertas lógicas e indicando qué hacen.

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

Página 3 de 9
 VICERRECTORADO DOCENTE Código: GUIA-PRL-001

CONSEJO ACADÉMICO Aprobación: 2016/04/06

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

Utilizando las propiedades y teoremas del Algebra de Boole verifique si la siguiente igualdad es
verdadera o falsa

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

Página 4 de 9
 VICERRECTORADO DOCENTE Código: GUIA-PRL-001

CONSEJO ACADÉMICO Aprobación: 2016/04/06

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

x z + x yz=x z

Utilizando las propiedades y teoremas del Álgebra de Boole escriba el enunciado E en forma de suma de productos.
Aplique los siguientes pasos:
a. Use las leyes de De Morgan y la involución para eliminar los complementos de los paréntesis hasta que
se aplique solamente a variables.
b. Use la ley distributiva para transformar E en suma de productos
c. Use las leyes conmutativas, de idempotencia y de complemento transformar cada producto de E en 0 o
en un producto fundamental.
d. Use la ley de absorción para dejar E en la forma correcta de suma de productos

E=( ( ab ) c ) ( ( a+ c ) ( b+ c ) )

También se puede trabajar con la E de la siguiente forma

E=((a' b' )c )' ((a' +c )(b' +c ' ))'

Otras formas:
(~((~A~B)C))(~((~A+C)(~B+~C))) http://tma.main.jp/logic/logic.php?lang=en&type=eq&eq=%28~%28%28~A~B%29C%29%29%28~%28%28~A%2BC%29%28~B%2B~C
%29%29%29

(!((!a*!b)*c))*(!((!a+c)*(!b+!c)))

Respuesta: a c +bc

Utilizando el siguiente circuito realice lo siguiente:

a.Escriba la expresión booleana para el circuito
Resolución CS N° 076-04-2016-04-20

Página 5 de 9
 VICERRECTORADO DOCENTE Código: GUIA-PRL-001

CONSEJO ACADÉMICO Aprobación: 2016/04/06

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

b.Construya la tabla de verdad

c. Simplifique la expresión resultante de la tabla de verdad utilizando los mapas de Karnaugh.
d.Simplifique la expresión booleana de salida del circuito utilizando las leyes del algebra de Boole.
(Las dos expresiones simplificadas deben resultar iguales.)
e.Diseñe el circuito simplificado utilizando Logisim, guarde el archivo e imagen con la
documentación de esta tarea.

C ACB

A
AC’B
C’

A’

C A’C

Buen trabajo a todos.

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

Página 6 de 9
 VICERRECTORADO DOCENTE Código: GUIA-PRL-001

CONSEJO ACADÉMICO Aprobación: 2016/04/06

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

CUESTIONARIO PARA DESARROLLAR POR SECCIONES

SECCIÓN 2
1. Representar con notación lógica cada uno de los siguientes enunciados:
• El programa está bien si y sólo si no tiene errores de compilación. Si no tiene errores de
lógica y no tiene errores de compilación, entonces el programa está bien y los resultados
son satisfactorios. Por lo tanto, si tiene errores de compilación o tiene errores de lógica,
entonces el programa no está bien y los resultados no son satisfactorios.
• Si se realiza un buen diseño de la base de datos y se hace una buena programación,
entonces se accederá rápidamente la información. Si no se hace buena programación,
entonces toma mucho tiempo corregir el programa. Por lo tanto, si no se accede
rápidamente la información y toma mucho tiempo corregir el programa, entonces no se ha
realizado un buen diseño de la base de datos.
• Si tengo conocimientos de computación y domino el inglés, entonces no tendré problemas
para encontrar trabajo. Si tengo problemas para encontrar trabajo, entonces tengo más de
40 años o no me preparé lo suficiente. Por lo tanto, si me preparo lo suficiente y no tengo
más de 40 años y domino el inglés, entonces no tendré problemas para encontrar trabajo.

2. Representar cada una de las notaciones lógicas en forma de enunciados:

• Notación lógica: [ ( p ∨ q ) ⟹ ¬r ] ∧ [ r ⟺ s ] ⟹ [( r ∧ s) ⟹ (¬p ∨ ¬q)]
Para el enunciado considerar las siguientes proposiciones:
p: Compré un automóvil
q: Me levanté más temprano
r: Llegué tarde al trabajo
s: Fui despedido

• Notación lógica: (¬p ⟹ ¬q) ∧ [¬r ⟹ ¬s] ∧ [(¬q ∨ ¬s) ⟹ t ] ⟹ [¬t ⟹ (p ∧ r)]
Para el enunciado considerar las siguientes proposiciones:
p: Acelero la motocicleta
q: La motocicleta corre
r: Freno la motocicleta
s: La motocicleta se detiene
t: La motocicleta falla

3. Determinar si las siguientes proposiciones son fórmulas contingentes, contradicciones o tautologías.

• [¬p ⟺ q] ∧ [¬q ⟹ (r ∨ q) ] ∧ p ⟹ [¬r ⟹ ¬p]
• [( q ∨ ¬p) ⟹ r ] ∧ [ ¬r ⟹ ¬q] ⟹ [p ⟹ ¬q]
• (p ⟹ q) ∧ (q ⟹ r) ∧ ¬(p ⟹ r)
Para obtener la respuesta generar las tablas de verdad utilizando la calculadora lógica que se encuentra en el
siguiente enlace: https://sourceforge.net/projects/logiccalculator/?source=typ_redirect

Nota: Para usar la calculadora debe tener instalado Java en su computadora. Puede
descargarlo desde el siguiente enlace (en caso de no tenerlo): https://java.com/es/download/
Puede revisar: https://java.com/es/download/manual.jsp

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

Página 7 de 9
 VICERRECTORADO DOCENTE Código: GUIA-PRL-001

CONSEJO ACADÉMICO Aprobación: 2016/04/06

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

Y para ejecutar la calculadora dar clic con el botón derecho del ratón en el archivo
“LogicCalculator.jar” y seleccionar la opción “Oracle Java Runtime” o “Java™ Platform SE
binary”.

Importante: En el informe se deberá colocar las capturas de pantalla de las tablas generadas
con la calculadora. Indicar por qué la proposición es una fórmula contingente, una
contradicción o una tautología. Y una vez que se haya generado la tabla de verdad escoger
una de las filas de la tabla de verdad y presentar un ejemplo de enunciado.

Valor ingresado: (p ∧ q) ⟹ (¬p ∨ ¬q)

Resultado obtenido:

Analizando la tabla de verdad se determina que la proposición (p ∧ q) ⟹ (¬p ∨ ¬q) es una

contingencia porque los resultados sólo uno no es verdadero, la primera fila, y con ello se
descarta una tautología (todos los resultados son verdaderos). Recuerde que una contingencia
sus resultados se combinan entre verdadero (1) y falso (0).
Resolución CS N° 076-04-2016-04-20

Página 8 de 9
 VICERRECTORADO DOCENTE Código: GUIA-PRL-001

CONSEJO ACADÉMICO Aprobación: 2016/04/06

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

Para el ejemplo de enunciado se representará la fila uno con las siguientes proposiciones:

Líne Premisas y Conclusión

a
1 p: Tengo novia
2 q: Me quiero casar
(p ∧ q): (Tengo novia y Me quiero casar): 1 ∧ 1
(¬p ∨ ¬q): (No tengo novia o No Me quiero casar): 0 ∨ 0
3 (p ∧ q) ⟹ (¬p ∨ ¬q):
(Tengo novia y Me quiero casar) entonces (No tengo novia o No Me quiero casar)
(1 ∧ 1) ⟹ (0 ∨ 0): 1 ⟹ 0
Su resultado es cero (Falso).

4. Derive una conclusión de cada uno de los siguientes conjuntos de premisas, usando el modus
ponendus ponens. Coloque su conclusión en cada línea 3:

•
a. p ∨ q ⟹ r
b. p ∨ q
c.
•
a. ¬p ⟹ ¬r
b. ¬p
c.
•
a. ¬r
b. ¬r ⟹ q ∧ p
c.
5. ¿Qué conclusión se puede derivar de cada conjunto de premisas usando la regla del modus
tollendo tollens?

a) Si la luz fuera simplemente una onda de movimiento continuo, entonces la luz intensa
pudiera siempre causar electrones que escapen con mayor energía que aquella que
causaría la luz tenue. La luz intensa no siempre causa electrones que escapen con mayor
energía que la que causa la luz tenue.
b) Si el ángulo de un triángulo es mayor que 90 grados, entonces la suma de los otros dos
ángulos es menor que 90 grados. La suma de los otros dos ángulos no es menor que 90
grados.
c) Si llovió la noche anterior, entonces las carreteras fueron lavadas. Las carreteras no han
sido lavadas.

Buen trabajo a todos.

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

Página 9 de 9