DMATIC.ETS Ingenieros Informticos. UPM.

22 de octubre de 2015

MATEMTICA DISCRETA I
PRIMER CONTROL (Soluciones)
Ejercicio 1 (8 puntos)
a)

Define por extensin el conjunto = {5 3 | , 5 3} y obtn el cardinal del

conjunto = {5 3 | , 3072 7527}.

b) En el conjunto Z se define la relacin ab 2 2 = 3( ). Averigua si se trata de una

relacin de equivalencia y, de ser cierto, encuentra la clase de equivalencia del 2.

c)

Demuestra, por induccin, que se verifica la igualdad

( + 2) = 3 + 8 + 15 + + ( + 2) =

=1

Solucin
a)
b)

( + 1)(2 + 7)
6

= {5 3 | , 5 3} = {28, 23, 18, 13, 8, 3, 2, 7, 12}

= {5 3 | , 3072 7527} = 3072 + 1 + 7527 = 10600

2 2 = 3( b) 2 3b (2 3) = 0 = , = 3
2 2 4 = 3( 2) 2 3 + 2 = 0 = 1, = 2

c)

[] = {, 3 },

Si n = 1,

( + 2) = 3 =

=1

Supongamos cierto para la suma hasta k = n y sea

+1

[2] = {1, 2}

1(1 + 1)(2 + 7)
6

( + 1)(2 + 7)
+ ( + 1)( + 3) =
6
=0
=0
( + 1)
( + 1)
( + 1)
(22 + 13 + 18) =
( + 2)(2 + 9) =
( + 1) + 1(2( + 1) + 7)
=
6
6
6
( + 2) = ( + 2) + ( + 1)( + 3) =

Ejercicio 2 (14 puntos)

Sea D 200 el conjunto de todos los divisores de 200, y | la relacin de divisibilidad dada por a|b
si y slo si a divide a b.
a)

Dibuja el diagrama de Hasse del conjunto ordenado (D 200 {1}, | ).

b) Obtn las cotas superiores, cotas inferiores, supremo e nfimo, si los hay, del subconjunto
B = {10, 40, 50} D 200 {1}.
c)

Obtn los maximales, minimales, mximo y mnimo, si los hay, del conjunto D 200 {1}.

d) Razona si (D 200 {1}, | ) es retculo.

e)

Razona si (D 200 , | ) es retculo complementario, y en caso de no serlo dar un elemento que

no tenga complementario y otro que s lo tenga (indicando cual es su complementario).

Observaciones:
TIEMPO: 2:00 horas
Justificar todas las respuestas.
Slo se valorarn aquellas respuestas que utilicen los mtodos desarrollados en esta asignatura.
No est permitido el uso de calculadoras, ordenadores personales, ni telfonos mviles.

DMATIC.ETS Ingenieros Informticos. UPM.

22 de octubre de 2015

MATEMTICA DISCRETA I
PRIMER CONTROL (Soluciones)
f) Dibuja el diagrama de Hasse de un conjunto ordenado X donde haya un subconjunto Y de
dos elementos que tenga cotas inferiores pero no tenga nfimo, y sin embargo el conjunto
X tenga mximo y mnimo. Puede ser X retculo?
Solucin
a)

N = 200 = 23 52

b)

cotas superiores B = {200}, cotas inferiores B = {2, 5, 10}. Supremo B = 200, nfimo B = 10

c)

Maximales D 200 {1} = {200}, minimales D 200 {1}= {2, 5}

mximo D 200 {1} = 200, no existe mnimo D 200 {1}

d)

(D 200 {1}, | ) no es retculo porque no existe inf {2, 5}

e)

(D 200 , | ) no es retculo complementario, ya que los elementos 2, 4, 5, 10, 20, 40, 50, 100
no tienen complementario. 1= 200, 8= 25

f)

X = {0, a, b, c, d, 1}

Y = {a, b}, cotas inferiores Y = {c, d, 0}, no existe inf Y

X no es retculo porque no existe inf {a, b}

Ejercicio 3 (10 puntos)

Un hotel rural dispone de 16 habitaciones numeradas del 0 al 15, entre las que hay
habitaciones dobles y sencillas. Las habitaciones dobles son las numeradas como: 1, 4, 6, 8, 11,
12, 14 y 15, siendo sencillas el resto de habitaciones.
a)

Disea una funcin booleana que determine cundo una habitacin es doble o sencilla
(contestando 1 cuando es doble y 0 cuando es sencilla), y obtn su expresin elemental
(como suma de productos elementales).

b) Simplifica dicha funcin obteniendo su expresin como mnima suma de productos

utilizando el mtodo de Quine-McCluskey.

DMATIC.ETS Ingenieros Informticos. UPM.

22 de octubre de 2015

MATEMTICA DISCRETA I
PRIMER CONTROL (Soluciones)
Solucin
a)

x y z t f (x, y, z, t)

0000

0001

0010

0011

0100

0101

0110

0111

1000

1001

10

1010

11

1011

12

1100

13

1101

14

1110

15

1111

f(x, y, z, t) = xyzt + xy zt + xy z t+ x yzt+ x yz t + x y zt+ x y z t+ x y z t

b)

Mtodo de Quine-McCluskey:

xyzt
1111 *
-----1110 *
1011 *
-----1100 *
0110 *
-----1000 *
0100 *
0001

xyzt
111
111
-----110 *
110 *
-----100
100 *
010 *

xyzt
10

1111 1110 1100 1011 1000 0110 0100 0001

0001

100

111

111

10

La expresin booleana mnima, en forma de suma de productos, para la funcin f es

f(x, y, z, t) = y t + x z t + x z t + x y z t

DMATIC.ETS Ingenieros Informticos. UPM.

22 de octubre de 2015

MATEMTICA DISCRETA I
PRIMER CONTROL (Soluciones)

Ejercicio 4 (8 puntos)
Una patrulla de la polica municipal de una ciudad ha impuesto sanciones de trfico por valor
de 3700 , sabiendo que la sancin por exceso de velocidad es de 600 y la sancin por
aparcamiento indebido es de 250 , averigua, utilizando el algoritmo de Euclides, cuntas
sanciones ha impuesto de cada uno de los dos tipos.
Solucin
Sea x el nmero de sanciones por exceso de velocidad, e y el nmero de sanciones por
aparcamiento indebido, entonces hay que resolver la ecuacin diofntica 600 + 250 = 3700

Se calcula el mximo comn divisor de los coeficientes y se comprueba que la ecuacin tiene
600 = 250 . 2 + 100
solucin:
(600, 250) = 50|3700 , luego la ecuacin tiene solucin.
250 = 100 . 2 + 50
50 = 250 100 . 2 = 2 . 600 + 5 . 250 3700 = 148 . 600 + 370 . 250

La solucin general de la ecuacin es:

= 148 + 5
= 370 12

Los valores de e deben ser enteros y no negativos:

= 148 + 5 0

= 370 12 0

148
29,6

=2
5
= 30

= 10
370

30,8
12

Por tanto, impuso 2 sanciones por exceso de velocidad y 10 sanciones por aparcamiento
indebido.