lgebra de Boole

lgebra de Boole en informtica y matemtica, es una estructura algebraica que esquematiza las operaciones lgicas Y, O , NO y SI (AND, OR, NOT, IF), as como el conjunto de operaciones unin, interseccin y complemento. Es necesario conocer las leyes del clculo proposicional y las leyes del lgebra de conjuntos. Ver tablas de leyes y teoremas de las pginas 159 a 161 del libro de Luis Ola.

Algebra de boole en conjuntos: Sea B un conjunto en el cual se han definido 2 operaciones binarias, + y * y una operacin unitaria denotada por ; sean 0 y 1 dos elementos diferentes de B. entonces la sxtupla: B, +, *, , 0, 1 se le llama lgebra de boole si cumple las leyes de conjuntos: conmutativa, distributiva, identidad y complemento. Ejemplos a) Sea B el conjunto de 2 elementos, {0,1}, con operaciones + y * para a y b, encuentre: a + b, a * b, a dados los elementos para a = 1101010 y para b = 1011011 Solucin: Or + 1 0 1 1 1 0 1 0 And * 1 0 1 1 0 0 0 0 a * b = 1001010 a= 0010101

a + b = 1111011 2n = 22=4 A 1 1 0 0 B AvB 1 1 0 1 1 1 0 0

b) Sean D70 = {1,2,5,7,10,14,35,70} los divisores de 70. Con 1 como elemento cero y 70 como la unidad. Y donde: a = 10 y b = 14. Defina + , * y por las siguientes reglas: a + b mcm (a,b) = mnimo comn mltiplo de a y b a * B mcd (a,b) = mximo comn divisor de a y b a n / a = 70/ a

Solucin: 10 + 14 = mcm(10,14) = 70 10 * 14 = mcd ( 10,14) = 2 10 = 70/ 10= 7

Detallando: 10 2 5 5 1 14 2 7 7 1 mcm = 2 x 5 x 7 = 70 factores comunes y no comunes con su mayor exponente mcd = 2 = solo factores comunes con su menor exponente.

10 = 2 x 5 = 21 x 5 = 10 14 = 2 x 7 = 21 x 7 = 14

c) Sea A = {a,b,c} y sea P (A) la coleccin de todos los subconjuntos de A: P(A) = [A, {a,b},{a,c},{b,c}{a},{b},{c},] El diagrama es : A (Conjunto unidad)

{a,b}

{a,c}

{b,c}

{a}

{b}

{c}

(Elemento cero) Un elemento a de B se llama tomo de B si es un sucesor inmediato del elemento cero. As los tomos son los 3 conjuntos con solo un elemento{a},{b},{c}. P(A) contiene 23 = 8 elementos y todo conjunto no vaco bajo A es la unin (o producto) de una coleccin nica de tomos. Ejemplo: Sean D70 = {1,2,5,7,10,14,35,70} los divisores de 70. n = 70, a = 10 y b = 14 Encuentre: 1. A = 35 * (2 + 7) 2. B = (35 * 10) + 14 3. C = (2 + 7) * (14 * 10) 4. Dibuje el diagrama de D70 5. Encuentre los tomos de D70

Solucin: 1. 7= n / 7 = 70 / 7 = 10 (2 + 7) = (2 + 10) = mcm(2,10) = 10 2 2 1 10 2 5 5 1 2 =2 10 = 2 x 5 mcm = 2 x 5 = 10

A = 35 * 10 = mcd(35,10) = 5 Factores de 35 = 5,7 Factores de 10 = 2,5

mcd = 5

A=5 2. B = 35 * 10 + 14 14= 70/ 14 = 5 35 + 10 = mcm(35,10) = 5 B=5+5 =5

3. C = (2 + 7) * ( 14 * 10) 14 * 2 14 * 35 7 4. Dibuje el diagrama de D70 70 ( Conjunto unidad)

10

14

35

(Elemento cero)

5. Encuentre los tomos de D70 Solucin : {a},{b},{c} = 2, 5, 7 son los tomos de D70 que son los sucesores inmediatos de 1

Tarea en el cuaderno para el 13/abril/13: Considere D110={1,2,5,10,11,22,55,110} el lgebra de boole de los divisores de 110. Evalue: a) b) c) d) e) f) g) h) X1 = 2 + 11 X2 = 5 * 10 + 2 X3 = 22 * (5 + 10) X4 = 5 * 55 X5 = ( 55 * 10) + 2 X6 = (2 + 11) * 22 Dibuje el diagrama de D110 Encuentre los tomos de D110