TALLER DE LÓGICA PROPOSICIONAL

1. Formule en palabras las siguientes expresiones simbólicas utilizando las siguientes

proposiciones y determine su valor de verdad: p = Marte es el cuarto Planeta del sistema
solar; q= Napoleón fué un héroe latinoamericano; r = Isaac Newton promulgó las leyes de
la mecánica clásica.

Solución:

a) Si Marte es el cuarto Planeta del sistema solar y Napoleón fué un héroe latinoamericano,
entonces Isaac Newton no promulgó las leyes de la mecánica clásica.

b) Si Marte es el cuarto Planeta del sistema solar y Napoleón no fué un héroe latinoamericano,
entonces Marte no es el cuarto Planeta del sistema solar si y solo si Isaac Newton promulgó las
leyes de la mecánica clásica.

c) Marte no es el cuarto Planeta del sistema solar si y solo si Napoleón fué un héroe
latinoamericano y, Isaac Newton promulgó las leyes de la mecánica clásica.

d) Si, Marte no es el cuarto Planeta del sistema solar si y solo si Isaac Newton promulgó las leyes
de la mecánica clásica entonces Marte es el cuarto Planeta del sistema solar o Napoleón no fue
un héroe latinoamericano.

2. Sean p = "Luis lee la Prensa ", q = "Luis lee el Mundo" y r = " Luis lee el Universal". Escriba cada
una de las siguientes proposiciones en forma simbólica.

a.) Luis lee la Prensa o el Mundo, pero no el Universal.

b.) Luis lee la Prensa y el Mundo, pero no lee la Prensa y el Universal.
c.) No es cierto que Luis lee la Prensa pero no el Universal.
d.) No es cierto que Luis lee el Universal o el Mundo pero no la Prensa.

Solución:

a) (pvq)^~r
b) (p^q)^~(pvr)
c) ~p^r
d) ~(r^q)^p

3. Para las siguientes expresiones: construya los respectivos árboles, las tablas de verdad y
determine si son tautologías, contradicciones o contingencias.
Solución:

a) Polinomio: [(~p^q) → (pv~r)] ↔ ~(p → ~r)

Árbol Binario:

Tabla de Verdad

p q r ~r ~p^q pv~r (~p^q) → (pv~r) p→~r ~(p→~r) [(~p^q)→(pv~r)]↔~(p→~r)

F F F V F F V V F F
F F V F F V V V F F
F V F V V F F V F V
F V V F V V V V F F
V F F V F F V V F F
V F V F F F V F V V
V V F V F F V V F F
V V V F F F V F V V

La anterior tabla de verdad son contingencias.

b) Polinomio: [(~p↔r) ← (pvs)] ^ (pv~r)

Árbol Binario:
Tabla de Verdad

p r s ~p ~r ~p↔r pvs (~p↔r)←(pvs) pv~r [(~p↔r)←(pvs)]^(pv~r)

F F F V V F F V F V
F F V V V F V F F V
F V F V F V F V V F
F V V V F V V V V F
V F F F V V V V F V
V F V F V V V V F V
V V F F F F V F F V
V V V F F F V F F V

Es una contingencia.

c) Polinomio:

Árbol Binario:

Tabla de Verdad

d) Polinomio:
Árbol Binario:

Tabla de Verdad

4. Reduzca los siguientes polinomios a formas normales disyuntiva y conjuntiva:

5. De acuerdo a las respectivas salidas determine la forma normal apropiada (conjuntiva o

disyuntiva), y reduzca el polinomio a su más mínima expresión, utilice las reglas de reducción
apropiadas:
p q r S1 S2 S3 S4
FFF F V F V
FFV F F V V
FVF V V V V
FVV F F V F
VFF F V F F
VFV V F V V
VVF F F F F
VVV F V V F

5. Dadas las respectivas premisas, establezca la inferencia lógica apropiada mediante el uso de las
reglas de inferencia:

a.) p  ~r Premisa 1 b.) p  ~ (q v s) Premisa 1 c.) (p v q) Premisa 1

r  q Premisa 2 p Premisa 2 ~r Premisa 2
p Premisa 3 t  (q v s) Premisa 3 q  r Premisa 3
rt Premisa 4

6. Escriba los siguientes polinomios lógicos en su equivalente Booleano:

TALLER DE ALGEBRA BOOLEANA

1. Simplificar las siguientes expresiones Booleanas y dibuje los respectivos circuitos

equivalentes.
 4. De acuerdo a los términos mínimos resuelva, ya sea por suma de productos o por
producto de sumas cada una de las funciones indicadas en la siguiente tabla. Luego de
ello corrobore los resultados, mediante el uso de los mapas de Karnaugh. Dibuje
finalmente los respectivos circuitos lógicos.

ABCD f(A,B,C,D) f(A,B,C,D) f(A,B,C,D)

0000 0 1 0
0001 1 1 0
0010 1 1 1
0011 0 0 1
0100 0 0 1
0101 0 0 1
0110 1 0 1
0111 1 0 1
1000 0 1 0
1001 0 1 0
1010 0 0 1
1011 1 0 1
1100 1 0 1
1101 0 1 0
1110 0 0 1
1111 0 1 1

5. Exprese los siguientes circuitos en lógica cableada y escriba un polinomio equivalente en

lógica proposicional:
6. Utilice simulink de Matlab para implementar las respectivas tablas de verdad de los siguientes
circuitos combinacionales. “Para garantizar la validez del ejercicio imprima un pantallazo de la
simulación en el blog”.

7. Escriba la expresión booleana equivalente para cada uno.

8. Diseñe el circuito lógico para la alarma de un automóvil, la cual detecta cuando las luces
están encendidas mientras el carro esta apagado, o la puerta del conductor está abierta, y
el motor está en marcha. Los sensores están conectados a la puerta, el motor y las luces.
9. Implemente en Simulink:

a.) Un circuito Sumador Restador.

b.) El circuito comparador que se ilustra en la figura de abajo y elabore su respectiva tabla de
verdad. (Recuerde que tiene tres salidas diferentes)
10. Diseñe un circuito lógico con semisumadores, que haga la multiplicación entre dos
números binarios uno de tres bits por otro de dos.

TALLER DE CONJUNTOS Y RELACIONES

 :

4. En una encuesta realizada a 800 personas sobre la preferencia para la lectura de noticias en
periódicos digitales como el Tiempo, el Espectador y el Heraldo. Los resultados arrojados
mediante las técnicas de muestreo son los siguientes:

200 personas leen el Tiempo.

360 el Espectador.
400 el Heraldo.
70 el Tiempo y el Espectador.
80 el Tiempo y el Heraldo.
100 el Espectador y el Heraldo.
30 los tres periódicos mencionados.

Determine:
 a.) ¿Cuántos leen solamente el Tiempo?
b.) ¿Cuántos en total leen solo un periódico?
c.) ¿Cuántos en total leen únicamente dos periódicos?
d.) ¿A cuántos no les apetece la lectura de estos?
e.) Elabore una estadística.

9. Utilice Python para el análisis numérico de un conjunto de datos y elabore mínimo de dos
gráficos estadísticos con sus respectivas conclusiones.

10. Establezca las operaciones de Codd indicadas para el modelo relacional de las siguientes
tablas de Bases de datos. Escriba el tipo de operación.

1. Listado de empleados que ganan hasta dos salarios mínimos, con nombre, cargo,
documento y salario.
2. Seleccione los cargos cuyos salarios superan el $1’500.000,00; con IdCargo, Cargo,
Salario y Subsidio de transporte.
3. Juntar cargos y empleados.
4. Seleccionar de la tabla empleados aquellos que ganan menos de $500.000,00 con
nombre, documento y cargo.