TEMA: RELACIONES MATRICES BOOLEANAS CERRADURA TRANSITIVA

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

Prof. Mag. Guillermo Antonio Mas Azahuanche

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:

Prof. Mag. Guillermo Antonio Mas Azahuanche

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.

a. Figura 1 Rta: Antisimtrica, transitiva. b.

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.

Prof. Mag. Guillermo Antonio Mas Azahuanche

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: simtrica, transitiva. i. S = {1, 2, 3, 4}, A = S S; (a, b) R (c, d) si y slo si ad = bc.

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.

Prof. Mag. Guillermo Antonio Mas Azahuanche

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.

Prof. Mag. Guillermo Antonio Mas Azahuanche

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}

Prof. Mag. Guillermo Antonio Mas Azahuanche

Problema N 12: Sea A 2 , 4 , 6 , 9, 18, 24 si solo si 2 x a) R , S e) R S f) R

y sean R y S las relaciones siguientes en A: x R y

y , para todo valor . Calcular:

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

0 , 0 ,1,1,1,1, 0 ,1, 0 ,1,1,1, 0 ,1, 0 ,1

m 7, 9, 10, 11, 14, 15

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

Prof. Mag. Guillermo Antonio Mas Azahuanche