Proyecto

1
de problematización resuelto y propuesto en clase PARTE 1

Carrera: COMPUTACIÓN Asignatura: Programación

Nro. Proyecto: 1 Título: Lógica proposicional.
Objetivo: Estructura proposiciones y determina si una función proposicional es verdadera o falsa.

Actividades:

1. Realice los ejercicios planteados a continuación.

2. Presente de forma adecuada y bien expresado el proceso utilizado.

Ejercicios a desarrollar PARTE 1

1) Sean las siguientes proposiciones:

p = “España está en Europa”
q = “Japón está en Asia”
Escribe las proposiciones según el contenido de p y q:
1. ∼ q
Japón no está en Asia.
2. p ⇒ q
España está en Europa entonces, Japón está en Asia.
3. ∼ (p ∨ q) = ∼p ∧ ∼q
España no está en Europa y Japón no está en Asia
4. ∼ (p ∧ q) = ∼p ∨ ∼q
No es cierto que España está en Europa y Japón está en Asia

2) Sean las siguientes proposiciones:

a = “La guacamaya es un ave”
b = “A Luis le gusta escuchar a los Rolling Stones”
Escribe en forma simbólica los siguientes enunciados:

1. La guacamaya es un ave y a Luis le gusta escuchar a los Rolling Stones

(a ∧ b)
2. La guacamaya es un ave y a Luis no le gusta escuchar a los Rolling Stone
(a ∧ ∼b)
3. La guacamaya no es un ave y a Luis le gusta escuchar a los Rolling Stones
(∼a ∧ b)
4. No es verdad que la guacamaya es un ave y que a Luis le gusta escuchar a los Rolling Stones
∼ (a ∧ b)

3) Niega las siguientes proposiciones compuestas, utilizando las leyes De Morgan: a = “España está en Europa o 6 es
número par b = “7 no es primo o es divisor de 21”
c = “6 no es número impar y el tucán no es un ave”
 Proyecto
1
de problematización resuelto y propuesto en clase

a. No es verdad que España está en Europa y que 6 es un numero par.

b. 7 es primo y no es divisor de 21.
c. 6 es un número par y el tucán es un ave.
4) Determina la conversa, contrapositiva e inversa de las siguientes implicaciones:
a. p ⇒ q = “Si 3 es divisor de 6, entonces no es par”

q ⇒ p = Si no es par, entonces 3 es divisor de 6

∼p ⇒ ∼q = Si 3 no es divisor de 6, entonces es par.
∼q ⇒ ∼p = Si es par, entonces 3 no es divisor de 6
b. p ⇒ q = “Si x es múltiplo de 5, entonces es divisor de 25

q ⇒ p = Cuando 25 es divisor, x es múltiplo de 5.

∼p ⇒ ∼q = X no es múltiplo de 5, entonces no es divisor de 25.
∼q ⇒ ∼p = 25 no es divisor entonces, x no es múltiplo de 5.

5) Determina el conjunto solución y diagrama de Venn de las siguientes proposiciones: a = “x es par y x < 10”; x ∈N
b = “x es par menor que 12 y x ≤ 5”; x ∈N

6 2
4

8
6) Representa en un diagrama de Venn las siguientes implicaciones:
m = “Si un ciudadano es duranguense, entonces es mexicano”
n = “Si un número real es primo, entonces es entero”

Ciudadano Número Real

Mexicano Entero

duranguense Primo
 Proyecto
1
de problematización resuelto y propuesto en clase

7) En las siguientes proposiciones determina la negación y represéntala en un diagrama de Venn. j = “x ≤ 7”; x ∈N k = “x

es par o x < 8”; x ∈N

7
2
8
4
9
6
10

8) Construye una tabla de verdad y determina el valor de verdad de las siguientes proposiciones:
a = “4 es número par y 5 es múltiplo de 2”
p q p∧q
0 0 0
0 1 0
1 0 0
1 1 1

b = “La víbora no es un reptil o el canario es un pez”

p ∼ q ∼p ∨ q
p
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 1

c = “Si 21 es múltiplo de 7, entonces 21 es múltiplo de 2”

p Q p⇒q
0 0 1
0 1 1
1 0 0
1 1 1

d = “La guacamaya es un pez si y sólo si el tiburón es un ave”

p q p 󠄐↔ q
0 0 1
0 1 0
1 0 0
1 1 1
 Proyecto
1
de problematización resuelto y propuesto en clase

9) Construye la tabla de verdad para cada una de las siguientes proposiciones y determina si es una Tautología,
Contradicción o Contingencia:
1. (p ∨ q) ∧ ∼ (p ⇒ q)
p q (p ∨ q) (p ⇒ q) ∼(p⇒q) (p ∨ q) ∧ ∼(p⇒q)
0 0 0 1 0 0
0 1 1 1 0 0
1 0 1 0 1 0
1 1 1 1 0 0
Contradicción

2. (p ⇒ q) ∨ (q ⇒ p)
p q (p ⇒ q) (q ⇒ p) (p ⇒ q) ∨ (q⇒p)

0 0 1 1 1
0 1 1 0 1
1 0 0 1 1
1 1 1 1 1
Tautología

3. ( p ∧ (p ⇒ q)) ⇒ p
p q (p⇒q) ( p ∧ (p ⇒ q)) ( p ∧ (p ⇒ q)) ⇒ p

0 0 1 0 1
0 1 1 0 1
1 0 0 0 0
1 1 1 1 1
Contingencia
 Proyecto
1
de problematización resuelto y propuesto en clase
PARTE 2

Carrera: COMPUTACIÓN Asignatura: Programación Nro.

Proyecto: 1 Título: Algebra de Boole.
Objetivo: Analiza circuitos combinatorios y propone solución a problemas reales mediante circuitos combinatorios.

Actividades:

1. Realice los ejercicios planteados a continuación.

2. Presente de forma adecuada y bien expresado el proceso utilizado.

Ejercicios a desarrollar PARTE 2

10) Para las variables A, B y C dadas en el circuito lógico de la figura siguiente, obtenga la expresión para la salida X:

Llene la tabla que se muestra a continuación e identifique aquellas salidas que tienen un valor afirmativo (1)

A B C X
1. AB (AB) ′
B+C X = (AB) ′ + B + C
2. 0 0 0 0 1 0 1
3. 0 0 1 0 1 0 1
4. 0 1 0 0 1 1 1
5. 0 1 1 0 1 1 1
6. 1 0 0 0 1 1 1
7. 1 0 1 0 1 1 1
8. 1 1 0 1 0 1 1
9. 1 1 1 1 0 1 1
11) Para la siguiente expresión, realice la tabla de verdad y el circuito lógico correspondiente (usando compuertas)
𝑋 =𝐴𝐶+𝐴̅𝐵+𝐴𝐵𝐶̅̅̅
 Proyecto
1
de problematización resuelto y propuesto en clase

𝐴 𝐵 𝐶 𝐴𝐶 𝐴̅ 𝐴̅𝐵 𝐵𝐶 𝐵𝐶̅̅̅ 𝐴𝐵𝐶̅̅̅ 𝑋 =𝐴𝐶+𝐴̅𝐵+𝐴𝐵𝐶̅̅̅

1. 0 0 0 0 1 0 0 0 0 0
2. 0 0 1 0 1 0 0 0 0 0
3. 0 1 0 0 1 0 0 1 0 0
4. 0 1 1 0 1 0 1 0 0 0
5. 1 0 0 0 0 0 0 0 0 0
6. 1 0 1 1 0 0 0 0 0 1
7. 1 1 0 0 0 0 0 1 1 1
8. 1 1 1 1 0 0 1 0 0 1

Espacio para la gráfica del circuito lógico.

12) Dada la siguiente expresión booleana 𝑨𝑪+𝑩𝑪𝑫+𝑨𝑪𝑫 grafique el circuito lógico resultante.
 Proyecto
1
de problematización resuelto y propuesto en clase
PARTE 2

13) Elabore el mapa K (de Karnaugh) para la expresión:

𝑋 =̅𝐴𝐵̅(̅̅ 𝐶𝐷̅̅+𝐶̅𝐷)+𝐴𝐵̅(𝐶𝐷̅̅̅+𝐶̅𝐷)+𝐴̅𝐵(𝐶𝐷+𝐶𝐷̅)
X = P 1 + Q 2 + R3
A B C D (A´B´´´) (CD´´´+C AB´´´(CD´´´+C´D) AB´(CD´´´+C´D) A´B (CD+CD A´B(CD+CD´) P1+Q2 P1+Q2+R3
´D) ´)
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1
0 0 1 0 0 1 1 0 0 0 1 0 1 1 1 0 1 1
0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0
0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0
0 1 0 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1
0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1
0 1 1 1 0 0 0 0 0 0 0 1 1 1 0 1 0 1
1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0
1 0 0 1 1 0 1 1 1 1 1 0 0 0 0 0 1 1
1 0 1 0 1 1 1 0 0 1 1 0 0 1 1 0 1 1
1 0 1 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0
1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1
1 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 1 1
1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0

00 01 11 10
00 0 1 0 1
01 0 1 1 1
11 0 1 0 1
10 0 1 0 1
 Proyecto
1
de problematización resuelto y propuesto en clase

 https://encrypted-tbn0.gstatic.com/images?q=tbn:ANd9GcRxXedPREhvzr1CytZMlrW72ojSL-
yis2lZ3IRg0Lk5Uqn95yOk&s
 https://st3.depositphotos.com/16030310/18317/v/1600/depositphotos_183174568-stock-illustration-letters-logo-
initial-logo-identity.jpg

ANEXO
REGLAS BÁSICAS DEL ÁLGEBRA BOOLEANA CON UNA VARIABLE
 Proyecto
1
de problematización resuelto y propuesto en clase

Tres reglas adicionales basadas de las nueve anteriores: