UNIVERSIDAD DE CONCEPCION

Facultad de Ingeniera
Depto. Ing. Informatica y Cs. de la Computacion

Listado1
L
ogica y Algoritmos (503207)
P1. Haga las tablas de verdad y determine si la proposicion es una tautologa una contradiccion o una contingencia.
a)
b)
c)
d)
e)

p q
p q
(p q) (r s)
p p p
p p p

f)
g)
h)
i)
j)

p V p
p V V
p = p q
p q p, p q q
(p q) = (p q)

k) [(p q)(q r)] = (p r)

l) (p (p q)) = q
m) (p p) = p
n) ((p q) q) = (p q)

P2. Determine si las siguientes son formulas bien formadas.

a) (p p) = p

d) (p q) (r p)

b) [(p p) Yq] = p

e) (p q)(r p)

c) p q (p q)

f) [(p q) r] = [p (q r)]

P3. Demuestre las siguientes tautologas sin utilizar tablas de verdad.

a) (p q) (p q)

d) [(p q) (q r)] = (p r)

b) [(p q) (p q)] (p q)

e) [(p q) r] [p (q r)]

c) [(p q) (q r)] = (p r)

f) [(p Y q) Y r] [p Y (q Y r)]

P4. Lleve a Forma normal conjuntiva y Forma normal disyuntiva.

a) (p q) (p q)

b) (p q) r

c) [(p q) (q r)] (p r)

P5. Determine todas las tablas de verdad y expresiones logicas que pueden formarse con p y q.
P6. Niegue y simplifique.
a) p (q r) (p q r)

b) p q r

c) p (q r)

P7. Encuentre la formula para las siguientes tablas de verdad y luego reduzcalas
a)

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

b)
F
F
F
V
V
V
F
V

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F
1

c)
F
V
F
V
F
F
F
F

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

V
V
F
V
V
F
V
V

P8. Descubra, si es posible, el valor de la proposicion x con la informacion que se entrega.

a) x p es Falso.
b) [p (x q)] [q (p x)] es verdadero y q es Falso.
c) (p x) [(p Y q) (p q)] es Veradero.
d) (p x) [(p Y q) (p q)] es Veradero.
P9. Escriba con smbolos las siguientes proposiciones, usando las abreviaciones dadas.
a) p: Juan va al supermercado
r: Mara va al supermercado
t: Juan tiene hambre
v: Es feriado
i.
ii.
iii.
iv.
v.
vi.
vii.
viii.
ix.
x.
b)

q: Mara trabaja hasta tarde

s: Juan trabaja hasta tarde
u: El jefe de Juan necesita que Juan trabaje hasta tarde
w: Juan lava la loza.

Juan ira al supermercado solo si Mara trabaja hasta tarde.

Mara ira al supermercado si Juan trabaja hasta tarde.
Juan no ira al supermercado a menos que el tenga hambre.
Juan y Mara no iran juntos al supermercado.
Juan no trabajara hasta tarde a menos que su jefe lo necesite.
Juan y Mara trabajan hasta tarde solo si no es feriado.
Ni Juan ni Mara van al supermercado si es feriado.
Solo si Juan trabaja hasta tarde no es feriado Mara ira al supermercado.
Mara ira al supermercado si Juan no va y solo si Juan no va.
Juan ira al supermercado y lavara la loza a menos que sea feriado o el este trabajando hasta tarde

p: estoy a dieta
s: estoy motivado
v: Soy flojo
y: voy al trabajo en auto

q: hago ejercicio
t: estoy muy cansado
w: nado

i.
ii.
iii.
iv.
v.
vi.
vii.

r: engordo
u: estoy deprimido
x: corro

Si no hago dieta o ejercicio, voy a engordar.

Hare dieta solo si estoy motivado. y ejercicio, solo si no estoy muy cansado.
No hare dieta y ejercicio a menos que este motivado
Hare ejercicio si estoy motivado, siempre que no este muy cansado o deprimido.
No voy a engordar si coroo o nado, a menos que vaya al trabajo en auto y no haga dieta.
Estare deprimido si y solo si soy flojo y no hago ni dieta ni ejercicio.
Si engordo si y solo si no hago dieta ni ejercicio, entonces nadare o correre, y ademas, no ire al trabajo
en auto.
viii. Yo engorgo si y solo si no hago dieta, siempre que no estoy motivado y ni nado ni corro.
ix. Solo si estoy motivado y no estoy muy cansado hago dieta y ejercicio.
x. A menos que este deprimido o flojo, si engorgo hago dieta o ejercicio, siempre que estoy motivado y no
estoy muy cansado.

LSA/lsa
2