TRABAJO PRACTICO Nº 3 - SOLUCIONES

A. ESTRUCTURAS ALGEBRAICAS FINITAS

1) I = {(1,1), (2,2), (3,3)}
F1 = {(1,1), (2,3), (3,2)}
F2 = {(1,2), (2,1), (3,3)}
F3 = {(1,2), (2,3), (3,1)}
F4 = {(1,3), (2,2), (3,1)}
F5 = {(1,3), (2,1), (3, 2)}
G = {I, F1, F2, F3, F4, F5}

o I F1 F2 F3 F4 F5
I I F1 F2 F3 F4 F5
F1 F1 I F3 F2 F5 F4
F2 F2 F5 I F4 F3 F1
F3 F3 F4 F1 F5 F2 I
F4 F4 F3 F5 F1 I F2
F5 F5 F2 F4 I F1 F3
De la tabla se observa que:
Se cumple ley de cierre (en todas las celdas va un elemento de G)
La función I es el elemento neutro ("f �G : I of = f oI = f )
En cada fila aparece una, y sólo una, vez la I, con lo cual se tiene que:
I = I-1 �F1 = F1-1 �F2 = F2-1 �F5 = F3-1 �F4 = F4-1 �F3 = F5-1
La composición de funciones es, en general, asociativa, en particular vale para
estas 6 funciones.
Luego (G, o) es grupo. Sin embargo, no es abeliano porque:
F3=F2 OF1  F1 OF2=F5.
2) G = {-1, 1, i, -i}
* -1 1 i -i
-1 1 -1 -i i
1 -1 1 i -i
i -i i -1 1
-i i -i 1 -1
De la tabla se observa que:
Se cumple ley de cierre (en todas las celdas va un elemento de G).
El producto en C, cumple las propiedades asociativa y conmutativa; en
particular valen para estos 4 números complejos.
1  G y 1 es el neutro del producto en C.
Vemos que 1 = 1-1; -1 =(-1)-1; i = (-i)-1; -i = i-1.
Luego, (G,*) es grupo abeliano.
{
3) Z 4 = 0,1,2,3}
+ 0 1 2 3 * 0 1 2 3
0 0 1 2 3 0 0 0 0 0
1 1 2 3 0 1 0 1 2 3
2 2 3 0 1 2 0 2 0 2
3 3 0 1 2 3 0 3 2 1

Observando la tabla de la suma:

 1) Cumple ley de cierre.
2) 0 es el elemento neutro.
3) 0 = - 0 ; 1 = - 3 ; 3 = -1; 2 = - 2 .
4) Cumple ley conmutativa porque los elementos simétricos con respecto a
la diagonal principal son iguales.
5) Se debería probar todos los casos para ver que se cumple la propiedad
asociativa, pero no hacerlo en clase porque lleva mucho tiempo.

Observando la tabla de la multiplicación:

1) Cumple ley de cierre.
2) 1 es el elemento neutro.
3) Cumple ley conmutativa porque los elementos simétricos con respecto a
la diagonal principal son iguales.
4) 2 no admite inverso, porque "x ι Z 4 : x.2 1.
5) Debería probarse que todos los casos cumplen la propiedad asociativa y
la distributiva del * con respecto a la + pero, nuevamente, no hacer en
clase porque llevaría mucho tiempo.

4) P(I3) = {, I3, {1}, {2}, {3}, {1,2}, {1,3}, {3,2}}

  I3 {1} {2} {3} {1,2} {1,3} {3,2}
  I3 {1} {2} {3} {1,2} {1,3} {3,2}
I3 I3 I3 I3 I3 I3 I3 I3 I3
{1} {1} I3 {1} {1,2} {1,3} {1,2} {1,3} I3
{2} {2} I3 {1,2} {2} {3,2} {1,2} I3 {3,2}
{3} {3} I3 {1,3} {3,2} {3} I3 {1,3} {3,2}
{1,2} {1,2} I3 {1,2} {1,2} I3 {1,2} I3 I3
{1,3} {1,3} I3 {1,3} I3 {1,3} I3 {1,3} I3
{3,2} {3,2} I3 I3 {3,2} {3,2} I3 I3 {3,2}

  I3 {1} {2}, {3} {1,2} {1,3} {3,2}

        
I3  I3 I3 I3 I3 I3 I3 I3
{1}  {1} {1}   {1} {1} 
{2}  {2}  {2}  {2}  {2}
{3}  I3   {3}  {3} {3}
{1,2}  {1,2} {1} {2}  {1,2} {1} 
{1,3}  {1,3} {1}  {3} {1} {1,3} {3}
{3,2}  {3,2}  {2} {3} {2} {3} {3,2}

1) Cumple las leyes de cierre de  e .

2)  es el neutro de la  e I3 de la .
3) Como ambas operaciones verifican, en general, las propiedades
asociativa y conmutativa, en particular vale para P(I 3).
4) En general, la  es distributiva con respecto a la  y la  con respecto
a la .
5) Cada elemento tiene complementario y es tal que A’ = I 3 – A.
 5) a) (1) 1 es neutro del producto (*).
(2) Existencia de complementario de 0.
(3) 0 es neutro de la +.
(4) 1 es neutro del *.
b) (1) Distributiva del * respecto a la +.
(2) Conmutativa del *.
(3) Asociativa del *.
(4) Existencia de complementarios de a y b.
(5) Identidad del 0.
(6) 0 es neutro de la +.
(7) Distributiva de la + respecto al *.
(8) Conmutativa de la +.
(9) Asociativa de la +.
(10) Existencia de complementarios de a y b.
(11) Conmutativa de la +.
(12) Identidad del 1.
(13) 1 es neutro del *.
De (*) y (**) (a + b)’ = a’.b’ por unicidad del complementario.
(a.b)’ = a’ + b’ Trivial por Principio de Dualidad.
c) (1) 1 es neutro del *.
(2) Existencia de complementario de b.
(3) Distributiva del * con respecto a la +.
(4) Hipótesis (ab = ac  ab’ = ac’).
(5) Distributiva del * con respecto a la +.
(6) Existencia de complementario de b.
(7) 1 es neutro del *.
d) (1) Absorción.
(2) Asociativa de la +.
(3) Distributiva del * respecto a la +.
(4) Existencia de complementario de a.
(5) 1 neutro del *.
6) a) [(a + bc)a(a+c)]’ = {(a + bc).[a(a+c)}’ = [(a + bc).(aa + ac)]’ =
(1) (2) (3)
= [(a + bc).(a + ac)]’ = (a + bc)’ +(a + ac)’= a’(bc)’+ a’(ac)’= [a’(b’+c’)]+
(4) 4) (4)
+[a’(a’+c’)] = a’b’+ a’c’ + a’a’+ a’c’ = a’b’+a’c’+a’+a’c’ =(a’b’ + a’) + (a’c’+a’c)=
(2) (3) (5) y (6) (2)
= a’(b + 1) + a’(c’ + c) = a’.1 + a’.1 = a’ + a’ = a’
(7) y (8) (9) (3)
(1) Asociativa del *.
(2) Distributiva del * respecto a la +.
(3) Involución.
(4) Leyes de De Morgan.
(5) Conmutativa de la +.
(6) Asociativa de la +.
(7) Identidad del 1.
(8) Existencia de complementario de c.
(9) 1 neutro del *.
b) {[(a+b)d’+be](d+e)}’ = {[(ad’+bd’)+be](d+e)}’= [(ad’+bd’)+be]’+(d + e)’ =
(1) (2)
=[(ad’+bd’)’(be)’] +(d’e’) = [(ad’)’(b.d’)’ (b’+e’)] + d’e’ = [a’+(d’)’][b’+(d’)’](b’+e’) =
(2) (2) (2) (3)
= (a’+d)(b’+d)(b’+e’)
(1) Distributiva del * respecto a la +.
(2) Leyes de De Mogan.
(3) Involución.

B. FUNCIONES BOOLEANAS
1) Como se retira la botella cuando F(x, y, z,w) = 1, resulta:
F: B3  B/ F(x,y,z,w) = xy’zw + xy’zw’ +xy’z’w + x’y’zw + x’y’z’w.

2) f: B3  B/ f(x,y,z) = x’y’z’ + x’yz + xyz’ + xyz

g: B3  B/ f(x,y,z) = x’y’z + x’yz’ + xy’z’ + xy’z

3) f(x,y,z) =[(x+y’).(xy’z)’]’ = (x + y’)’+[(xy’z)’]’ = (x + y’)’+(xy’z) = x.(y’)’+ xy’z=

(1) (2) (1) (2)
= xy + xy’z
f(x,y,z, w) = {[(x’y’)’+z].(x+z)}’= [(x’y’)’+z]’ + (x + z)’ = {[(x’y’)’]’z’}+x’z' =
(1) (1) (2)
= x’y’z’ + x’z’ = x’z’(y’+1) = x’z’1 = x’z’
(3) (4) (5)
(1) Ley de De Morgan.
(2) Involución.
(3) Distributiva del * respecto de la +.
(4) Identidad del 1.
(5) 1 neutro del *.

4) a) Vemos que en la fila z’, además de z’ permanece constante x.

xy xy’ x’y’ x'y Luego de lo marcado en celeste obtenemos xz’. En la columna
z 1 x’y’ permanece constante sólo x’y’. Luego obtenemos x’y’.
z' 1 1 1 Luego f(x,y,z) = xz’ + xy’.

b)
xy xy’ x’y’ x'y Mirando el amarillo, permanece constante x’zu.
zu 1 1 Del celeste: x’zu’.
zu' 1 1 Del verde: yz’u’.
Del fucsia: x’y’.
z'u’ 1 1 1
Sumando los dos 1ros: x’zu +x´zu’ = x’z(u+u’)=x’z
z'u 1
f(x,y,z,u) = x’z + yz’u + x’y’
5) a)

x xy'
y'
y
xy'+x’z’+y
x'
x x'z’
z'
z
y
x (x+y)’
y

x (y+z’)x
y
y+z’
z

6) a) f(x,y) = x’+y’.
b) f(x,y) = xy + x’y’
7) En este caso, al ser los miembros indistinguibles, bastará con ver el
comportamiento de 4 miembros para saber cuando se aprobó la medida. Es
decir: f(1,1,1,1) = f(1,1,1,0) = f(1,1,0,1) = f(1,0,1,1) = (0,1,1,1) = 1. Sin embargo,
el primer caso incluye a todos los demás, por lo tanto nos podemos restringir a
los 4 últimos. Así la función será: f:B4B/f(x,y,z,w)= xyzw’+ xyz’w+xy’zw+x’yzw.