Instituto Tecnolgico de La Paz Baja California Sur

Matemticas Discretas Portafolio de evidencias

Alumno: Manuel Antonio Snchez Saiza

Profesor: Javier Alberto Carmona Troyo

La Paz Baja California Sur a 3 de Junio del 2013.

ndice
Una pequea introduccin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2 Unidad 1: Sistemas numricos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Unidad 2: Conjuntos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 Unidad 3: Lgica matemtica. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Unidad 4: lgebra Booleana. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 Unidad 5: Relaciones. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .52 Unidad 6: Teora de grafos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65

Una pequea introduccin: Debido al enfoque por competencias del Instituto Tecnolgico de La Paz se hace la entrega del presente documento contenido de todos los ejercicios, resmenes y ensayos realizados durante el curso de Matemticas discretas para las ciencias de la computacin y electrnica. Periodo de evaluacin: Febrero Junio 2013. Carrera: Ingeniera en Sistemas Computacionales. Por qu el portafolio de evidencias? En un enfoque por competencias, se destaca la evaluacin mediante el portafolio de evidencias, de donde se enriquece con productos elaborados por los alumnos, los cuales reflejan el esfuerzo, avances y logros alcanzados.

Unidad 1: Sistemas numricos. 1. Definir con sus propias palabras qu es un sistema numrico y explicar cmo crear un sistema de base n. Un sistema numrico nos sirve para definir cantidades en base a diferentes tipos de numeracin, como binaria, octal, decimal y hexadecimal, cabe mencionar que existen algunos otros modelos como el sistema de numeracin romana, rabe, etc. Podemos definir un sistema de base n como N = (S, R). Donde, S son los smbolos que el sistema permite y R son las reglas que nos indican qu nmeros son vlidos en el sistema. 2. Realizar las siguientes conversiones de binario a decimal y decimal a binario. Pasos para realizar una conversin de decimal a binario: Tomamos el nmero decimal, si es par, escribimos 1 a un lado y restamos dicha unidad al valor decimal, dividimos el resultado entre 2 y escrito este determinamos si es par o no, en caso de ser impar, escribimos 0 a un lado, lo dividimos entre 2 y repetimos los pasos anteriores hasta que el valor decimal sea reducido a 0. Escribiremos el resultado de izquierda a derecha y agregamos los 0 faltantes hasta formar un nmero binario de 8 dgitos. 1. 57 = 56 | 1 = 00111001 28 | 0 14 | 0 6|1 2|1 0|1 2. 12 = 12 | 0 = 00001100 6|0 2|1 0|1

Pasos para realizar una conversin de binario a decimal: Cada dgito en un nmero binario es de diferente valor, dependiendo de su posicin. Veamos los valores de cada uno de ellos de forma representativa: |1|1|1|1|1|1|1|1| |128 | 64 | 32 | 16 | 8 | 4 | 2 | 1 | Imaginemos que tenemos un circuito de luces el cual enciende alguna luz, ninguna o todas ellas para representar un valor decimal. El valor 1 representa la luz encendida, lo contrario del valor 0, que representa la luz apagada. Si bien, en el ejemplo anterior tenemos todas las luces encendidas, si sumamos los valores obtendremos el valor decimal 255, puesto que 128 + 64 + 32 + 16 + 8 + 4 + 2 + 1 = 255. De esta forma es como realizamos la conversin de binario a decimal, sumando todos aquellos valores encendidos. 3. 00000111 = 4 + 2 + 1 = 7 4. 11011011 = 128 + 64 + 16 + 8 + 2 + 1 = 219 3. Realizar las siguientes conversiones entre decimal y binario, octal y hexadecimal. Pasos para realizar conversin de decimal a octal y hexadecimal. Es conveniente convertir a binario el nmero decimal para as facilitar nuestra tarea, hecho esto, pasamos a lo siguiente: Para convertir de binario a octal se toman de 3 en 3 los dgitos binarios, sumando cada valor encendido, el mximo valor que puede tomar ser 7. En cuanto al hexadecimal, tomaremos de 4 en 4 los dgitos binarios, sumando cada valor encendido. Los valores en el sistema hexadecimal son 0,1,2,3,4,5,6,7,8,9,A,B,C,D,E,F, siendo F el mximo valor en dicho sistema.

1. De decimal a binario: 94 = 94 | 0 = 01011110 46 | 1 22 | 1 10 | 1 4|1 2|0 0|1 2. De decimal a octal: Dividimos 94/8, nos da 11 y sobran "6", dividimos el resultado sobre 8, es decir 11/8, nos da 1 y sobran "3", dividimos 1/8, nos da 0 y sobra "1", reescribiendo los resultados obtenemos, 136. Otra forma es: Convirtiendo primero a binario: 01011110 = 001 011 110 = 136 3. De decimal a hexadecimal: Dividimos de igual forma que la anterior, 94/16, nos da 5 y sobran "14", dividimos 5/12, nos da 0 y nos sobran "5", reescribiendo los resultados obtenemos, 5E. Otra forma es: Convirtiendo primero a hexadecimal: 01011110 = 0101 1110 = 5E 4. De decimal a binario: 127 = 126 | 1 = 01111111 62 | 1 30 | 1 14 | 1 6|1 2|1 0|1

4. Realizar las siguientes conversiones de hexadecimal a binario, decimal y octal. 1. De hexadecimal a decimal: 2E = 2(16) + 14 = 46 Para convertir de hexadecimal a decimal se toma el primer valor (de la derecha) original y se suma a los siguientes valores, siendo estos, multiplicados a la vez por 16 (debido al sistema de base 16) y elevados a una potencia, segn la posicin en la que se encuentren se ir sumando uno a la potencia a partir del segundo dgito de derecha a izquierda. 2 De hexadecimal a octal: 3D = 0011 1101 = 111 101 = 75 Para realizar la conversin, primero convertimos el nmero hexadecimal a binario y fcilmente lo podremos convertir al sistema octal. 3. De hexadecimal a binario: 57 = 01010111 4. De hexadecimal a decimal: FFE = 15(16^2) + 15(16) + 14 = 4094 5. Realizar las siguientes conversiones de octal a decimal, binario y hexadecimal. 1. De octal a decimal: 324 = 3*8^2 + 2*8^1 + 4*8^0 = 192 + 16 + 4 = 212 Para convertir de octal a decimal, multiplicamos cada nmero por 8 elevado a la potencia segn corresponda la posicin y los sumamos para obtener el resultado. 2. De octal a binario: 777 = 11111111 3. De octal a decimal: 1234 = 1*8^3 + 2*8^2 + 3*8^1 + 4*8^0 = 512 + 128 + 24 + 4 = 668

4. De octal a hexadecimal: 374 = 011 111 100 = 1111 1100 = FC Para realizar la conversin, primero convertimos el nmero a binario y fcilmente lo podremos convertir al sistema hexadecimal. 6. Descomponer de forma polinmica los siguientes sistemas numricos. 1. 2x3y(5): 2.5^3 + x.5^2 + 3.5 + y 2.125 + x.25 + 15 + y 265 + 25x + y 2. 352(n): 3.n^2 + 5.n + 2 3. xyz(a): x.a^2 + y.a + z 4. 2abc(x): 2.x^3 + a.x^2 + b.x + c 7. Descomponer los siguientes sistemas numricos. 1. Si: ab + ba = 132, encontrar (a + b): (10a + b) + (10b + a) = 132 11a + 11b = 132 Luego: a + b = 12. 2. Cuntos numerales de dos cifras son iguales a 4 veces la suma de sus cifras? ab = 4(a + b) 10a + b = 4a + 4b 6a = 3b, entonces; 2a = b ab = 1 2 ab = 2 2 ab = 3 6 ab = 4 8

3. Halla un numeral de dos cifras que empieza en 6 y que sea igual a 55 veces la suma de sus cifras. 6ab = 55 (6 + a + b) 600 + 10a + b = 330 + 55a + 55b 270 = 45a + 54b 30 = 5a + 6b 0 + 5 = ab = 605 6 + 0 = ab = 660 4. Si a un numeral de dos cifras se le agregan dos ceros a la derecha, el numeral aumenta en 2871. Hallar el numeral. Numeral de dos cifras: ab Luego: ab00 Pero: ab00 = ab.100 = 100ab Entonces: 100ab ab = 99ab 99.ab = 2871 ab = 29 5. Si abcd = 37.ab + 62.cd, hallar (a + b + c + d): abcd = ab00 + cd = 100.ab + cd 100.ab + cd = 37.ab + 62.cd 63.ab = 61.cd ab = 61 cd 63 Entonces: ab = 62 y cd = 63 Luego: a + b + c + d = 6 + 1 + 6 + 3 = 16 6. Hallar el valor de a en 13a0 (4) = 120: 120 | 4 | 0 = 1320(4) 30 | 4 | 2 7|4|3 1|4|1 Entonces a = 2

7. Hallar el valor de a en 2a2a(7) = 1000: 2.7^3 + a.7^2 + 2.7 + a = 1000 2.343 + a.49 + 14 + a = 1000 686 + 49a + 14 + a = 1000 700 + 50a = 300 a=6

8. Ensayo de la unidad. En este ensayo hablaremos de los sistemas numricos bsicos y su utilidad dentro del rea de sistemas y computacin. Los sistemas de numeracin son las distintas formas de representar la informacin numrica. Se nombran haciendo referencia a la base, que representa el nmero de dgitos diferentes para representar todos los nmeros. Sistema numrico binario: Con el surgimiento de las computadoras, los ingenieros informticos necesitaron una manera de adoptar un sistema numrico que les permitiera a las mquinas funcionar de forma correcta y confiable ya que el sistema decimal resultaba muy complejo o difcil para crear un cdigo apropiado entonces comenzaron con el uso del sistema numrico binario de base 2. Con la buena confiabilidad y utilidad de este sistema los ingenieros crearon un lenguaje de bajo nivel que tambin llamaron cdigo mquina, ya que permite a los ordenadores entender y ejecutar las rdenes sin mayores complicaciones, pues el circuito electrnico de la mquina u ordenador slo tiene que distinguir entre los dos dgitos para realizar las operaciones matemticas y no entre diez, como hubiera sucedido de haberse adoptado el sistema numrico decimal para el funcionamiento de los ordenadores o computadoras. En el sistema numrico binario, a diferencia del decimal, donde son utilizadas 10 cifras del 0 al 9, slo necesitamos dos cifras o valores: el 0 y el 1. Su cantidad de cifras necesarias para representar un nmero es mayor que en el sistema decimal. Para representar nmeros grandes harn falta muchos ms dgitos. Por ejemplo, para representar nmeros mayores de 255 se necesitarn ms de ocho dgitos. Este sistema de numeracin es de especial importancia en la electrnica digital, donde se aplica como slo dos valores o niveles para los voltajes el 1 como valor de voltaje alto y el 0 como nivel de voltaje bajo. Dichos valores se aplican o se relacionan con: Nivel alto - nivel bajo. Cerrado - abierto. Encendido - apagado.

10

Sistema numrico octal: El sistema octal usa 8 dgitos del 0 al 7 y tienen el mismo valor que en el sistema de numeracin decimal cada dgito tiene, naturalmente, un valor distinto dependiendo del lugar que ocupen pero valor de cada una de las posiciones viene determinado por las potencias de base 8. En informtica al igual que el sistema numrico binario, se utiliza para representar bytes (de 8 bits). Los nmeros del sistema octal pueden construirse a partir de nmeros binarios agrupando cada tres dgitos consecutivos de estos ltimos de derecha a izquierda si sobre uno o dos dgitos se agrega para completar los 3 y obteniendo su valor decimal. Por ejemplo, Pasar 101101112 a octal: Nmero en binario convertido a grupos de 3: 010 110 111. Equivalente en base 8: 267. Sistema numrico hexadecimal: En el sistema hexadecimal los nmeros se representan con 16 smbolos: 0-9, A- F los caracteres A, B, C, D, E y F estn representando las cantidades decimales 10, 11, 12, 13, 14 y 15 respectivamente, porque no hay dgitos mayores que 9 en el sistema decimal claramente el valor de cada uno de estos smbolos depende de su posicin. Es el sistema de numeracin posicional de base 16 empleando por lo tanto 16 smbolos. En principio dado que el sistema usual de numeracin es de base decimal y, por ello, slo se dispone de diez dgitos, se adopt la convencin de usar las seis primeras letras del alfabeto latino para suplir los dgitos que nos faltan. Su uso actual est muy vinculado a la informtica y ciencias de la computacin, pues los computadores suelen utilizar el byte u octeto como unidad bsica de memoria y debido a que un byte representa 28 valores posibles que, corresponden exactamente permiten representar la misma lnea de enteros a un byte. En conclusin el sistema binario tiene la representacin de algunos nmeros que resulta muy larga, este es el motivo por el cual se utilizan otros sistemas de numeracin que resulten ms cmodos, fciles de escribir y realizar como lo es el sistema octal y el sistema hexadecimal que afortunadamente, resultan muy fcil de convertir. En informtica, a veces se utiliza la numeracin octal en vez de la hexadecimal. Tiene la ventaja de que no requiere utilizar otros smbolos diferentes de los dgitos.

11

Unidad 2: Conjuntos. 1. Expresar por extensin y por comprensin los siguientes conjuntos. Dados los siguientes conjuntos: 1) {1,4,7,10} 2) {2,4,6, 8,10,12,14,16,18,20,22,24,26 } 3) {3,7,11,15,31} Expresar B y C por comprensin: {X/X = nmero natural, desde uno hasta 10 con incrementos de 3 en 3} {X/X = nmero par, del 2 al 26} {X/X = nmero impar del 3 al 31} 2. Escribir simblicamente las siguientes expresiones. a) v pertenece al conjunto M. R. v M. b) El conjunto T contiene como subconjunto al conjunto H. R. H T. c) Entre los elementos del conjunto G no est el nmero 2. R. 2 G. d) El conjunto Z no es subconjunto del conjunto A. R. Z A. e) El conjunto X no contiene al conjunto K. R. X K. f) El conjunto H es subconjunto propio del conjunto K. R. H K.

12

3. Completar las siguientes proposiciones mediante los smbolos o . 1) 2 {1,3,5,7}. 2) 5 {2,4,5,6}. 3) 3 {x | 2 < x < 6}. 4) 2 {4,5,6,7}. 5) 8 {x | 8 < x < 10}. 6) 0 O. 7) Amrica {x | x es el nombre de un pas}. 8) 8 . 4. Definir por extensin cada uno de los siguientes conjuntos. a) A = {x | x2 = 4}. Respuesta: A = {2}. b) B = {x | x 2 = 5}. Respuesta: B = {3}. c) T = {x | x es una cifra del nmero 2324}. Respuesta: T = {2,3,4}. d) C = {x | x es positivo y negativo}. Respuesta: C = {-, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, +}. e) R = {x | x2 = 9}. Respuesta: R = {3}. f) Q = {x | x es una letra de la palabra calcular}. Respuesta. Q = {c,a,l,u,r}.
13

4. Resolver la siguiente cuestin. Sea T = {x | 4x = 12} Es T= 3? Por qu? S es igual a 3 porque 4 x 3 es 12. 5. Sacar la carnalidad del siguiente conjunto. A = {1,2,3,4}. C = {{0}, {2}, {3}, {4}, {1}, {1,2}, {1,3}, {1,4}, {2,3}, {2,4}, {3,4}, {1,2,3}, {1,3,4}, {2,3,4}, {1,2,4}, {1,2,3,4}} 6. Menciona todas las propiedades de A. A = {a,a), (a,b), (a,c), (a,c), (b,c), (c,d), (d,d)}. a) No cumple ninguna condicin. b) Matriz. 1 0 0 0 1 0 0 0 1 1 0 1 0 0 1 1

c) Operaciones. Transformacin reflexiva ( ) ( ) ( )

Luego: (

) (

14

7. Completar la matriz. Sea A= {2, 4, 6, 8}. {(2,2), (2,4), (2,6), (2,8)}. 1 1 0 1 + 0 0 1 0 = 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1

15

Unidad 3: Lgica matemtica. 1. Negar los siguientes enunciados. Algunos peces pueden nadar: Algunos peces no pueden nadar. El agua es transparente: El agua no es transparente. Mxico sta en amrica: Mxico no est en amrica. La mesa es azul: La meza no es azul Todos los das hace calor: No todos los das hace calor. Ningn oso polar tiene frio: Algn oso polar tiene frio. Algn sabio no toma caf: Algn sabia toma caf. 2. Escriba de manera simblica las siguientes expresiones. 1) Hoy es lunes o maana es sbado. p: es lunes. q: maana es sbado: (p v q). 2) Un nmero distinto de cero es positivo o negativo. p: Un nmero distinto de cero es positivo, q: negativo: (p v q). 3) Si no llueve, iremos de da de campo. p: Si llueve, q; iremos de da de campo: (p q). 4) Se pueden estacionar alumnos y maestros. p: Se pueden estacionar alumnos. q: Se pueden estacionar maestros: (p ^ q).
16

5) Si encuentra un producto mejor, cmprelo. p: Si encuentra un producto mejor, q: cmprelo: (p q). 6) l no es rico, ni feliz. p: l es rico, q: es feliz: (p ^ q). 7) Ser pobre, es ser feliz. p: Eres pobre, q: eres feliz: (p q). 8) Hay que saber matemticas para ser feliz. p: Sabes matemticas, q: eres feliz: (p q). 3. Escribir como oracin las siguientes expresiones simblicas.
1) p v q.

Donde p: Llueve, q: hay nubes. R. Llueve o hay nubes. 2) p (q v r). Donde p: Mi carro falla, q: me ir en taxi, r: me ir en camin. R. Mi carro falla, entonces me ir en taxi o me ir en camin. 3) (p ^ q) r. Donde p: Comprar un cuaderno, q: comprar un libro, r: el maestro dicta la leccin. R. Comprar un cuaderno y un libro, si y slo si el maestro dicta la leccin. 4) (p ^ q) r. Donde p: Encuentro un cuaderno azul, q: encuentro un cuaderno rojo, r: compro un cuaderno. R. Encuentro un cuaderno azul y encuentro un cuaderno rojo si y solo si compro un cuaderno. 5) (p ^ q) (r v s). Donde p: Paso el examen, q: me dejaron tarea, r: voy al cine, s: voy al desfile. Paso el examen y me dejaron tarea, entonces voy al cine o voy al desfile.

17

4. Obtener el resultado de las siguientes expresiones. 1) (p ^ q). p F F V V q F V F V (p ^ q) F F F V (p ^ q) V V V F

2) (p ^p). p F V p V F (p ^p) F F

3) (p ^ p). p F V p V F (p ^p) F F (p ^ p) V V

4) ((p q) ^ (q p)) (p q). p F F V V q F V F V (p q) V V F V (q p) V F V V ((p q) ^ (q p)) V F F V (p q) V F F V Si y slo si V V V V

18

5) ((p q) (q q). p F F V V q F V F V p V V F F q V F V F pq V V F V (q q) V F V V Si y slo si V F F V

6) ((p q) (p ^ q) (q)). p F F V V q F V F V q V F V F pq V V F V (p ^ q) F F F F (p q) (p ^ q) F F V F ((p q) (p ^ q) (q)) F F F V

7) p (q p). p F V p V F (q p) F F p (q p) V V

5. Si A es un nmero perfecto entonces A es un nmero par, y N es un nmero impar, A es nmero par y n no es impar, por consiguiente A no es perfecto. p F F F F V V V V q F F V V F F V V r F V F V F V F V p V V V V F F F F q^r F F F V F F F V p (q ^ r) V V V V F F F V p (q ^ r) p V V V V V V V V
19

6. H es un subgrupo si no es vaco, contiene al neutro y es cerrado para operacin. Si H es no vaco y cerrado para la operacin, entonces H contiene al neutro. En consecuencia, si H es cerrado para la operacin, H es un subgrupo. p F F F F V V V V q F F V V F F V V r F V F V F V F V q^r F F F V F F F V p (q ^ r) V V V V F F F V

7. Demostrar la equivalencia de la siguiente expresin. 1) t s, q s, t | = q. Respuesta: 1. t s, premisa, 2. q s 3. t, 4. s, MPP (1,3), 5. q, MTT (2,4). 8. Resolver la siguiente contradiccin. 1) p q, q v r, s r | = p s. Respuesta: 1. P q, premisa, 2. q v r, 3. s r, 4. p, adicional, 5. S, premisa, 6. q, MPP (1,4), 7. p ^ q Conjuncin (5,6), 8. s MTT (3,8).

20

9. Escriba cada uno de los siguientes postulados de manera simblica usando: 1) Si es rico entonces no es feliz. p: Si es rico, q: entonces no es feliz: (p q). 2) No se es feliz cuando se es rico. p: No es feliz, q: es rico: (p q). 3) Es pobre solamente si es feliz. p: Es pobre, q: es feliz: (p q). 4) Ser rico significa lo mismo que ser feliz. p: Es rico, q: es feliz: (p q). 5) l es pobre o es rico y feliz. p: l es pobre, q: es rico, r: es feliz: (p v (q ^ r)). 10. Escribir la negacin de cada uno de los siguientes enunciados en una frase tan sencilla como sea posible: Mara habla espaol o francs si y slo si habla italiano: Mara habla espaol o francs si y slo si no habla italiano. Si Juan lee el Heraldo entonces no lee la Prensa ni el Exclsior: Si Juan no lee el Heraldo entonces lee la Prensa y el Exclsior. Si Marcos es rico entonces tanto Enrique como Aurora son felices: Si Marcos no es rico entonces tanto Enrique como Aurora son felices. Si cae nieve entonces no conduce el automvil: Si cae nieve entonces conduce el automvil.

21

11. Construya la tabla de verdad de cada proposicin: a) (p q) (p v q). p F F V V q F V F V (p q) F V V F (p v q) V V F V (p q) (p v q) V V F V

b) [q (r p)] ^ [(q p) r]. p F F F F V V V V q F F V V F F V V r F V F V F V F V (r p) V V V V V F V F q (r p) F F V V F V V F (q p) F F V V V V V V (q p) r V F F V F V F V Conjuncin F F F V F V F F

12. Comprobar la validez de cada uno de los siguientes argumentos: a) Si Lourdes no est en Dinamarca entonces Pars no est en Francia. Pero Pars est en Francia. Por lo tanto, Lourdes est en Dinamarca. p: Pars est en Francia. q: Lourdes est en Dinamarca. q q, Luego: p q. Afirmacin verdadera.

22

b) El gobernador de California proviene ya sea de Los ngeles o de San Francisco. El Sr. Jones no viene de San Francisco. De donde, si el Sr. Jones no es de Los ngeles entonces el Sr. Jones no es gobernador de California. p: El gobernador de California proviene ya sea de los ngeles o de San Francisco. q: El Sr Jones es gobernador de California. r: Si es de san francisco. s: Si es de Los ngeles. p q r ^ s, Luego: q r ^ s p. Afirmacin verdadera. c) Si Harvard gana el campeonato de la liga de ftbol entonces Princeton ser segundo Si Princeton es segundo entonces Darmounth no terminar entre los cuatro primeros equipos. De donde, Princeton no tendr el segundo lugar. p: Harvard gana el campeonato. q: Princeton ser el segundo. r: Darmounth no terminar entre los primeros 4. (p q) r, Luego (p q) r. Afirmacin verdadera.

23

13. Determine la expresin lgica que describa el siguiente problema. En muchos automviles, la alarma del cinturn de seguridad se usa tambin para indicar que se estn dejando las llaves en el contacto o dejando las luces encendidas, cuando est desocupado. La siguiente proposicin describe la forma en que puede funcionar dicho sistema: La alarma suena si la llave est en el contacto, cuando la puerta est abierta y el motor no est funcionando; o si las luces estn encendidas cuando la llave no est en el contacto, o si el cinturn de seguridad del conductor no est ajustado cuando el motor est funcionando; o si el asiento del pasajero est ocupado y su cinturn de seguridad no est ajustado. q: La alarma suena. p: La llave no est en el contacto. r: La puerta est abierta. t: El motor no est funcionando. a: Las luces estn encendidas. m: El cinturn de seguridad del conductor no est ajustado. n: El asiento el pasajero est ocupado. w: El cinturn del pasajero no est ocupado. Luego: q ((p ^ t) (r ^ t) (a ^ p) (m ^ t) (n ^ w)).

24

14. Resumen de la unidad. Concepto de proposicin. Expresin verbal que afirma o niega algo. Ejemplo: Afirmativa: Los bebs gatean. Negacin: Los bebs no corren. Proposiciones compuestas. Conjunto de proposiciones cuyo valor de verdad depende del operador u operadores que les une: Disyuncin: Opera sobre dos valores de verdad, y devuelve el valor de verdad verdadero cuando una de las proposiciones es verdadera o ambas lo son. Se denota con (v). P F F V V q F V F V pvq F V V V

Conjuncin: Opera sobre dos valores de verdad, y devuelve el valor de verdad verdadero cuando ambas proposiciones son verdaderas y falso en cualquier otro caso. Se denota con (^). p F F V V q F V F V p^q F F F V

Negacin: Opera sobre un solo valor de verdad, devolviendo el valor contradictorio de la proposicin considerada. Se denota con (). p F V P V F

25

Condicional: Opera sobre dos valores de verdad, y devuelve el valor de verdad falso slo cuando la primera proposicin es verdadera y la segunda es falsa. Se denota con (). p F F V V q F V F V pq V V F V

Bicondicional: Opera sobre dos valores de verdad, y devuelve el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad y falso cuando sus valores de verdad difieren. Se denota con (). p F F V V q F V F V pq V F F V

Tablas de verdad. Es una tabla que muestra el valor de verdad de una proposicin compuesta, para cada combinacin de valores de verdad que se pueda asignar a sus componentes. Trabaja con cada uno de los conectivos lgicos: Disyuncin, conjuncin, negacin, condicional, bicondicional. Ejemplo: (p ^ p) p F V p V F p ^ p F F (p ^ p) V V

26

Tautologa, contradiccin, y contingencia. Tautologa: Son identidades lgicas que sern siempre verdaderas, utilizadas para pruebas sentenciales. Tautologas fundamentales: Ley del medio excluido: p v p Ley de la no contradiccin: (p ^ p) Modus ponendo ponens: ((p q) ^ p) q Modus tollendo tollens: ((p q) ^ q) p Silogismo disyuntivo: ((p v q) ^ p) q Silogismo hipottico: ((p q) ^ (q r)) (p r) Contradiccin: Se habla de una contradiccin cuando una proposicin compuesta es falsa para todas las asignaciones. Contingencia: Se utilizan para hacer circuitos de control y automatismo, surgen cuando en dos proposiciones, su equivalencia es verdadera y falsa a la vez. Equivalencias lgicas. Dos frmulas lgicas son equivalentes si tienen los mismos valores de verdad para todos los posibles valores de verdad (bicondicional). Doble negacin: (p) p 1ra ley de Morgan: (p v q) p ^ q 2da ley de Morgan: (p ^ q) p v q Condicional como clusula: (p q) ( p q) Contrapositiva: (p q) ( q p) Negacin de implicacin: (p q) p ^ q Reglas de inferencia. Es un esquema para construir inferencias vlidas. Establecen relaciones entre un conjunto de frmulas llamadas premisas y una asercin llamada conclusin.

27

Reglas de inferencia deductiva. MPP (Modus ponendo ponens): AB A R. B MTT (Modus tollendo tollens): AB B R. A SD (Silogismo disyuntivo): AB BC R. A C LS (Ley de simplificacin): A^B R. A LA (Ley de adicin): A R. A v B Contrapositiva: AB B A Argumentos vlidos y no vlidos. Un argumento es una secuencia de afirmaciones, es correcto si siempre que las premisas son verdaderas su conclusin es por razones formales. Todas las afirmaciones excepto la ltima se llamarn premisas o suposiciones o hiptesis. La declaracin final se llamar conclusin. Metodologa para verificar la validez de un argumento: 1. Identificar las premisas y la conclusin. 2. Construir una tabla de verdad que incluya las dos anteriores. 3. Sealar de la tabla slo aquellos renglones que hacen que todas las premisas sean verdaderas. 4. Verificar que para los renglones crticos, la conclusin es verdadera. 5. Detectar si existe un rengln crtico con conclusin falsa.

28

Lgica de predicados. Hay deducciones que se realizan habitualmente en matemticas para cuando no es posible analizar su validez dentro del mbito de la lgica de preposiciones. Consideremos la deduccin: Todos los nmeros son impares: 3 es un nmero primo. 3 es impar. Si separamos las sentencias tenemos: 3 es primo. 5 es primo. 5 es impar. Observamos que, siendo distintas aparecen en ellas partes comunes. En lgica de predicados se distingue entre las propiedades y objetos a los que dichas propiedades se refieren. Se utilizan dos tipos: Las constantes: Que son objetos concretos, formando un universo de discurso, un conjunto U. Las variables: Que son objetos genricos que normalmente denotamos con las letras x; y; z; que podran sustituirse por objetos de U. La caracterstica esencial que diferencia las variables de las constantes es que toda variable puede ser sustituida por cualquier objeto del universo. Un predicado es una sentencia que involucra variables que, al ser sustituidas se convierte en proposicin. Los predicados pueden representarse por smbolos P(x), Q(x)... los cuales se denominan funciones proposicionales. Hecho esto, da lugar a una proposicin de la que es posible armar si es verdadera o falsa. Cuantificadores. Son smbolos utilizados para indicar cuntos elementos de un conjunto dado cumplen con cierta propiedad. Cuantificador Universal: El cuantificador universal indica que algo es cierto para todos los individuos. Sea A una expresin y sea x una variable. Si deseamos indicar que A es verdadero para todos los posibles valores de x, escribimos (x) A.

29

Cuantificador Existencial: La cuantificacin existencial de P(x) es la proposicin en que existe un elemento x en el universo de discurso tal que P(x) es verdad. Representacin y evaluacin de predicados. En la lgica de predicados observamos que la validez o no de ciertos razonamientos est en su forma. Sea por ejemplo el razonamiento antes considerado, que intuitivamente se muestra como vlido: -Todos los hombres son mortales. - Scrates es un hombre. - Scrates es mortal. Esto se puede representar como: Vx U P(x) AU R. P(A). Ejemplos: Algunos peces pueden nadar: R: Ningn pez puede nadar. El agua es transparente: R: El agua no es transparente. Mxico est en Amrica: R: Mxico no est en Amrica.

30

Nuestra intuicin seala que este razonamiento es vlido siempre, en el sentido de que no depende del universo de discurso considerado. Resulta entonces natural escribir la siguiente expresin que consideraremos verdadera: (Vx P(x)) P(A). De este modo construimos la lgica formal usando predicados. Conjuntos de reglas para definir formas de predicados: 1. Considerar funciones proposicionales de la forma P(x). 2. Se pueden construir nuevas formas de predicados usando los conectivos lgicos. P(x) ^ Q(x) P(x) ^ Q(y) P(x) P(x) v Q(x) P(x) Q(x) P(x) Q(x) 3. Dada una forma de predicados de las construidas anteriormente como P(x), se pueden construir las expresiones: Vx P(x) Ex P(x) Por ejemplo: Se construyen las formas: Vx (P(x) ^ Q(x)) Ex (P(x, y) Q(x)) En las formas anteriores, la variable x afectada por el cuantificador universal o existencial se dice que queda ligada. El resto de posibles variables se dice que son libres. 4. Dos formas de predicado se pueden combinar usando conectivos lgicos. Los parntesis son necesarios para evitar ambigedades. Estamos considerando, por ejemplo, expresiones del tipo: (Vx P(x)) (Ex Q(x)) 5. Dada una forma de predicados, se pueden construir expresiones del tipo: Vx P(x); Ex P(x). 6. Dada una forma de predicado, cualquiera de sus variables libres puede sustituirse por una constante arbitraria, dando lugar a una nueva forma de predicado.

31

lgebra declarativa. Es el lgebra proposicional, o sea, la estructura que se forma con expresiones utilizando los conectivos lgicos. Una expresin sintcticamente correcta se le llama frmula bien formada o simplemente frmula y su definicin es: Una frmula en lgica de proposiciones se obtiene al aplicar una o ms veces las siguientes reglas: (B) Si P es una proposicin lgica, es una frmula bien formada. (R) Si F es una frmula bien formada tambin lo es (F). (R) Si P, Q son frmulas bien formadas, entonces tambin lo es (P * Q) donde * es uno de los operadores binarios ^ v . Para simplificar en lgica hay que utilizar equivalencias lgicas. Por ejemplo, simplificar: (p ^ q) ^ q. Para esto utilizamos las siguientes equivalencias lgicas: (A ^ B) ^ C A ^ (B ^ C) A^AF A^FF (p ^ q) ^ q F Se puede observar que no existe distincin entre la equivalencia lgica y el esquema que la genera.

32

Induccin matemtica. La induccin es un razonamiento que permite demostrar una infinidad de proposiciones, o una proposicin que depende de un parmetro n que toma una infinidad de valores, usualmente en el conjunto de los enteros naturales N. Aplicacin de la lgica matemtica en la computacin. Es la misma lgica matemtica aplicada al contexto de las ciencias de la computacin. Su uso es fundamental a varios niveles como por ejemplo, en los Circuitos Computacionales. Circuitos Computacionales: Una computadora est constituida por circuitos electrnicos que responden a diferentes seales elctricas, siguiendo patrones de la lgica booleana, como lo son las compuertas lgicas que devuelven un valor dependiendo de las entradas que se ejecuten en el sistema. Existen ocho compuertas lgicas bsicas con las cuales se pueden formar sistemas muy complejos. Todas ellas son representadas mediante un smbolo y una tabla de valores de verdad, que es simplemente un cuadro donde se ubican todas las posibles entradas y los valores que devolvera la compuerta dados dichos valores. Todo sistema computacional est compuesto por ms que circuitos electrnicos que nicamente entienden un lenguaje binario. La lgica computacional se encarga de modelar y optimizar tales sistemas a este nivel. Tambin se aplica en la programacin lgica, y en el anlisis y optimizacin de algoritmos.

33

15. Ensayo de la unidad. Introduccin La lgica matemtica es la parte de las matemticas que estudia el sentido lgico y sus aplicaciones. Tiene estrechas conexiones con las ciencias de la computacin. Su nombre fue dado por Giuseppe Peano. La lgica matemtica, en esencia, es la lgica de Aristteles, pero desde un punto de vista ms abstracto. Fueron Boole y Morgan quienes, a mediados del siglo XIX presentaron un sistema matemtico para mostrar operaciones lgicas. Con esto, la lgica tradicional de Aristteles fue reformada y completada. En concreto, la lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican conceptos intuitivos de objetos matemticos. Estudia los sistemas lgico-deductivos constituidos por un lenguaje formal, reglas de inferencia y un conjunto de axiomas que nos permiten encontrar proposiciones derivables. Todo esto en relacin con los nmeros, conjuntos y demostraciones.

34

Objetivo El objetivo del presente ensayo, es recordar y entender la importancia de la lgica, ya que entendiendo sus temas, podramos determinar si es vlido o no un argumento dado dentro de un sistema formal explicando el pensamiento de forma universal en base a un sistema nico de signos. Con este sistema unvoco de relaciones con signos, podramos operar entre ellos con ayuda de las matemticas para as alcanzar todo valor de verdad.

35

Desarrollo La lgica nos permite resolver problemas utilizando solamente la inteligencia y apoyndonos de algunos conocimientos ya encontrados y formulados durante aos. Con su aplicacin podramos obtener innovaciones o tener la facilidad de utilizar los mismos que ahora existen. Es ampliamente aplicada en la filosofa, matemticas, computacin y fsica. En la filosofa para determinar si un razonamiento tiene validez, ya que una sola frase puede tener muchas y diferentes interpretaciones, como por ejemplo, la frase: Si todos los derechos son reservados, Son todos los zurdos muy habladores? Aunque no es una frase muy filosfica, es una frase lgica, y con la ayuda de la lgica, podramos saber el significado correcto de cada uno de dichos razonamientos. En las matemticas, la lgica se utiliza para realizar teoremas como los que ya conocemos, y as estos puedan ser utilizados en diferentes investigaciones. En concreto, cualquier trabajo o tarea a realizar, lleva un procedimiento lgico. Es pues la lgica, imprescindible para que el ser humano pueda vivir de a acuerdo a su naturaleza. La validez de todas las conclusiones a la que un ser humano puede llegar mediante el razonamiento, tambin conocido como argumento lgico, depende de la gran importancia de sostener premisas verdaderas. As pues, todo valor con un sentido lgico verdadero, debe sostener una tautologa. La lgica es una disciplina, la cual en su prctica y dominio diario, nos ayuda a sostener un mejor razonamiento, en cualquier rea, slo necesitamos comprender su lenguaje, con ello podramos adentrarnos a numerosas reas del conocimiento, lo cual nos facilitara todo trabajo. Es de gran importancia y ayuda para el desarrollo del pensamiento ya que, gracias a ello, podemos lograr tener una forma de pensar ms flexible y con ms recursos para hacerlo. Muchas personas adolescentes tienen un desempeo bastante malo en el razonamiento deductivo, como las tareas del equilibrio de la balanza. El pensamiento operacional formal no siempre se muestra en la adolescencia. De ah la importancia de ayudar a los alumnos a desarrollar su pensamiento lgico a travs de actividades cognitivas, como lo es la lgica matemtica. Deriva su origen de la naturaleza misma para razonar del hombre; pues est dotado de una facultad natural para alcanzar con sus actos la verdad y para evitar el error; de donde puede tambin procurar la rectitud con reglas determinadas. Pero la misma naturaleza humana, en cuanto esencialmente defectible, tambin es el origen de la lgica artificial, la cual se preocupa del modo de pensar rectamente y de evitar errores. En definitiva, trata del estudio de la forma en que funciona la facultad humana de pensar y razonar.

36

Conclusin Si uno mismo analiza la historia, la razn siempre ha salido ganando. Parte del conocimiento humano est escrito en un enorme libro abierto continuamente ante nuestros ojos, me refiero al universo. Pero uno no puede entenderlo, uno debe aprender la lengua y reconocer los caracteres para poder entender el lenguaje en el que est escrito. La razn es aquello que nos dice cmo funcionan las cosas, quines somos. Sin un conocimiento riguroso de la lgica, las personas podran tener dificultades para razonar, pero esto no significa que estamos inhabilitados para razonar hasta que aprendamos de ella, sino ms bien significa, que aprendiendo de lgica, podemos razonar mejor, de manera ms efectiva, ante cualquier conocimiento, idea, relacin o pensamiento, algo esencial para nuestra supervivencia como seres humanos. La clave del xito en la razn es que est sostenida de la realidad misma.

37

Unidad 4: lgebra Booleana. 1. Calcular la expresin X = (((A+B)C) + ((CD)+B)). X = (((A + B)C) + ((CD) + B)) X = (((A + B)C) + ((CD) + B)) X = (A + B) C) + (CD + B) X = A + B + C + CD + B X = A + C + D 2. Analizar el siguiente diagrama.

3. Analizar y resolver el siguiente diagrama.

38

X = ABBC + BBC X = ABC + BBC X = ABC + 0C X = ABC + 0 X = ABC 4. Resolver y analizar el siguiente circuito.

X = (A + AB) + (B(C + D)) X = (A + B) + (B(C + D)) X = (A + B) + (BC + BD) X = A + B + BC + BD X = A + B + C + BD X = A + B + BD + C X=A+B+D+C

39

5. Simplificar la siguiente expresin. X = ABCD + ABCD + ABCD + ABCD + ABCD + ABCD.

X = ABD + ABC + CD. 6. Simplificar la siguiente expresin. Z = BCD + BCD + CD + BCD + ABC.

X = C + AB + BD. 7. Simplificar las siguientes expresiones haciendo uso de teoremas y postulados del lgebra de Boole. 1) Solucin: ((A + B)C)(ABCDC + ABCDB), (A+B)C(0 + 0) = 0.

40

2) Solucin: (AB)C + (AB(CD) + (CB), A + BC + (A + B)(C + D) + (CB), (AC) + BC + AC + (AD) + BC + (BD) + (CB), A + B + C + (AD) + (BD) = A + B + C. 3) Solucin: (AB + AB + ABC + AC + ABC + AC)(A + B + C)(A + B + C), (AB + ABC + AC)(A + AB + AC + BA + 0 + BC + AC + BC + 0), (AB + AC)(A + BC + BC), AB + ABBC + ABBC + AC + ACBC + ABC AB + AC + ABC = AB + AC = A(B+C). d) Solucin: AB(CD + C + D), ABCD + ABC + ABD, ABCD + ABCD + ABCD + ABCD + ABCD, ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD.

41

8. Se desea disear un circuito lgico que permita realizar la tabla de verdad mostrada a continuacin. Encuentre la funcin booleana ms simple que la caracterice.

F = ABCD = ABCD. 9. Simplifique la siguiente funcin utilizando mapas de Karnaugh. CD 1 CD CD CD 1 1 1

1 1 Resultado: BD + ABC.

42

10. Dada una funcin, obtener los siguientes incisos.

a) Obtener su tabla de verdad, dando valores a cada una de las variables sin simplificar. A 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 A + B 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 A + BC 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 A 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 BD 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 CD 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 F 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 Resultado 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1

Resultado: A(C + D)(B + D). b) A partir de la tabla de verdad, obtenga la expresin en maxi-trmino de la funcin y simplifquela mediante el mtodo de Karnaugh.

00 00 01 11 10 1 1 1

01 1 1

11 1 1 1 1

10 1 1 1

43

11. Resumen de la unidad. El lgebra Booleana. En 1860 George Boole desarroll un estilo de lgebra en la que los valores de A y B slo podan ser verdadero o falso o bien 1 y 0. Esta se llama de lgebra de Boole y se utiliza en la electrnica digital. Operaciones dentro del lgebra de Boole. Suma Booleana es la funcin lgica OR. X = A + B. Multiplicacin Booleana es la funcin lgica AND. X = AB. 1) Propiedad conmutativa de la suma. A + B = B + A. 2) Conmutativa del producto. AB = BA.

3) Asociativa de la suma. A + (B + C) = (A + B) + C. 4) Asociativa del producto. A(BC) = (AB)C.

44

Simplificaciones Booleanas. 1) A + 0 = A. 2) A + 1 = 1. 3) A0 = 0. 4) A1 = A. 5) A + A = A. 6) A + A = 1. 7) AA= A. 8) AA = 0. 9) A = A. 10) A + AB = A. 11) A + AB = A + B (absorcin). 12) (A + B)(A + C) = A + BC. De Morgan ayuda a simplificar circuitos digitales usando NORs y NANDs. AB=A+B A+B=AB Funciona igual para ms de 2 variables. Ejemplo: A +B +C + D = A B C D. Expresiones Booleanas en tablas de verdad. Las tablas de verdad son un medio para describir la manera en que la salida de un circuito lgico depende de los niveles lgicos que haya en la entrada del circuito. En una tabla se muestra que ocurre al estado de salida con cualquier grupo de condiciones de entrada, los verdaderos valores de salida dependern del tipo de circuito lgico. El nmero de combinaciones de entrada ser igual a 2 para una tabla de verdad con "n" entradas. 1) Suma de productos. Cuando ABCD es igual a 1111, el producto ABCD es 1. Cuando ABCD es igual 1110, el producto ABCD es 1. Y as sucesivamente resultando: ABCD + ABCD + ABCD + ABCD = 1.

45

2) Producto de sumas. Cuando ABCD es igual a 0010, la suma A+B+C+D es 0. Cuando ABCD es igual a 0100, la suma A+B+C+D es 0. Y as sucesivamente resultando: (A + B + C + D)(A + B + C + D)(A + B + C + D)(A + B + C + D)(A + B+ C + D) = 0. Minimizacin de funciones lgicas (Mapas de Karnaugh). Los mapas de Karnaugh se utilizan para minimizar el nmero de puertas requeridas en un circuito digital. Se crea una tabla con tantas celdas como sumas de productos posibles, teniendo en cuenta el nmero de variables que utilice. Pasos para simplificar con mapas de Karnaugh. 1) Realizar agrupaciones de unos siempre en cantidades de potencia 2. 2) No dejar ningn uno sin agrupar. Puede ocurrir que un uno pertenezca a ms de una agrupacin. 3) Por cada agrupacin de unos resulta un producto de variables. Cuanto ms unos se agrupen, ms sencilla resultar la expresin de esa agrupacin. 4) En cada agrupacin, cada una de las variables puede aparecer en alguno de los siguientes casos: a) Si siempre vale 1. Afirmamos la expresin. b) Si siempre vale 0. Negamos la expresin. c) Si cambia de valor. No se tomar en cuenta. 5) La expresin de la funcin booleana ser la suma lgica de todos los productos que hayan salido.

46

Ejemplo: Z = BCD + BCD + CD + BCD + ABC. CD 00 AB 00 AB 01 AB 11 AB 10 Resultado: X = C + AB + BD. 1 1 1 1 1 CD 01 CD 11 1 1 1 1 CD 10 1 1 1

47

12. Ensayo de la unidad. Introduccin El lgebra booleana, tambin conocida como lgebra de Boole, fue estudiada por primera vez con detalle por el matemtico George Boole, complementando las matemticas de tal forma que ha llegado a ocupar un lugar prominente dentro del rea de las computadoras digitales. A continuacin se introducirn algunas aplicaciones y por qu es tan importante el uso del lgebra Booleana dentro del rea de las ciencias de la computacin.

48

Objetivo El objetivo del presente ensayo, es entender, aprender y recordar la importancia del lgebra Booleana dentro del rea de Sistemas Computacionales, no slo por el estudio de la carrera, sino tambin por el hecho de que a travs de ella se han obtenido grandes avances tecnolgicos dentro de la electrnica digital. Es tambin un proyecto de entrega para la calificacin final de la unidad lgebra de Boole en matemticas discretas para la Ingeniera. Adems, la bsqueda y recaudacin de informacin acerca del tema, puede servirnos de motivacin para orientarnos en nuestro camino profesional, conociendo la demanda de aplicaciones que le sobrellevan. As podra inducirnos a escudriar con ms inters el tema.

49

Desarrollo

El lgebra booleana nos permite desarrollar habilidades del pensamiento, abstraccin, y resolucin de problemas, mediante la creacin de circuitos sencillos como en el caso de la construccin de un circuito sencillo para un invernadero, utilizando dispositivos de automatizacin y sensores que permitan nivelar la temperatura, la luz, la humedad, el riego entre muchas otras. Otro ejemplo es automatizar una bomba de agua de una casa o algn lugar. Donde el flujo del agua se active conforme a un horario programado. Tambin podramos construir circuitos controladores de un proceso de produccin que implique la sincronizacin total entre cada mdulo de modo que el trabajo sea ms eficiente. Dentro de estos y muchos otros espacios se puede aplicar el uso de circuitos lgicos, tanto en el trabajo como en las reas de la vida cotidiana. Todos estos circuitos tan tiles son construidos en base a la simplificacin booleana, como lo hemos visto anteriormente, sta nos ayuda a realizar clculos que determinan si una salida en un circuito es positiva o negativa, y cmo interactan estos durante el recorrido entrada-salida con otros circuitos. Un ejemplo esencial sobre el uso del lgebra Booleana dentro de la carrera de Sistemas Computacionales es en la programacin, cuando tenemos un conjunto de bloques de sentencias if que reciben valores booleanos en cadena; a veces, podra ser tan confuso el trabajo, que podra ser necesario simplificar por medio de mtodos Booleanos. Podemos entender ms su gran aplicacin, prestando nuestra atencin en lo que hacemos diariamente. Es sumamente fcil darse cuenta que a diario utilizamos el lgebra Booleana, aunque no lo hacemos con variables, como lo es en dicha disciplina. Me refiero a la toma de decisiones. Es usada ampliamente en el diseo de circuitos de distribucin y computadoras, y sus aplicaciones van en aumento en muchas otras reas. En el nivel de lgica digital de una computadora, lo que comnmente se llama hardware, y que est formado por los componentes electrnicos de la mquina, se trabaja con diferencias de tensin, las cuales generan funciones que son calculadas por los circuitos que forman el nivel. stas funciones, en la etapa de disea del hardware, son interpretadas como funciones de Boole.

50

Conclusin

En conclusin, el lgebra de Boole hoy en da se encuentra en todas partes, la tecnologa que vemos ahora no existira sin ella, pues todo circuito electrnico ha sido elaborado gracias al descubrimiento y conocimiento de sus temas. Tiene gran variedad de aplicaciones en reas muy complejas como lo es en la programacin, el diseo fsico de un ordenador, entre muchas otras reas. En definitiva, para poder ser creador de cualquier aparato elctrico, es necesario saber simplificar expresiones booleanas, ya que estos trabajan a travs de tensiones elctricas y es el lgebra Booleana la que trabaja dichas tensiones con variables, de donde se define todo valor de tensin que habr en cada circuito dentro de l.

51

Unidad V: Relaciones. 1. Sea A = {1,2,3}. Obtener las relaciones, reflexiva, no reflexiva y simtrica. A = {(1,1),(1,2),(1,3),(2,2),(2,3),(3,3)} Reflexiva: {(1,1),(2,2),(3,3)} Simtrica: {(1,2),(2,1),(3,1),(3,1)} X=Y 1 0 0 0 1 0 0 0 1

Simtrica y reflexiva. X <= Y 1 0 0 1 1 0 1 1 1

Reflexiva. X<Y 0 0 0 1 0 0 1 1 0

No reflexiva.

52

2. Resolver el siguiente problema. Sea U = {1,2,3,4,5,6,7,8}, Sea A = {1,2,3,4}, Sea B = {3,4,6,8,9,12,15,16 }. Encontrar la relacin tal que A divida a B. A / B = {(1,3),(1,4),(2,4),(2,6),(2,8),(3,3)(3,6),(4,4),(4,8)}. 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0

No simtrica, no reflexiva, no transitiva. 3. Resolver el siguiente problema. Sea A = {a,b,c,d}, Sea R = {(a,a),(a,b),(a,c),(b,c),(c,d),(d,d), Defina las propiedades de la relacin: No transitiva, no simtrica, no equivalente. Dibujar el dgrafo de R y la matriz MR. 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1

53

4. Del ejercicio anterior, encontrar la cerradura reflexiva. 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1

Unin: 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1

Es igual: 1 0 0 0 1 1 0 0 1 1 1 0 0 0 1 1

5. Del ejercicio anterior, encontrar la cerradura simtrica. 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1

Unin: 0 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0

Es igual: 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

54

6. Resolver el siguiente problema. Sea A = {2,4,6,8}, Sea R = {(2,2),(2,4),(2,6),(2,8),(4,4),(4,2),(4,8),(6,8),(8,1),(8,2)}, Determinar si la relacin es de equivalencia o si es de orden parcial, dbil o estricta. Realice las cerraduras necesarias para convertir en defectuosa equivalencia si es que no lo es. 1 1 0 1 1 1 0 0 1 0 0 0 1 1 1 1

Unin: 0 0 1 0 0 0 1 1 0 1 1 1 0 0 0 0

Es igual: 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

55

7. Resumen de la unidad. Introduccin Un conjunto es cualquier coleccin de objetos o individuos; se denota con letras maysculas. Un elemento es cierto individuo dentro de un conjunto; se denota con letras minsculas. Ejemplo: A = {1, 2, 3, 4, 5} Operaciones con conjuntos: Axioma de intencionalidad: Donde dos conjuntos A y B son iguales si y slo si tienen los mismos miembros. Esto es: A = B (x A x B). Subconjunto: Sean A y B dos conjuntos; al conjunto A se le llama subconjunto de B si todo elemento si todo elemento de A es tambin elemento de B. Sin embargo, no necesariamente todo elemento de tiene que ser elemento de A. Subconjunto propio: Un conjunto A es un subconjunto propio de B si A es subconjunto de B, pero no igual a B. Esto es: (A B) (A B) ^ (A B). Conjunto potencia: Se refiere al conjunto de subconjuntos dentro de un conjunto A. Definicin: 2^(n). Donde n se refiere al nmero de elementos dentro del conjunto. Cardinalidad de un conjunto: Representa el nmero de elementos dentro de un conjunto A. Sean A y B dos conjuntos. Interseccin: El conjunto A B que se lee A interseccin B, es el conjunto que contiene todos los elementos comunes de ambos conjuntos A y B. Unin: El conjunto A U B que se lee A unin B, es el conjunto de todos los eleme ntos que pertenecen a A y B. Todo elemento comn ser contado como un mismo elemento. Diferencia: El conjunto A B que se lee diferencia de A y B es el conjunto de todos los elementos que pertenecen a A y no pertenecen a B.

56

Complemento: El complemento de A (A) es el conjunto de todos los elementos que no pertenecen a A. Tuplas: Son objetos colocados en cierto orden (x, y) utilizados para organizar datos. Producto cartesiano: Es el conjunto de todos los pares posibles que se pueden obtener. Relaciones Son conjuntos, por tanto estos pueden usarse para representar relaciones. Una relacin n-aria es un conjunto de Tuplas: Sean A y B dos conjuntos, una relacin de A en B es cualquier conjunto de pares (x, y), x A e y B. Si (x, y) R diremos que x est relacionado con y. Todo predicado define una relacin y toda relacin define un predicado. Expresamos una relacin con el smbolo . Estas se pueden representar en forma tabular (tablas), matricial (matrices) o grfica. Para representar relaciones en tablas o matrices se utilizan las columnas para representar si existe una relacin con un elemento dado de otro conjunto (filas). Para la representacin grfica representamos cada conjunto de la siguiente forma. Si el par x A e y B est en relacin, se dibujan crculos para cada elemento de A y B (nodos) y se conectan entre s mediante lneas rectas (arcos).

57

Representacin de relaciones: Con Tuplas: Ejemplo: Sea A = {1, 2, 3, 4} Su representacin mediante Tuplas es: {(1,1),(1,2),(1,3),(1,4),(2,2),(2,3),(2,4),(3,3),(3,4),(4,4)} Con matrices:

De forma grfica:

Propiedades de las relaciones (Reflexiva, simtrica, transitiva): Reflexiva: Una relacin R es reflexiva sobre X si para cada x X, el par (x, x) est en la relacin. (R es reflexiva, por lo tanto x (xRx). De modo que xRx es verdadera para todo valor de x. En caso totalmente contrario (si xRx es falsa para todo x) de modo que ninguna se cumple, es una relacin no reflexiva. Si xRx es cierta para algunas x y falsa para otras, entonces R no es ni reflexiva ni no reflexiva. Ejemplos:

58

Simtrica: Una relacin R sobre un conjunto X es simtrica si, para todo x e y perteneciente a X, xRy implica yRx. De modo que R es simtrica si x y (xRy yRx). Por ejemplo: la relacin = es simtrica mientras que < no lo es. En el caso contrario se dice que es una relacin anti simtrica. Ejemplos:

Transitiva: Una relacin R es transitiva sobre un conjunto X si, para todo x, y, z en X, siempre que xRy e yRz, entonces xRz. De modo que R es transitiva si x, y, z (xRy e yRz xRz). Por ejemplo: la relacin < es transitiva ya que todos los pares de objetos pueden ser alcanzados directamente y a travs de un intermediario. Cerradura: Es la relacin ms pequea que contiene a R como subconjunto. R (r) = R IA, donde IA: es la relacin identidad. Esta es la que contiene todos los pares (x, x) con x B. El cierre simtrico de una relacin es la relacin ms pequea que contiene a R como subconjunto. R(s) = R R~, donde R~ es la relacin inversa. Esta se define como {(y, x) | (x, y) R}. Se aaden Tuplas como sea posible para convertir R en reflexiva y simtrica. Relacin de equivalencia: Se llama as si la relacin es reflexiva, simtrica y transitiva. Orden parcial: Una relacin se denomina un orden parcial dbil si es reflexiva, simtrica y transitiva, en caso contrario se denomina orden parcial estricto. Diagrama de Hasse: Es un grafo de reduccin transitiva de R1. Ejemplo de un diagrama que la relacin de un subconjunto sobre el conjunto potencia de A = {a, b, c}.

59

Reduccin transitiva: 0, {a}, {b}, {c}, {a,b}, {a,c}, {b,c}, {a, b, c}.

60

8. Ensayo de la unidad. Introduccin

Las relaciones entre dos o ms conjuntos son frecuentes tanto en las Matemticas como en sus aplicaciones, especialmente en Informtica. Ejemplos prcticos de relaciones son las de orden y divisibilidad entre nmeros, las relaciones de equivalencia entre los datos de entrada de un programa en cuanto a la deteccin de posibles errores de programacin (validacin de programas), la relacin de dependencia entre las distintas fases produccin en una industria o la agrupacin de datos aislados en complejas bases de datos con relaciones de dependencia entre sus campos. Desde el punto de vista matemtico, estas relaciones se pueden describir simplemente como subconjuntos de un cierto producto cartesiano. De entre los diversos tipos de relaciones, las funciones pueden considerarse un caso especial en donde se interpreta que uno de los campos es el resultado de realizar una cierta operacin con el resto. Asimismo, las relaciones de equivalencia describen similitudes entre elementos con respecto a una propiedad particular, y las relaciones de orden establecen una jerarqua con respecto a un criterio fijado. Por ltimo, las relaciones entre mltiples conjuntos son el fundamento matemtico del modelo relacional de bases de datos, que es el ms extendido hoy en da por su simplicidad, su potencia y su coherencia terica y prctica. Nos permiten establecer relaciones entre elementos de un conjunto que comparten ciertas caractersticas y propiedades. Permite reagrupar dichos elementos en clases de equivalencia, es decir, paquetes de elementos similares. Llevan consigo, grandes aplicaciones dentro de la vida cotidiana y el trabajo. Una de las caractersticas ms importantes en las relaciones de equivalencia, cuyas son de mucha ayuda en la resolucin de problemas es que abstraen el concepto de igualdad. Posibilita la construccin de nuevos conjuntos aadiendo todos los elementos de una misma clase como un solo elemento que los representar y que define la nocin de conjunto cociente. En este caso hablaremos de sus aplicaciones en la programacin y la computacin, como se menciona en el ttulo del presente ensayo.

61

Objetivo

El objetivo del presente ensayo, es escudriar y entender la importancia de las relaciones de equivalencia dentro de las ciencias de la computacin, para en un futuro aplicarlas dentro de un conjunto finito de problemas que se presentan durante la vida cotidiana y el trabajo. Es tambin un proyecto de entrega y razn de bsqueda para alcanzar algo ms de conocimiento y comprensin en el intelecto estudiantil.

62

Desarrollo

Las relaciones de equivalencia son un concepto matemtico denido sobre un conjunto dado cualquiera. Como tantos otros conceptos matemticos, est basado en una idea intuitiva, la representacin de relaciones del tipo: ciudades en una misma regin, alumnos de la misma clase, instrucciones dentro del mismo bloque de cdigo etc. Es una de las herramientas ms potentes e importantes que se estudian en cursos avanzados de matemticas. Las propiedades de las relaciones de equivalencia son de mucha ayuda para trabajar con los ejemplos mencionados anteriormente. Por ejemplo: La propiedad reflexiva significa que una ciudad est en la misma regin que ella misma, la simtrica dira que si la ciudad a est en la misma regin que b, entonces b est en la misma regin que a; y la transitiva, que si a est en misma regin que b, y est en la misma que c, entonces a y c estn en la misma regin. Las tres se cumplen de manera trivial. Tienen diversas aplicaciones dentro de la computacin, lo que nos hace socorrer a ella y sus conocimientos. Una de las aplicaciones ms importantes de las relaciones de equivalencia dentro de la informtica es el procesamiento de imgenes digitales. Los pixeles dentro de ella son considerados una matriz, y las clases de equivalencia son las regiones contiguas y del mismo color. En esta aplicacin, el clculo y la modicacin de las clases de equivalencia podran tener diversos propsitos. Por ejemplo, si queremos rellenar una regin de color tendramos que buscar la clase de equivalencia del punto sobre el que se aplica el rellenado y aplicar la operacin, pero tras aplicar la operacin pueden ocurrir cambios en las clases de equivalencia, que deberan tenerse en cuenta posteriormente. En todas estas aplicaciones, las relaciones de equivalencia estn denidas sobre un conjunto nito, y pueden variar dinmicamente a lo largo del tiempo.

63

Conclusin

Como programadores debemos estudiar la implementacin eficiente de las relaciones de equivalencia definidas sobre conjuntos finitos. Como lo vimos anteriormente, tiene muchas aplicaciones dentro de la computacin, conociendo el tema y ms que nada comprendindolo, podremos socorrer a su conocimiento no slo para facilitar el problema, sino para poder realizarlo.

64

Unidad 6. Grafos. 1. Demostrar el teorema dado en el siguiente grafo.

A B F

Gr(C) = 2 | E | = 2(15) = 30 2. Determinar los grados de entrada y de salida del siguiente grafo. Gr(a) = 3 Gr(b) = 1 Gr(c) = 1 Gr(d) = 2 Gr(e) = 0 Gs(a) = 0 Gs(b) = 3 Gs(c) = 2 Gs(d) = 2 Gs(e) = 2
A B

65

3. Determinar los grados mencionados anteriormente en el siguiente grafo. Gr(f) = 2 Gr(g) = 0 Gr(h) = 3 Gs(f) = 1 Gs(g) = 2 Gs(h) = 1
F G

4. Determinar la matriz de adyacencia de los siguientes grafos. 1) K4.

66

2) C4.

Matriz de adyacencia. 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0

3) W3.

67

Matriz de adyacencia. 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0

4) K(3,2).

Matriz de adyacencia. 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 1 1 1 0

68

5. Utilizar la matriz de adyacencia para representar los grafos de las siguientes figuras. 1)

Matriz de adyacencia. 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0

69

2)

Matriz de adyacencia. 0 1 0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0

70

6. Construir la matriz de incidencia de los siguientes grafos. 1) K4.

Matriz de incidencia. 1 1 0 0 0 1 0 1 0 0 1 1 1 0 1 0 1 0 0 1 0 1 1 0

71

7. Construir el rbol generador de G.

Amplitud.

72

Profundidad.

73

8. Por medio de bsqueda en amplitud y profundidad generar los rboles correspondientes de G.

4 6 10 12

5 8 11

74

Amplitud.

4 6 12

75

Profundidad.

4 10 12

5 11

76

9. Determinar el rbol de mnima expresin.

10. Dibujar el rbol sintctico de las siguientes expresiones y realizar los recorridos, inorden, preorden y postorden. 1) ((a + b) * c) + (c / d) - (f * g)).

2. ((5 * 3) / 5) * ((20 - 4) * (16 / 4)).

77