Laboratorio No 2 - 2012-I-SOLUCION
Laboratorio No 2 - 2012-I-SOLUCION
Laboratorio No 2 - 2012-I-SOLUCION
Problema N 1: En cada parte, calcular A B, A B, y A B para las matrices dadas A y B. Compruebe los resultados dados usando los Software libre que se ha dejado en el aula virtual, grafique sus respuestas.
a)
A=
1 0 0 1
yB=
1 1 0 1
Rpta : A
B=
1 1 ;A 0 1
B=
1 0 0 1
;A
B=
1 1 0 1
b)
A=
1 1 0 0 yB= 1 1 0 1
Rpta : A
B=
1 1 1 1
;A
B=
0 0 0 1
;A
B=
1 1 1 1
c)
A=
1 1 1 1
yB=
0 0 1 0
Rta : A
B=
1 1 1 1
;A
B=
0 0 1 0
;A
B=
1 0 1 0
1 0 0
1 1 1 1 0 1
1 1 1 1 0 0 1 1 1
d)
A= 0 1 1 yB= 0 0 1
1 0 0
Rta : A
B= 0 1 1 ;A
1 0 1
B= 0 0 1 ;A
1 0 0
B= 1 0 1
1 1 1
0 0 1
0 1 1 1 0 1
e)
A= 1 1 0 yB= 1 1 0
1 0 0
0 1 1
0 0 1
1 0 1
Rta : A
B= 1 1 0 ;A
1 0 1
B= 1 1 0 ;A
1 0 0
B= 1 1 1
0 1 1
1 0 0
1 1 1
f)
A= 0 0 1
1 0 1
B= 1 1 1
1 0 0
1 1 1
1 0 0
1 1 1
Rta : A
B= 1 1 1 ;A
1 0 1
B= 0 0 1 ;A
1 0 0
B= 1 0 0
1 1 1
Problema N 2: sea A = {1, 2, 3, 4}. Determinar si la relacin es reflexiva, simtrica, antisimtrica o transitiva. a. R = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 3), (3, 4),(4, 3), (4, 4)} Rta: Reflexiva, simtrica, transitiva. b. R = {(1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4)} Rta: Antisimtrica, transitiva. c. R = {(1, 3), (1, 1), (3, 1), (1, 2), (3, 3), (4, 4)} Rta: Ninguna. d. R = {(1, 1), (2, 2), (3, 3)} Rta: Reflexiva, simtrica, antisimtrica, transitiva. e. R= Rta: Simtrica, antisimtrica, transitiva. f. R=A A Rta: Reflexiva, simtrica, transitiva. g. R = {(1, 2), (1, 3), (3, 1), (1, 1), (3, 3), (3, 2), (1, 4), (4, 2), (3, 4)} Rta: Transitiva. h. R = {(1, 3), (4, 2), (2, 4), (3, 1), (2, 2)} Rta: Simtrica. Problema N 3:
En los ejercicios a y b, sea A = {1, 2, 3, 4, 5}. Determinar si la relacin R cuyo digrafo se da es reflexiva, simtrica, antisimtrica o transitiva.
Figura 2 Rta: Antisimtrica. Problema N 4: En los ejercicios a y b, sea A = {1, 2, 3, 4}. Determinar si la relacin R cuya matriz se da es reflexiva, simtrica, antisimtrica o transitiva.
0 1 0 1
a.
MR =
1 0 1 1 0 1 0 0 1 1 0 0
Rta: Simtrica.
1 1 0 0
b.
MR =
1 1 0 0 0 0 1 0 0 0 0 1
Rta: Reflexiva, simtrica, transitiva. Problema N 5: En los ejercicios a a j, determinar si la relacin R en el conjunto A es reflexiva, simtrica, antisimtrica o transitiva. a. A = Z; a R b si y slo si a Rta: reflexiva. b. A = Z + ; a R b si y slo si Rta: reflexiva, simtrica. c. A = Z + ; a R b si y slo si a = bk para alguna k Rta: reflexiva, antisimtrica, transitiva. d. A = Z; a R b si y slo si a + b es par. Rta: reflexiva, simtrica, transitiva. e. A = Z; a R b si y slo si Rta: simtrica. f. A = R; a R b si y slo si a2 + b2 = 4. Rta: simtrica. g. A = Z +; a R b si y slo si MCD(a, b) = 1, donde MCD denota al mximo comn divisor. Rta: simtrica. h. A=R R; (a, b) R (c, d) si y slo si a = c. a - b = 2. Z+. a-b 2. b + 1.
Rta: reflexiva, simtrica, transitiva. Prof. Mag. Guillermo Antonio Mas Azahuanche 4
j.
A es el conjunto de todas las rectas del plano; r1 R r2 si y slo si r1 // r2. Rta: reflexiva, simtrica, transitiva. Problema N 6:
En los ejercicios a y b dibujar el digrafo "simplificado", esto es, sin flechas, de R. a. Sea R la siguiente relacin simtrica en el conjunto A = {1, 2, 3, 4, 5}: R = {(1, 2), (2, 1), (3, 4), (4, 3), (3, 5), (5, 3), (4, 5), (5, 4), (5, 5)}. Rta:
b.
Sea A = {a, b, c, d} y R la relacin simtrica en A dada por: R = {(a, b), (b, a), (a, c), (c, a), (a, d), (d, a)} Rta:
Problema N 7: En los ejercicios a y b considerar el digrafo que se muestra, que corresponde a una relacin simtrica R en A. Determinar la relacin R (hacer una lista de todos los pares). a.
Rta: R = {(1, 5), (5, 1), (1, 6), (6, 1), (5, 6), (6, 5), (1, 2), (2, 1), (2, 7), (7, 2), (2, 3), (3, 2)} b.
Rta: R = {(a, b), (b, a), (b, c), (c, b), (a, c), (c, a), (d, d), (d, e), (e, d)} Problema N 8: En los ejercicios a y b, sea A = {a, b, c}. Determinar si la relacin R, cuya matriz se proporciona, es una relacin de equivalencia.
1 0 0
a.
MR = 0 1 1 0 1 1
1 0 1
Rta: Si
b.
MR =
0 1 0 0 0 1
Rta: No
Problema N 9: En los ejercicios a y b, determinar si la relacin R cuyo digrafo se proporciona es una relacin de equivalencia. a.
Rta: Si b.
Rta: No Problema N 10: Sea R una relacin en X. Determinar si cada afirmacin es verdadera o falsa. Si la afirmacin es falsa, dar un contrajemplo. a. b. c. d. Si R es transitiva, entonces R -1 es transitiva. Si R es reflexiva, entonces R -1 es reflexiva. Si R es simtrica, entonces R -1 es simtrica. Si R es antisimtrica, entonces R -1 es antisimtrica.
Problema N 11: En los ejercicios a a h determinar si las siguientes relaciones son de equivalencia en A = {1, 2, 3, 4, 5}. a. b. c. d. e. f. g. h. {(1, 1), (2, 2), (3, 3), (4, 4), (5, 5), (1, 3), (3, 1)} {(1, 1), (2, 2), (3, 3), (4, 4), (5, 5), (1, 3), (3, 1), (3, 4), (4, 3)} {(1, 1), (2, 2), (3, 3), (4, 4)} {(1, 1), (2, 2), (3, 3), (4, 4), (5, 5), (1, 5), (5, 1), (3, 5), (5, 3), (1, 3), (3, 1)} {(x, y) / 1 x 5, 1 y 5} {(x, y) / 4 divide a x - y} {(x, y) / 3 divide a x + y} {(x, y) / x divide a 2 - y}
y ; x S y si solo si 3 x
b) M R
1
M S c) M R
M S d) R
1
S, R S
h) M R M S
, S
g) M R
MS
Primero, revulvalo usando el Software libre Algraf, y opine que otras operaciones booleanas, se pueden ejecutar al usar Algraf. Elaborar un programa en el lenguaje de programacin C++ y/o C#, en cada uno de los casos, luego para la conjuncin ( ), la disyuncin ( ) y producto de matrices booleanas. Problema N 13: Elaborar un programa en el lenguaje de programacin C++ y/o C#, para el producto de matrices en general Problema N 14: Un tribunal de seleccin para el ingreso en una facultad universitaria debe examinar los expedientes de un gran nmero de candidatos. El criterio de admisin es el siguiente: un alumno es admitido si y solamente si el candidato alcanza la nota mnima exigida en matemticas y en un mnimo de dos de las siguientes disciplinas: lengua, primer idioma extranjero y fsica. Escribe una expresin Booleana que efecte la seleccin, simplifcala y construye un circuito que efecte automticamente dicha seleccin. Problema N 13: Encuentre una representacin mediante una suma minimal ( la ms simple) usando mapas de Karnaugh. a) f w, x, y, z a) f w, x, y, z
c) Supongamos que f : G 4 G , est definida por el siguiente mapa de Karnaugh 000 001 011 010 110 111 101 100 00 1 1 1 1 1 1 01 1 1 1 11 1 1 1 1 1 1 1 10 1 1
Columnas adyacentes
filas adyacentes