UNIVERSIDAD DE CONCEPCION Facultad de Ingenier a Depto. Ing. Informtica y Cs.

de la Computacin a o

Listado1
Lgica y Algoritmos (503207) o P1. Haga las tablas de verdad y determine si la proposicin es una tautolog una contradiccin o una contingencia. o a o 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 frmulas bien formadas. o a) (p p) = p b) [(p p) q] = p c) p q (p q) d) (p q) (r p) e) (p q)(r p) f) [(p q) r] = [p (q r)]

P3. Demuestre las siguientes tautolog sin utilizar tablas de verdad. as a) (p q) (p q) b) [(p q) (p q)] (p q) c) [(p q) (q r)] = (p r) d) [(p q) (q r)] = (p r) e) [(p q) r] [p (q r)] f) [(p q) r] [p (q 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 lgicas que pueden formarse con p y q. o P6. Niegue y simplique. a) p (q r) (p q r) b) p q r c) p (q r)

P7. Encuentre la frmula para las siguientes tablas de verdad y luego reduzcalas o 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 proposicin x con la informacin que se entrega. o o a) x p es Falso. b) [p (x q)] [q (p x)] es verdadero y q es Falso. c) (p x) [(p d) (p x) [(p q) (p q)] es Veradero. q) (p q)] es Veradero.

P9. Escriba con s mbolos las siguientes proposiciones, usando las abreviaciones dadas. a) p: Juan va al supermercado r: Mar va al supermercado a t: Juan tiene hambre v: Es feriado i. ii. iii. iv. v. vi. vii. viii. ix. x. b) q: Mar trabaja hasta tarde a s: Juan trabaja hasta tarde u: El jefe de Juan necesita que Juan trabaje hasta tarde w: Juan lava la loza.

Juan ir al supermercado slo si Mar trabaja hasta tarde. a o a Mar ir al supermercado si Juan trabaja hasta tarde. a a Juan no ira al supermercado a menos que el tenga hambre. Juan y Mar no iran juntos al supermercado. a Juan no trabajar hasta tarde a menos que su jefe lo necesite. a Juan y Mar trabajan hasta tarde slo si no es feriado. a o Ni Juan ni Mar van al supermercado si es feriado. a Slo si Juan trabaja hasta tarde no es feriado Mar ira al supermercado. o a Mar ira al supermercado si Juan no va y slo si Juan no va. a o Juan ira al supermercado y lavara la loza a menos que sea feriado o l este trabajando hasta tarde e q: hago ejercicio t: estoy muy cansado w: nado r: engordo u: estoy deprimido x: corro

p: estoy a dieta s: estoy motivado v: Soy ojo y: voy al trabajo en auto i. ii. iii. iv. v. vi. vii.

Si no hago dieta o ejercicio, voy a engordar. Har dieta slo si estoy motivado. y ejercicio, slo si no estoy muy cansado. e o o No har dieta y ejercicio a menos que est motivado e e Har ejercicio si estoy motivado, siempre que no est muy cansado o deprimido. e e No voy a engordar si coroo o nado, a menos que vaya al trabajo en auto y no haga dieta. Estar deprimido si y slo si soy ojo y no hago ni dieta ni ejercicio. e o Si engordo si y slo si no hago dieta ni ejercicio, entonces nadar o correr, y adems, no ir al trabajo o e e a e en auto. viii. Yo engorgo si y slo si no hago dieta, siempre que no estoy motivado y ni nado ni corro. o ix. Slo si estoy motivado y no estoy muy cansado hago dieta y ejercicio. o x. A menos que est deprimido o ojo, si engorgo hago dieta o ejercicio, siempre que estoy motivado y no e estoy muy cansado.

LSA/lsa 2