Si, el tema de probar que algo NO es algebra de boole es muy simple, lo mas boludo es hacer lo que vos dijiste, la de |B| = 2^n

Creo que la unica solución simple que queda para probar que una red es distributiva es ver si NO tiene subredes isomorfas a las 2 tipicas redes no distributivas (aunque habria que decir esto y listo, porque probarlo es medio jodido, en una red de 8 elementos habria que buscar todas las subredes y es un bodrio).

no sé, yo puse en el parcial que es distributiva porque sus dos tablas son simétricas respecto la diagonal principal y me lo puso bien jajajaj

La verdad que no encuentro esa propiedad en el libro xD

(01-08-2010 11:06)Lean escribió:  Si, el tema de probar que algo NO es algebra de boole es muy simple, lo mas boludo es hacer lo que vos dijiste, la de |B| = 2^n

Creo que la unica solución simple que queda para probar que una red es distributiva es ver si NO tiene subredes isomorfas a las 2 tipicas redes no distributivas (aunque habria que decir esto y listo, porque probarlo es medio jodido, en una red de 8 elementos habria que buscar todas las subredes y es un bodrio).

Yo tengo en mi carpeta "propiedad: una red es distributiva si no tiene una subred isomorfa a N1 o N2(N1 y N2 son las tipicas no distributivas)" asi que te tendrian que aceptar como valida esta justificacion.

Pregunta: todas las redes que sean un cubo de 8 vertices son isomorfas a cualquier otro cubo con esa estructura?

Si.. igual si te toca un cubo y te dicen probar si es algebra de boole, lo tenes que probar.. no queda otra

tengo una duda esto esta bien? la parte de la tabla que esta en gris es lo que me dieron el resto lo complete yo.