UNIVERSIDAD TECNICA PARTICULAR DE LOJA NOMBRE: Silvana Cuenca FECHA: 09/02/2014 TEMA: EJERCICIOS RESOLVER 99.

La forma normal conjuntiva niega las variables cuyos valores de verdad son 1.

Falso 45. Dada la siguiente demostracin indirecta: 1. Si los rboles son verdes entonces tienen clorofila 2. Los rboles son verdes y tienen ramas 3. Si los rboles tienen clorofila entonces son pinos 4. Los rboles no son pinos 5. Los rboles no tienen clorofila 6. Los rboles no son verdes 7. Los rboles son verdes 8. Los rboles son verdes y los rboles no son verdes la regla nmero 8 se obtiene aplicando: j. Simplificacin de (6, 7) k. Suma (6,7)

l. Conjuncin (6, 7) 44. Dada la siguiente demostracin indirecta: 1. Si los rboles son verdes entonces tienen clorofila 2. Los rboles son verdes y tienen ramas 3. Si los rboles tienen clorofila entonces son pinos 4. Los rboles no son pinos 5. Los rboles no tienen clorofila 6. Los rboles no son verdes 7. Los rboles son verdes 8. Los rboles son verdes y los rboles no son verdes La regla nmero 7 se obtiene aplicando: g. Modus Tollens (1, 5) h. Simplificacin (2) i. Modus Ponens (1, 5) 95. La interseccin de conjuntos es equivalente a la suma en algebra booleana. Falso 43. Dada la siguiente demostracin indirecta: 1. Si los rboles son verdes entonces tienen clorofila 2. Los rboles son verdes y tienen ramas 3. Si los rboles tienen clorofila entonces son pinos 4. Los rboles no son pinos 5. Los rboles no tienen clorofila 6. Los rboles no son verdes 7. Los rboles son verdes 8. Los rboles son verdes y los rboles no son verdes La conclusin es: d. Los rboles son verdes y los rboles no son verdes e. Los rboles son verdes f. Los rboles son pinos

100. La forma normal disyuntiva niega las variables cuyos valores de verdad son 1.

Falso 41. El mtodo indirecto o de contradiccin introduce como premisa a la conclusin negada. Verdadero 89. Cul sera la equivalencia correcta de: ((x y)+ y ) ? a. (x y) + y b. (x + y) y c. (x y)+ y 96. La forma normal disyuntiva es una suma de productos. Verdadero 71. Dada la expresin x1 v ( x2 v x3), el equivalente es: a. (x1 v x2) x3 b. (x1 v x2) v x3 c. (x2 v x3) 85. Cul sera la equivalencia correcta de: (x y) + 1? a. 1 b. xy c. 0 84. Si aplicamos la ley de absorcin a la expresin (x + y) x, la respuesta correcta sera: a. x b. y c. x + y 42. Dada la siguiente demostracin: 1. Si 2 = 14 entonces 2 es mltiplo de 7 2. 2 = 14. Conclusin: 2 es mltiplo de 7 4. 2 no es mltiplo de 7 5. 2 no es igual a 14 6. 2 = 14 y 2 no es igual a 14 Qu tipo de demostracin se ha utilizado? a. Directa

b. Indirecta o contradiccin c. Ninguna de las anteriores 79. La expresin booleana (x v y) es equivalente a x y Falso 49. Indique la regla de inferencia que representa el siguiente argumento: 1 Los nios juegan y lloran 2 Los nios juegan a. Simplificacin b. Suma c. Conjuncin