Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ejercicios Tema 1 Sol
Ejercicios Tema 1 Sol
atica Discreta I
Tema 1 - Ejercicios resueltos
Relaciones de equivalencia
Ejercicio 1. En el conjunto N se define la relacion (a, b)R(c, d) ad = bc. Averigua si es de equivalencia
y si lo es calcula la clase del elemento (4, 8).
c
a
Soluci
on. Observamos primero que (a, b)R(c, d) ad = bc = (pues b, d 6= 0 ya que b, d N).
b
d
Comprobamos ahora que es relacion de equivalencia:
R es reflexiva: (a, b)R(a, b) ya que
a
a
= .
b
b
a
c
c
a
= = (c, d)R(a, b).
b
d
d
b
a
c
(a, b)R(c, d) =
a
e
bc de
R es transitiva:
= (a, b)R(e, f ).
b
f
(c, d)R(e, f ) =
d
f
R es simetrica: (a, b)R(c, d)
y=x
xy =0
o
o
.
xRy x2 y 2 = xy (x+y)(xy) = xy
y 6= x, y = 1 x
x y 6= 0 y x + y = 1
Por tanto, la clase de un elemento x es [x] = {x, 1 x} y el conjunto cociente es
{{0, 1}, {1, 2}, {2, 3}, {3, 4}, . . . }
que es equivalente al conjunto N = {1, 2, 3, 4, 5, . . . } pues cada clase tiene un representante en N y dos
elementos de N siempre estan en clases distintas.
3y + h
Ejercicio 5. En Q se define la relacion xRy h Z tal que x =
. Prueba que es de equivalencia.
3
2 4
Razona si los elementos y pertenecen a la misma clase.
3 5
Soluci
on. Comprobamos que es relacion de equivalencia:
3x + h
R es reflexiva: xRx ya que x =
para h = 0.
3
3y + h
3x + (h)
y=
con (h) Z yRx.
3
3
3z + h2
3y + h1
3
+ h1
xRy h1 Z | x =
3z + h2 + h1
3
3
x
=
R es transitiva:
=
con h2 +
3z + h2
3
3
yRz h2 Z | y =
3
h1 Z xRz.
2 4
2 4
Vamos a ver si los elementos y pertenecen a la misma clase, es decir, si se cumple que R :
3 5
3 5
4
3
+h
2 4
2
4
12
2
5
R h Z | =
2=3
+hh=2
= 6 Z .
3 5
3
3
5
5
5
2 4
Por tanto, y no pertenecen a la misma clase.
3 5
R es simetrica: xRy h Z | x =
Relaciones de orden
Ejercicio 1. Determina el orden lexicografico de las siguientes cadenas de bits: 001, 111, 010, 011, 000y100
basado en el orden 0 1. Dibujar el diagrama de Hasse de estas cadenas, ahora con el orden producto.
u111
Soluci
on. Con el orden lexicografico: 000 001 010 011 100 111.
El diagrama de Hasse con el orden producto es el de la figura.
u011
A
A
001 u Au010 u100
@
@
@u
000
Ejercicio 2. Sea S = {1, 2, 3, 4}. Con respecto al orden lexicografico basado en el orden usual :
a) Encontrar todos los pares en S S anteriores a (2, 3).
b) Encontrar todos los pares en S S posteriores a (3, 1).
c) Dibujar el diagrama de Hasse de (S S, Lex ).
u(4, 4)
u(4, 3)
u(4, 2)
u(4, 1)
u(3, 4)
u(3, 3)
u(3, 2)
u(3, 1)
u(2, 4)
u(2, 3)
u(2, 2)
u(2, 1)
u(1, 4)
u(1, 3)
u(1, 2)
u(1, 1)
Soluci
on. a) Los pares en S S anteriores a (2, 3) son:
(1, 1), (1, 2), (1, 3), (1, 4), (2, 1), (2, 2).
b) Los pares en S S posteriores a (3, 1) son
(3, 2), (3, 3), (3, 4), (4, 1), (4, 2), (4, 3), (4, 4).
b) El diagrama de Hasse de (S S, Lex ) es el de la figura.
Ejercicio 3. Hallar los elementos maximales, minimales, maximo y mnimo (si los hay) para los siguientes
conjuntos con el orden dado por el diagrama de Hasse:
a)
b)
ua
@
@
@
@
u
@uc
@
@
@
@
@u
@u
c)
au
ub
@
@
@ uc
@
@
u
@u
bu
du
@
@
ua
@
@
@ ue
@
@
d)
@uc
@u
Soluci
on. a) Maximales {a}, minimales {d, e}, maximo a, mnimo no hay.
b) Maximales {a, b}, minimales {d, e}, maximo no hay, mnimo no hay.
c) Maximales {a}, minimales {d, f }, maximo a, mnimo no hay.
d) Maximales {a, b}, minimales {c, d, e}, maximo no hay, mnimo no hay.
c u
ua
@
@
@u
ub
@
@
@u
Ejercicio 4. Hallar cotas superiores, cotas inferiores, supremo e nfimo del conjunto B (si los hay) en
cada uno de los siguientes casos:
b) a u
a)
ub
ua
c)
@
@
au
ub
@
@
@u
hc
@
@
@
@
@
u
h
he
@u
@
@
@
@
@u
@u
@u
c
@
@
@
@
@
u
h
he
@u
@
@
@
@
@h
uf
@ug
@
@
@u
B = {c, d, e}
u
h
c Z
ub
h
@
@
@u
h
d
Z
Z
Z
Z
Zu
u
B = {b, c, d}
B = {d, e, f }
Soluci
on. a) Cotas superiores {a, b, c}, cotas inferiores {f }, supremo c, nfimo no hay.
b) Cotas superiores {a, b, c}, cotas inferiores {h}, supremo a, nfimo f .
c) Cotas superiores {a, b}, cotas inferiores {e, f }, supremo b, nfimo no hay.
Ejercicio 5. Representar el diagrama de Hasse de los siguientes conjuntos ordenados y hallar los elementos
notables de los subconjuntos se
nalados:
a) (D60 , |), A = {2, 5, 6, 10, 12, 30} y B = {2, 3, 6, 10, 15, 30}.
b) (D48 , |), A = {2, 4, 6, 12} y B = {3, 6, 8, 16}.
c) (D40 , |), A = {4, 5, 10} y B = {2, 4, 8, 20}.
Soluci
on. Teniendo en cuenta que 60 = 22 3 5, 48 = 24 3 y 40 = 23 5, se tienen los siguientes diagramas
de Hasse:
b)
a)
12
4
u60
@
@
u
u20@ u30
@
@
@
@
@
@
u @
u @u10 @u15
6@
@
@
@
@
@
@
u 3@u @u5
2@
@
D60
@u
16
c)
u48
@
@
@ u
u
@ 24
@
@
@
@ u
@u
8@
@12
@
@
@u
@ u6
4@
@
@
@
@
u
@u3
2@
@
D48
@u
1
u40
@
@
@u
u
@20
@
@
@
@u
@ u10
4@
@
@
@
@
u
@u5
2@
@
D40
@u
a) Cotas superiores de A {60}, cotas inferiores de A {1}, sup A = 60, inf A = 1, no existe max A ni min A.
Cotas superiores de B {30, 60}, cotas inferiores de B {1}, sup B = 30, inf 1, max B = 30, no existe min B.
b) Cotas superiores de A {12, 24, 48}, cotas inferiores de A {1, 2}, sup A = max 12, inf A = min A = 2.
Cotas superiores de B {48}, cotas inferiores de B {1}, sup B = 48, inf B = 1, no existe max B ni min B.
c) Cotas superiores de A {20, 40}, cotas inferiores de A {1}, sup A = 20, inf A = 1, no existe max A ni
min A.
Cotas superiores de B {40}, cotas inferiores de B {1, 2}, sup B = 40, inf B = 2, no existe max B,
min B = 2.
Ejercicio 6. Hallar, si los hay, los elementos maximales, minimales, maximo y mnimo para los siguientes
conjuntos ordenados: a) (P(X), ), b) ((0, 1), ), c) (N, |), d) (N {1}, |).
Soluci
on. a) Maximales {X}, minimales {}, maximo X, mnimo .
b) Maximales y minimales no hay, no hay maximo ni mnimo.
c) Maximales no hay, minimales 1, no hay maximo, mnimo 1.
d) Maximales no hay, minimales {2, 3, 5, 7, 11, . . . } (conjunto de los n
umeros primos), no hay maximo ni
mnimo.
Ejercicio 7. En cada uno de los casos siguientes, dgase si el conjunto X tiene o no una cota inferior, y
si tiene alguna hallase su nfimo si existe:
a) X = {x Z | x2 16}, b) X = {x Z | x = 2y para alg
un y Z}, c) X = {x Z | x2 100x}.
Soluci
on. a) X = {x Z | x2 16} = {x Z | 4 x 4} = {4, 3, 2, 1, 0, 1, 2, 3, 4}.
Una cota inferior de X es 4, que es tambien el mnimo de X.
b) X = {x Z | x = 2y para alg
un y Z} = {x Z | x es par} = {. . . , 6, 4, 2, 0, 2, 4, 6, . . . }.
X no tiene cotas inferiores y por tanto tampoco tiene mnimo.
Soluci
on. c) X = {x Z | x2
100x} = {x Z | x2 100x 0} = {x Z | (x
100)x 0}.
x 100 0 y x 0
x 100 y x 0
o
o
Ahora, (x 100)x 0
0 x 100.
x 100 0 y x 0
x 100 y x 0
Una cota inferior de X es 0, que es tambien el mnimo de X.
Ejercicio 8. Se considera en D48 N el orden lexicografico correspondiente a tomar el orden divisibilidad
en el primer factor y el orden usual en el segundo factor. Sea S = {(2, 2), (2, 3), (3, 2), (6, 3), (6, 1), (4, 2)}.
Se pide hallar, si existen, las cotas superiores e inferiores, elementos maximales y minimales, maximo,
mnimo, supremo e nfimo de S.
Soluci
on. Como S = {(2, 2), (2, 3), (3, 2), (4, 2), (6, 1), (6, 3)}, las cotas inferiores de S son los elementos
del conjunto {(1, b) | b N}, y las cotas superiores de S son los elementos del conjunto {(a, b) | a
{12, 24, 48}, b N}.
No existe nfimo de S y sup S = (12, 1).
Los elementos maximales de S son (4, 2) y (6, 3), y los elementos minimales de S son (2, 2) y (3, 2).
No existe maximo ni mnimo de S.
ui
f u
@
@
Primero cogemos el par {a, b} y luego el par {c, d} (hay 4 maneras posibles
de hacerlo).
Primero cogemos a o b y luego c, despues ira el que no hayamos escogido
del par {a, b} y luego c (hay 2 maneras posibles de hacerlo).
uh
@
@
@
u
e@
@
c u
a u
@ug
@ud
@
@
@u
Ejercicio 10. Sea T = {a, b, c, d, e, f, g} la lista de tareas para realizar un trabajo, de las que se sabe que
unas preceden inmediatamente a otras de la siguiente forma: f a, f d, e b, c f , e c, b f ,
e g, g f . Hallar el orden parcial. Que tareas pueden realizarse independientemente? Construir un
orden si el trabajo lo realiza solo una persona.
Soluci
on. El orden parcial es el del diagrama de Hasse de la figura.
Las tareas que pueden realizarse independientemente son las del conjunto {b, c, g}
que no dependen unas de otras, y tambien las del {a, d}.
Si el trabajo lo realiza solo una persona, un orden posible es ebcg f ad.
au
@
@
b u
ud
@ uf
@
@
uc @ug
@
@
@u
Ejercicio 11. En (D10 , |) (D18 , |) se considera el orden lexicografico. Hallar las cotas superiores, cotas
inferiores, supremo e nfimo, si existen, del subconjunto S = {(2, 2), (2, 3)}. Dibujar el diagrama de Hasse.
Se define f : D10 xD18 D180 por f (a, b) = ab es f inyectiva? es suprayectiva?
Soluci
on. Las cotas superiores de S son los elementos del conjunto {(2, 6), (2, 18)} {(10, b) | b D18 }.
Las cotas inferiores de S son los elementos del conjunto {(2, 1)} {(1, b) | b D18 }. El supremo de S es
(2, 6) y el nfimo es (2, 1).
El diagrama de Hasse de (D10 , |) (D18 , |) es
u(10, 18)
@
@
@u(10, 9)
(10, 6) u
@
@
@u(10, 3)
(10, 2) u
@
@
(10, 1)@
u
P
u
@
@
@u(2, 9)
(2, 18)
(2, 6) u
(2, 2) u
@
@
@u(2, 3)
PP
PP
P
(5, 6)
(5, 2) u
PP
Pu(5, 18)
@
@
@u(5, 9)
u
@
@
@u(5, 3)
@
@
@
@
@P
u
PP
(2, 1)
PP
PP
P
(1, 6) u
(1, 2) u
@
@
@u
(5, 1)
Pu
@(1, 18)
@
@u(1, 9)
@u(1, 3)
@
@
@u
(1, 1)
Si se define f : D10 xD18 D180 por f (a, b) = ab, f no es inyectiva porque f (2, 1) = 2 = f (1, 2)
(esto ocurre por ser 2 un factor com
un a 10 y 18).
Por otra parte, f es suprayectiva pues cualquier divisor de 180 se puede poner como producto de un
divisor de 10 y un divisor de 18. Para demostrarlo tomemos un divisor n de 180. Como 180 = 22 32 5, n es
de la forma n = 2a 2b 3c 3d 5e con 0 a, b, c, d, e 1. Entonces n = (2a 5e )(2b 3c 3d ) = pq con p divisor de 10
y q divisor de 18.
Retculos
Ejercicio 1. Estudiar cuales de los siguientes conjuntos ordenados son retculos:
ua
@
@
a)
b u
@
@
du
@
@
fu
@u
@ ue
@
@
b) a u
ub
@
@
@
u
eQ
Q
@uc
c u
ud
@
@
@u
f
Q
Q
Q
ug
@u
ua
@
@
uc @ud
c)
b u
@
@
@ue
u
uh
Soluci
on. (a) no es retculo porque tiene mas de un minimal (f, g, h son minimales).
(b) no es retculo porque tiene mas de un maximal (a, b, c, d son minimales).
(c) es retculo porque para cada par de elementos x, y existe sup{x, y} y existe inf{x, y}.
Ejercicio 2. Obtener los diagramas de Hasse de todos los retculos, salvo isomorfismos, de uno, dos, tres,
cuatro y cinco elementos.
u
Soluci
on.
u
u
@
@
u
@
@
@u
@u
u
@
@
u
u
u
@
@
@u
u
@
@
u
@
@
@u
@u
@u
u
@
@
u
@
@
u @u
@u
u
JJ
J
u
J
Ju
@
@
a (b c) = (a b) (a c).
u1
@
@
ub @uc
@
@
@ud
Soluci
on. Por un parte a (b c) = a (0) = a.
Y por otro lado (a b) (a c) = 1 1 = 1.
Por tanto, a (b c) 6= (a b) (a c).
D105
x
x0
1
105 = 3 5 7
3
35 = 5 7
5
21 = 3 7
7
15 = 3 5
15 = 3 5
7
21 = 3 7
3
35 = 5 7
2
105 = 3 5 7 1
Algebras
de Boole
Ejercicio 1. Expresar la operacion conjuncion en funcion de la disyuncion y la complementaria. Expresar
la disyuncion en funcion de la conjuncion y la complementaria.
Soluci
on. a b = ((a b)0 )0 = (a0 b0 )0 , a b = ((a b)0 )0 = (a0 b0 )0 .
Ejercicio 2. Demostrar que en un algebra de Boole se verifican las siguientes propiedades:
a) a b b0 a0 .
b) a b a (b c) = b (a b).
c) a b c (a b) (a b c) (b c) (a c) = b.
d) a b a b0 = 0 a0 b = 1.
Soluci
on. a) a b a b = a (a b)0 = a0 a0 b0 = a0 b0 a0 .
b) a b a (b c) = (a b) (a c) = b (a b).
c) a b c (a b) (a b c) (b c) (a c) = a a b a = a b = b.
d) a b a b0 = (a b0 ) (b b0 ) = (a b) b0 = b b0 = 0.
a b0 = 0 a b = (a b) (a b0 ) = a (b b0 ) = a 0 = a a b = a a b.
a b0 = 0 (a0 b)0 = 00 (a0 b)0 = 1 a b0 = 1.
Ejercicio 3. Construir un isomorfismo entre (P(C), ) y (B n , n ) para alg
un n N, donde C = {1, 2, 3, 4}
n
n
y denota el orden producto en B .
Soluci
on. El isomorfismo f viene dado por la siguiente tabla
Para comprobar que f es un isomorfismo razonamos como sigue:
Sabemos que f sera isomorfismo de algebras de Boole si y solo si es
isomorfismo de retculos.
Por otra parte, f sera isomorfismo de retculos si y solo s es isomorfismo
de conjuntos ordenados.
Finalmente, f es isomorfismo de conjuntos ordenados pues es claramente
biyectiva y se tiene que x y x n y.
x P(C)
{a}
{b}
{c}
{d}
{a, b}
{a, c}
{a, d}
{b, c}
{b, d}
{c, d}
{a, b, c}
{a, b, d}
{a, c, d}
{b, c, d}
{a, b, c, d}
f (x) B 4
0000
1000
0100
0010
0001
1100
1010
1001
0110
0101
0011
1110
1101
1011
0111
1111
Ejercicio 4. Sea (A, ) un algebra de Boole. Cuantos elementos minimales tiene A {0}, si A es un
algebra de Boole de 8 elementos? Y si A tiene 16 elementos?
Soluci
on. Si A es un algebra de Boole de 8 elementos, A es isomorfa a B 3 . Entonces A {0} tiene 3
elementos minimales: 001, 010 y 100.
Si A es un algebra de Boole de 16 elementos, A es isomorfa a B 4 . Entonces A {0} tiene 4 elementos
minimales: 0001, 0010, 0100 y 1000.
Expresiones booleanas
Ejercicio 1. Halla la tabla de verdad de la funcion f : B 2 B definida por la expresion E(x, y) =
(x y 0 ) ((y (x0 y)).
Soluci
on. La tabla de verdad de f es
x y
0 0
0 1
1 0
1 1
x y0
0
0
1
0
x0 y
1
1
0
1
f1 (x, y)
0
1
1
0
x y
0 0
0 1
1 0
1 1
f2 (x, y)
1
0
0
1
Ejercicio 4. Dados los siguientes mapas de Karnaugh, escribe las expresiones booleanas que definen estos
mapas:
Soluci
on.
y0
y0
y0
y0
y0
y0
x 0
x 1
x 0
x0 1
z0
x0 1
z0
x0 1
z0
z0
y0
y0
y0
y0
y0
y0
x 1
1 t0
x 1
1 t0
x 0
1 t0
x 0
0 t
x 1
1 t
x 0
1 t
x0 0
0 t
x0 0
0 t
x0 1
1 t
x0 1
z0
1 t0
0 t0
0 t0
z0
z0
x0 0
z0
x0 0
z0
z0
x 0
y0
y0
x
1
y0
y0
1 1
x 0
x
1 1
1
0
0
z z z z0
f (x, y, z) = x0 y + y 0 z
y
y0
x
1
0
1
0
0
z z z z0
f (x, y, z) = xy + yz 0 + y 0 z
y0
x 1%
0 1 &
1 t0
'$
x 0 1
1
0 t
x0 0 &
1 1 0 t
$ %
'
x0 1 0 0 1 t0
z0 z z z0
f (x, y, z, t) = zt + z 0 t0 + xy 0 z
x 1
y0
y0
1 t0
y0
1 1
x 1
0 0
1
0
z z z z0
f (x, y, z) = xy 0 + x0 z 0
y
x 0
x 0
'
$
'
$
y0
t
x 1%
1 &
1 &
1%
x0 0
1
0 0 t
y0
y0
1 t0
'
$
'$
t
1 1%
&
t
x0 1
0 &
1
1%
x0 0 0
1
0 t0
x0 0 0 0 0 t0
z0 z z z0
f (x, y, z, t) = xy 0 + xz 0 + yzt
z0 z z z0
f (x, y, z, t) = xy 0 + y 0 z + y 0 t + x0 z 0 t
00 01 11 10
b)
00
1 1%
0 0
&
01
1
1
1
11
1
0
1
0
1
0
1
0
10
'
$
1
0
0
1
f (x, y, z) = x0 z 0 + x0 z 0 + xzt
00 01 11 10
0
1
1
1
00 01 11 10
$
'
'
$
0
1
1%
%
&
&
f (x, y, z) = y + z
x y
0 0
0 0
0 1
0 1
1 0
1 0
1 1
1 1
y
0
1
0
1
0
1
0
1
f1 (x, y)
1
0
1
1
Soluci
on. a) Operando se tiene:
b) El mapa de Karnaugh es
y
x 0
y0
y0
0 t0
x 0 &
1 1 0 t
$ %
'
x0 1 0 0 1 t
x0 1 %
0 0 &
1 t0
z0 z z z0
f (x, y, z, t) = xz + x0 z 0
'$
Soluci
on. a) (x0 + y)0 + y 0 z = xy 0 + y 0 z.
b) (x0 y)0 (x0 + xyz 0 ) = (x + y 0 )(x0 + xyz 0 ) = xx0 + xxyz 0 + y 0 xx0 + y 0 xyz 0 = 0 + xyz 0 + 0 + 0 = xyz 0 .
c) x(xy 0 + x0 y + y 0 z) = xxy 0 + xx0 y + xy 0 z = xy 0 + 0 + xy 0 z = xy 0 + xy 0 z = xy 0 (1 + z) = xy 0 1 = xy 0 .
d) (x + y)0 (xy 0 )0 = (x0 y 0 )(x0 + y) = x0 y 0 x0 + x0 y 0 y = x0 y 0 + 0 = x0 y 0 .
e) y(x + yz)0 = y(x0 (yz)0 ) = y(x0 (y 0 + z 0 )) = yx0 (y 0 + z 0 ) = yx0 y 0 + yx0 z 0 = 0 + yx0 z 0 = x0 yz 0
f) (x + y 0 z)(y + z 0 ) = xy + xz 0 + y 0 zy + y 0 zz 0 = xy + xz 0 + 0 + 0 = xy + xz 0 .
Ejercicio 9. Utilizando el algoritmo de Quine-McCluskey halla la expresion booleana minima de la funcion
f : B 5 B tal que
S(f ) = {(1, 1, 1, 1, 1), (1, 1, 1, 0, 1), (1, 1, 0, 1, 1), (1, 0, 1, 1, 1), (1, 0, 1, 0, 1), (1, 0, 0, 1, 1), (1, 1, 0, 0, 1), (1, 0, 0, 0, 1)}.
111-1 *
1---1
11--1 *
11-11 *
1-1-1 *
1-111 *
1--11 *
1-101 *
1--01 *
11-11 *
1-0-1 *
1-011 *
10--1 *
110-1 *
101-1 *
10-11 *
10-01 *
100-1 *
Por tanto, f (x, y, z, t, u) = xu.
1-001 *
Ejercicio 10. Encuentra la expresion mas sencilla que detecte dentro del conjunto {0, 1, 2, 3, . . . , 15} los
numeros del conjunto:
1
1
1
1
1
1
1
1
Soluci
on.
1
1
1
0
0
0
1
0
1
1
0
1
1
0
0
0
1
0
1
1
0
1
0
0
1 *
1 *
1 *
1 *
1 *
1 *
1 *
1 *
a) A = {m
ultiplos de dos}
Soluci
on.
b) B = {m
ultiplos de tres},
00 01 11 10
$
00 01 11 10
00
00
1
0
1
0
01
01
11
11
10
1%
0 0
f (x, y, z) = z 0
00 01 11 10
'
1
&
c) C = {m
ultiplos de cuatro}
10
00
01
1
0
1
0
11
1
0
0
0
1
0
f (x, y, z) = x0 y 0 z 0 t0 + x0 y 0 zt + x0 yzt0
+xyz 0 t0 + xyzt + xy 0 z 0 t
10
f (x, y, z) = z 0 t0
Ejercicio 11. Un examen de tipo test consta de 5 preguntas. Las respuestas correctas son: 1 Si,
2 No, 3 Si, 4 Si, 5 No. Construye una expresion booleana que analice cada examen y distinga los
aprobados de los suspensos. Se considera aprobado si al menos tres respuestas son correctas.
1-111111- *
11111 *
Soluci
on. Un examen tendra 5 acier1-1-0
1-111 *
11110 *
tos si contesta 10110, tendra 4 aciertos
1--10
111-0 *
10111 *
si contesta 00110, 11110, 10010, 10100
--110
1
1
1
0
*
11100 *
o 10111, y tendra 3 aciertos si contesta
101-1-110 *
11010 *
01110, 00010, 00100, 00111, 11010, 11100,
10-1-1110 *
10110 *
11111, 10000, 10011 o 10101.
-0111011- *
10101 *
Por tanto, buscamos una funcion booleana
10--0
101-1 *
10011 *
que valga uno exactamente en los valores
-01-0
1
0
1
1
*
01110 *
anteriores.
-0-10
-0111 *
00111 *
Utilizamos el metodo de Quine1-100 *
10100 *
McCluskey.
1-010 *
10010 *
101-0 *
00110 *
10-10 *
10000 *
-0110 *
00100 *
1010- *
00010 *
1001- *
0-110 *
0011- *
10-00 *
-0100 *
100-0 *
-0010 *
001-0 *
00-10 *
Ahora hacemos la tabla para detectar factores que sobren.
1-111-1-0
1--10
--110
101-10-1-01110--0
-01-0
-0-10
11111 11110 10111 11100 11010 10110 10101 10011 01110 00111 10100 10010 00110 10000 00100 00010
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
Ejercicio 13. Se considera un ascensor dotado de un dispositivo de seguridad, para que no puedan viajar
ni
nos peque
nos solos ni pesos excesivos. Queremos que el ascensor se ponga en marcha cuando este vaco
o con pesos entre 25 y 300 kilos. Dotamos al ascensor de tres sensores: A sensible a cualquier peso, B
sensible a pesos mayores de 25 kilos y C sensible a pesos superiores a 300 kilos. Dise
na el circuito mas
sencillo posible que cumpla dichas condiciones.
Soluci
on. Los sensores pueden estar en dos estados, apagado (0)
o activado (1). El problema equivale a encontrar una funcion f :
B 3 B con los valores de la tabla (consideramos f (A, b, c) = 1 si
permitimos que el ascensor se mueva y f (A, b, c) = 0 si impedimos
que se mueva).
El mapa de Karnaugh correspondiente es el siguiente:
00 01 11 10
1
1
A
0
0
0
0
1
1
1
1
B C
0 0
0 1
1 0
1 1
0 0
0 1
1 0
1 1
f(A,B,C)
1
0
1
0
f (x, y, z) = x0 + yz 0
Observese que la funcion booleana se interpreta como que el ascensor se mueve si x0 = 1 (es decir, si
esta vaco) o si yz 0 = 1 (es decir, si hay un peso mayor de 25 y menor de 300).
Ejercicio 14. En una reunion celebrada entre 12 pases de la Comunidad Europea se acuerda aceptar las
resoluciones aprobadas por la mayora de los miembros. Espa
na, Italia, Portugal y Grecia votan en bloque.
Situacion similar es la de Francia y Alemania. Tambien hacen lo mismo Reino Unido e Irlanda por un
lado y Belgica, Holanda y Luxemburgo por otro. Dinamarca siempre vota lo contrario que Alemania y
los tres pases Belgica, Holanda y Luxemburgo lo contrario que Irlanda. Encuentra los pases que tienen
mayor poder de decision.
x y z t u f(x,y,z)
Soluci
on. Denotamos por x el voto com
un de Espa
na, Italia, Por0 0 0 0 1
0
tugal y Grecia. Denotamos por y el voto com
un de Francia y Ale0 0 1 0 1
0
mania. Denotamos por z el voto com
un de Reino Unido e Irlanda.
0
1
0
1
0
0
Denotamos por t el voto com
un de Belgica, Holanda y Luxemburgo
0 1 1 0 0
0
por otro. Denotamos por u el voto de Dinamarca. Se tiene que
0
0
1 0 0 1 1
1
t = z y que u = y .
1 0 1 0 1
1
Podemos definir una funcion de 5 variables que diga el resultado de
una votacion en funcion de los votos de cada grupos. Su tabla de
1 1 0 1 0
1
verdad sera la de la figura (los valores de t y u dependen de los del
1 1 1 0 0
1
resto).
Se ve que la funcion booleana asociada equivale a f (x, y, z, t, u) = x. Por tanto, los pases que tienen mayor
poder de decision son los del primer bloque formado por Espa
na, Italia, Portugal y Grecia.
Ejercicio 15. Para evitar errores de transmision en ciertos mensajes codificados, es frecuente a
nadir un
bit, llamado de control, a un bloque de bits. As , por ejemplo, en la representacion de cifras decimales
mediante un codigo binario, 0 se representa como 00001, 1 se representa como 00010, 2 se representa como
00100, 3 se representa como 00111. El bit de paridad vale 1 si el numero de unos del bloque es par y vale
0 en caso contrario. Define una expresion c que verifique lo anterior para los dgitos del 0 al 9 de manera
que sea lo mas simplificada posible en la forma suma de productos.
00 01 11 10
Soluci
on. c sera una funcion de B 4 en B que vale 1 en los elemen00
1
0
1 0
tos de {0000, 0011, 0101, 0110, 1001}, y vale 0 en los elementos de
{0001, 0010, 0100, 0111, 1000}.
01
0 1 0 1
El mapa de Karnaugh es el de la figura.
'$
0 0 0 0
0
0
11
La expresion simplicada de c es c(x, y, z) = x y z t +yz t+y zt+xt.
10
1
&
%
Ejercicio 16. 16) La aparicion de una cifra decimal en el visor de una calculadora se produce mediante
un circuito con cuatro entradas, que se corresponden con el codigo binario del dgito y siete salidas fi / i =
1..7, que se presentan como peque
nos segmentos, iluminados o no en el visor, seg
un el siguiente esquema:
(f1 es el segmento superior, f2 , . . . f6 son los restantes segmentos exteriores numerados en el sentido de las
agujas del reloj, y f7 es el segmento central.
a) Traza la tabla de verdad de cada una de las funciones booleanas fi : B4 B que represente este
fenomeno binario.
b) Encuentra expresiones mnimas en forma de suma de productos para f1 y f2 .
Soluci
on. Si representamos los n
umeros de
0 a 9 por sus coordenadas binarias, La tabla
de verdad de las 7 funciones es la siguiente:
'$
x y
0 0
0 0
0 0
0 0
0 1
0 1
0 1
0 1
1 0
1 0
z
0
0
1
1
0
0
1
1
0
0
t f1
0 1
1 0
0 1
1 1
0 0
1 1
0 1
1 1
0 1
1 1
f2
1
1
1
1
1
0
0
1
1
1
f3
1
1
0
1
1
1
1
1
1
1
f4
1
0
1
1
0
1
1
0
1
1
f5
1
0
1
0
0
0
1
0
1
0
f6
1
0
0
0
1
1
1
0
1
1
f7
0
0
1
1
1
1
1
0
1
1
00
1%
0 1
01
'$
11
10
00
1
&
'$
&%
$
'
01
11
10
1 &
&
%
%
00 01 11 10
1 1 1
&
1
1%
0
$
'
1
1
Por tanto,
f1 (x, y, z, t) = y + yz + xz + y 0 t0
f2 (x, y, z, t) = y 0 + z 0 t0 + zt