Introduccin a la Computacin (T.U.R. T.U.W.

) Introduccin a la Programacin (TUM TUG) 2008

Prctico N 2 Tema: Lgica y resolucin de problemas lgicos

1. Dadas las siguientes frases indique cuales son proposiciones: 1.1) Prohibido pasar 1.2) Carlos es un buen deportista 1.3) Napolen. 1.4) 15 + 20 = 5 1.5) 1>0 1.6) Cmo te llamas? 1.7) Paris es la capital de Francia 1.8) Prstame el auto 1.9) Qu superficie tiene la tierra? 1.10) El auto es veloz 1.11) Hola Cmo estas? 1.12) Lans ser campen. 2. Dadas las siguientes proposiciones simples: A = Usted invierte en el mercado B = Ser rico C = Ser feliz P = Bebes Q = Puedes conducir 2.1. Escriba en palabras dos versiones de las siguientes proposiciones compuestas: 2.1.1 A B 2.1.2 B C 2.1.3 B C 2.1.4 (A C) 2.1.5 PQ 2.1.6 PQ 3 Dados los siguientes enunciados: Uno es mayor que cero y una flor es un pez Una flor no es un pez entonces un cuadrado tiene cinco lados Es falso que el padre de Juan es feliz 3.1 Identifique las proposiciones simples. 3.2 Exprese formalmente en smbolos. Construya la tabla de verdad para las siguientes proposiciones: 4.1 A A 4.2 A A Realice la tabla de verdad para cada una de las siguientes frmulas: 5.1 A B 5.2 (A B) Determine, mediante la tabla de verdad, si las siguientes expresiones son tautologas, contradicciones o consistentes. 6.1 ( ( P Q ) P ) Q 6.2 ( P ( P Q)) Q 6.3 Tablas de verdad obtenidas en los ejercicios 4.1 y 4.2 Segn corresponda, escriba una expresin lgica o relacional equivalente a:
Pgina 1/4 rea de Servicios Dpto. de Informtica

Prctico N 1

Introduccin a la Computacin (T.U.R. T.U.W.) Introduccin a la Programacin (TUM TUG) 2008

7.1 (A B) 7.2 (A B) 7.3 (A > B) 7.4 (A B) Designe con letras (A, B, C, ) las proposiciones elementales y escriba en forma simblica los enunciados compuestos: 8.1 Nunca he visto elefantes volar. 8.2 La suma de dos nmeros es par cuando ambos son pares. 8.3 Una de dos: salgo a dar un paseo, o me pongo a trabajar como un energmeno. 8.4 Aumentarn mis ingresos si bajo los gastos. 8.5 Slo cuando vea a un marciano con mis ojos, creer que hay vida extraterrestre. 8.6 Si el resultado obtenido es superior al previsto en 5 unidades, ser debido a no haber realizado el proceso a la temperatura correcta o a la existencia de errores en los clculos finales. 8.7 Cuando uno no tiene imaginacin, la muerte es poca cosa; cuando uno la tiene, la muerte es demasiado 8.8 Las brujas se peinan nicamente si llueve y hace sol Nuestro amigo Marcelino Fernndez dedic el siguiente poema a sus tres hijos Marcelo, Marcos y Esther, aunque segn confiesa todava est pagando por su arrebato paterno-potico-pattico. Cmo colocara la puntuacin Marcelo? Cmo colocara la puntuacin Esther? Cmo colocara la puntuacin Marcos? Cmo colocara la puntuacin el padre para que ninguno sea elegido? Si A y B son enunciados verdaderos y X, Y y Z son enunciados falsos cules de los siguientes enunciados son verdaderos? 10.1 (A X) (B Y) 10.2 ((A B) A) A 10.3 (X (Y Z) ((X Y) (X Z))) 10.4 (A B) (B A) 10.5 (A (X Y)) ((A X) Y) Escriba los siguientes enunciados en forma simblica, niguelo y escrbalo nuevamente en idioma castellano: 11.1 No es justa pero mantiene el orden. 11.2 Jorge ha estudiado msica durante aos, pero no ha logrado todava perfeccionarse en la ejecucin de ningn instrumento. 11.3 Si Marcos es rico entonces tanto Enrique como Aurora son felices. 11.4 No ir a buscarte, a menos que me lo pidas. 11.5 Ir a trabajar al campo el ao prximo slo si termino este ao mis estudios. Dada la siguiente tabla de verdad, donde el 0 equivale al valor de verdad Falso y el 1 equivale al valor de verdad Verdadero: P Q ? 0 0 0 0 1 1 1 0 1 1 1 0
Pgina 2/4 rea de Servicios Dpto. de Informtica Digo que prefiero a Marcelo aunque a veces sea de hielo no a Esther cuya hermosura compite con su frescura no alabo a Marcos por su ciencia que no es poca su inteligencia

10

11

12

Prctico N 1

Introduccin a la Computacin (T.U.R. T.U.W.) Introduccin a la Programacin (TUM TUG) 2008

12.1 Qu conectiva representa? 12.2 Es equivalente a la siguiente proposicin? Justifique usando leyes de De Morgan. 13 (((P P) Q) (P (Q Q))) Verifique (usando tablas de verdad) que las funciones F y G son equivalentes: F = (A B C) (A B C) (A B C) 14 G = B (A (A C)) Probar que la negacin y la disyuncin es un conjunto adecuado de conectivas. Es decir, que puedo expresar el resto con y . 14.1 Qu pasa si ahora uso y ? Indicar si las siguientes frmulas son bien formadas: 15.1 P Q R 15.2 (Q R ) 15.3 P S 15.4 P Q S R Represente las siguientes proposiciones lgicas usando circuitos booleanos: 16.1 F = (A B) 16.2 F = (A B) (A B) 16.3 S = (A B) (A B) C = (A B)

15

16

Cul es el resultado de cada circuito cuando A=Verdadero, B=Falso y A=Verdadero, B= Verdadero? 17 Dado el siguiente circuito:
A B

18

17.1 Defina la expresin 17.2 Construya la tabla de verdad correspondiente 17.3 Verifique para la entrada A=0 y B=1 la salida del circuito Determine la expresin lgica que describe a cada uno de los siguientes problemas: determine las variables, identifique las conectivas lgicas que enlazan a cada una de las variables y forme la expresin lgica correspondiente. 18.1 Condiciones que deben reunirse para que sea posible fumar. Por una parte deben tenerse fsforos o encendedor, por otra parte, cigarrillos o una pipa y tabaco, pero no se debe estar en presencia de una atmsfera explosiva. 18.2 El flujo de agua que llega a una solucin de salmuera que se emplea en un proceso qumico, se cortar solamente si: El tanque est lleno. La salida del tanque no se cierra, la concentracin de sal no exceda al 2.5% y el nivel del agua no est por debajo de un cierto nivel mnimo especificado.

Prctico N 1

Pgina 3/4

rea de Servicios Dpto. de Informtica

Introduccin a la Computacin (T.U.R. T.U.W.) Introduccin a la Programacin (TUM TUG) 2008

Ejercicios Complementarios 1. Construir la tabla de verdad para cada una de las siguientes formas proposicionales: 1.1. (P Q) ((P) (Q)) 1.2. (P Q) R 2. Dar una expresin equivalente a: 2.1. (A B) 2.2. (P Q) (Q P) 2.3. (P P) 2.4. ( (P Q) (P Q)) Qu conclusin puede sacar de las ltimas tres equivalencias? 3. Designar con letras (A, B, C, ) las proposiciones elementales y escriba en forma simblica los enunciados compuestos: 3.1. Un nmero es par y mltiplo de tres slo cuando es divisible por seis. 3.2. O bien el asesino ha abandonado el pas, o alguien est encubrindolo. 3.3. Si un nmero entero no es par, entonces es impar. 3.4. Si un nmero entero es par, entonces no es impar 4. Si A y B son enunciados verdaderos y X e Y son enunciados falsos cules de los siguientes enunciados son verdaderos? 4.1. ((A X) Y) (A (X Y)) 4.2. (A (X Y)) ((A X) Y) 5. Usando circuitos booleanos represente las siguientes funciones lgicas: 5.1. R = (A B) (A B) S = (A B) 5.2. F = (A B) (A B C) 6. Probar si la conectiva condicional verifica la propiedad asociativa y conmutativa. 7. Probar si la conectiva conjuncin verifica la propiedad asociativa y conmutativa. 8. Probar si la suma lgica (or) verifica la propiedad distributiva respecto del producto lgico (and). Es decir : A (B C) (A B) (A C) 9. Tres hermanas, Soledad, Julia e Irene, conocieron a un joven y apuesto caballero, licenciado en letras y las tres se enamoraron de l. Pero el caballero no se atreva a decir de cul de las tres hermanas estaba enamorado. Como no se declaraba a ninguna, las tres hermanas le rogaron que dijera claramente a cul de las tres amaba. El joven caballero escribi en un poema sus sentimientos, aunque "olvid" consignar los signos de puntuacin, y pidi a las tres hermanas que cada una de ellas aadiese los signos de puntuacin que considerase oportunos.
Tres bellas que bellas son me han exigido las tres que diga de ellas cual es la que ama mi corazn si obedecer es razn digo que amo a Soledad no a Julia cuya bondad persona humana no tiene no aspira mi amor a Irene que no es poca su beldad

Cmo colocara la puntuacin Soledad? Cmo colocara la puntuacin Julia? Cmo colocara la puntuacin Irene? Cmo colocara la puntuacin el caballero

para que ninguna sea elegida?

Prctico N 1

Pgina 4/4

rea de Servicios Dpto. de Informtica