TALLER DE LOGICA PROPOSIONAL

1. 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 simblica.
a. Luis lee la prensa o el mundo, pero no el universal

i.

b. No es cierto que Luis lee la prensa pero no el universal
i.
2. Para las siguientes expresiones construya los respectivos rboles, las tabla de verdad y
determine si son tautologa, contradicciones o contingencias. Represente cada expresin
en la notacin apropiada de Matlab.
a. [(~p

q) (p V ~r)] ~ (p r)






Tabla de Verdad


Es una Contingencia


p q r s
F F F F
F F V F
F V F V
F V V F
V F F V
V F V F
V V F V
V V V F
b. [(~ p r) (p V ~s)]
^
~(~p
^
~r)
rbol


Tabla de Verdad
p r s R
F F F F
F F V F
F V F F
F V V F
V F F F
V F V F
V V F V
V V V V

Es una contingencia
3. Para los siguientes polinomios lgicos, elabore su tabla de verdad y escriba los polinomios
en las dos formas normales disyuntiva y conjuntiva
a. [(~p r) (p V s)] ~(p
^
q)
Tabla de Verdad
p q r s ~p
~p
r
p V
s
(~p r) (p V
s) p
^
q ~(p
^
q) Respuesta
F F F F V F F V F V F
F F F V V F V V F V F
F F V F V V F F F V V
F F V V V V V V F V F
F V F F V F F V F V F
F V F V V F V V F V F
F V V F V V F F F V V
F V V V V V V V F V F
V F F F F V V V F V F
V F F V F V V V F V F
V F V F F V V V F V F
V F V V F V V V F V F
V V F F F V V V V F F
V V F V F V V V V F F
V V V F F V V V V F F
V V V V F V V V V F F

Forma Normal Conjuntiva
(p v q v r v s) (p v q v r v s) (p v q v r v s) (p v q v r v s) (p v q v r v s) (p v q v r v
s) (-p v q v r v s) ( -p v q v r v s) (-p v q v r v s) (-p v q v r v s) (-p v q v r v s) (-p v
q v r v s) (-p v q v r v s) (-p v q v r v s)
Forma Normal Disyuntiva
(-p -q r -s) v (-p q r -s)
b. [(~p V r) (p V s)]
^
(~p ~r)

Tabla de Verdad
p q r ~p ~r (~p V r) p V s
(~p V r)
(p V s)
(~p
~r) Respuesta
F F F V V V V V V F
F F V V V V F V V F
F V F V F V V V F V
F V V V F V F V F V
V F F F V F F V F V
V F V F V F F V F V
V V F F F V F V V F
V V V F F V F V V F

Forma Normal Conjuntiva
(p v q v r) (p v q v r) (-p v q v r) (-p v q v r)
Forma Normal Disyuntiva
(-p q -r) v (-p q r) v (p -q -r) v (p -q r)


TALLER ALGEBRA BOOLEANA

1.


2.

3. 3. Implemente en lgica cableada los circuitos de las siguientes expresiones:
b)

c)

4. De acuerdo a los trminos mnimos 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 mapas de Karnaugh. Dibuje finalmente los
respectivos circuitos lgicos.
Salida 1
Corroborando con el mapa de Karnaugh

Factor comn

Circuito lgico

Salida 2
Corroborando con el mapa de Karnaugh

Circuito lgico

5. Dados los circuitos, elabore sus respectivas tablas
a)
A B C Salida
0 0 0 1
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 0














b)
A B C D Salida 0 Salida 1
0 0 0 0 0 0
0 0 0 1 0 1
0 0 1 0 1 1
0 0 1 1 1 0
0 1 0 0 0 0
0 1 0 1 0 0
0 1 1 0 0 0
0 1 1 1 0 1
1 0 0 0 0 0
1 0 0 1 0 0
1 0 1 0 0 0
1 0 1 1 0 1
1 1 0 0 0 0
1 1 0 1 0 1
1 1 1 0 0 0
1 1 1 1 0 0












6) Utilice Simulink de matlab para simular la correspondencia de una de las salidas anteriores. Para
garantizar la validez del ejercicio imprima un pantallazo de la simulacin.










TALLER DE CONJUNTOS Y RELACIONES