Galicia Valverde Roberto Xchel Tarea: estructura algebraica del algebra booleana

lunes 17 de febrero 2014

Sea

*+

Las operaciones: ,+, donde 1 0 1 1 0 0 0 0

1 0

0 1

+ 1 0

1 1 1

0 1 0 )

Averiguaremos que tipo de estructura algebraica es ( Grupo Abelino sobre ( + ) 1. (+) es una operacin interna en A:

Vemos que en la definicin de la operacin suma lgica todos los elementos pertenecen a K; por lo que ( ) es una operacin cerrada en K.

2. (

(+) es Asociativa: ) ( )

Construimos tablas de ambos miembros.

( 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0

( 1 1 1 1 1 1 1 0

) 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0

( 1 1 1 1 1 1 0 0

( 1 1 1 1 1 1 1 0

Verificamos la propiedad al ver que la ltima columna de ambas tablas es idntica; por lo que (+) es asociativa.

3.

Conmutatividad de (+)

Construimos las tala de operacin + para (a,b)

1 1 0 0

1 0 1 0

( 1 1 0 0

) 1 0 1 0 1 1 0 0

( 1 1 0 0

Verificamos la conmutatividad al ver que la ltima columna de ambas tablas es idntica; por lo que (+) es conmutativa.

4.

Existencia de elemento neutro.

Sea b = 0 entonces

1 0

0 0

1 0 * +).

Existe un elemento neutro perteneciente a k para la operacin (+) y es cero (

5.

Existencia de elemento simtrico.

1 0

0 1

1 1

Por lo tanto, la propiedad cumple.

Grupo Abelino sobre ( . ) 6. ( ) es una operacin interna en K

Vemos que en la definicin de la operacin producto lgico todos los elementos pertenecen a K; por lo que ( ) es una operacin cerrada en K.

7. (

( ) es asociativa. ) ( )

Construimos tablas de ambos miembros. ( 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 ) ( 1 0 0 0 0 0 0 0 ) 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 ( 1 1 0 0 0 0 0 0 ) ( 1 0 0 0 0 0 0 0 )

Verificamos la propiedad al ver que la ltima columna de ambas tablas es idntica; por lo que ( ) es asociativa.

8.

Conmutatividad de (

Construimos las tala de operacin + para (a,b)

1 1 0 0

1 0 1 0

( 1 0 0 0

) 1 0 1 0 1 1 0 0

( 1 0 0 0

Verificamos la conmutatividad al ver que la ltima columna de ambas tablas es idntica; por lo que ( ) es conmutativa.

9.

Existencia de elemento neutro.

Sea b = 1 entonces

1 0

1 1

1 0

Existe un elemento neutro perteneciente a k para la operacin ( ) y es uno (

).

10. Existencia de elemento inverso.

1 0 0 1 0 0

Por lo tanto, la propiedad cumple.

11. Distributiva ( ) ( ) ( )

Construimos las tablas para ambos miembros:

( 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0 ) ( 1 1 1 0 0 0 0 0 ) 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 ( 1 1 0 0 0 0 0 0 ) ( 1 0 1 0 0 0 0 0 ) ( ) 1 1 1 0 0 0 0 0 ( )

Las ltimas columnas son idnticas; por lo tanto la propiedad cumple.

) (

Construimos las tablas para ambos miembros:

( 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 ) ( 1 1 1 1 1 0 0 0 ) 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 ( 1 1 1 1 1 1 0 0 ) ( 1 1 1 1 1 0 1 0 ) ( ) ( 1 1 1 1 1 0 0 0 )

Las ltimas columnas son idnticas; por lo tanto la propiedad cumple.

Como resultado podemos decir que el lgebra de Boole tiene Estructura algebraica de campo o cuerpo, un campo cumplen las propiedades: asociativa, conmutativa y distributiva de la multiplicacin respecto de la adicin, adems de la existencia de inverso aditivo, de inverso multiplicativo y de un elemento neutro para la adicin y otro para la multiplicacin. Tambin se puede decir que es un anillo conmutativo con existencia de elemento neutro respecto a las operaciones ( + ) y ( ) lo cual resulta ser una estructura de campo.