Douglas Girón

1. Republica bolivariana de Venezuela.
Ministerio de poder para la educación superior.
Instituto universitario politécnico “Santiago Mariño”.
Barcelona Edo. Anzoátegui.
Escuela: sistemas
Sección: sv Bachiller:
Douglas Girón
C.I 22.864.553
Fecha: 13/03/2016

2. Ley Conmutativa
 Ley conmutativa: Establecen que el orden de A ∪ B o A ∩ B no
afecta el resultado.
 Ejemplo: A ∪ B = B ∪ A; A ∩ B = B ∩ A
 A = {1,10,20,8}
 B = {2,11,22,9}
 B ∪ A = {1,2,10,11,20,22,8,9}
 A ∪ B = {1,2,10,11,20,22,8,9}
 A = {1,10,20}
 B = {10,4,20}
 A ∩ B = {10,20}
 B ∩ A = {10,20}

3. Ley Asociativa
 Ley asociativa: Establece que (A ∪ B) ∪ C o (A ∩ B) ∩ C no
modificara su resultado aun que el grupo de asociación cambie.
 Ejemplo: (A ∪ B) ∪ C = A ∪ (B ∪ C); A ∩ (B ∩ C) = (A ∩ B) ∩ C
 (A ∪ B) = {1,10,20,8 ; 2,11,22,9}
 C = {14,16,6,5}
 (A ∪ B) ∪ C = {1,2,5,6,8,10,11,14,16,20,22}
 A ∪ (B ∪ C) = {1,2,5,6,8,10,11,14,16,20,22}
 (A ∩ B) = {1,10,20 ; 2,1,20}
 C = {14,20,1}
 A ∩ (B ∩ C) = {1,20}
 (A ∩ B) ∩ C = {1,20}

4. Leyes D`Morgan
 Leyes D`Morgan: Declarar que la suma de n variables
preposicionales globalmente negadas (o invertidas) es igual al
producto de las n variables negadas individualmente y que
inversamente, el producto de n variables proposicionales
globalmente negadas es igual a la suma de las n variables negadas
individualmente.
 Ejemplos: A ∪ B = A ∩ B;A ∩ B = A ∪ B
 A ∪ B = {1,10,20,8 ; 2,1,20,9}
 A ∩ B = {1,20}
 A ∩ B = Ø => A ∩ B = ∪
 A ∪ B = {1,10,20,8 ; 2,1,20,9}

5. Ley de Idempotencia
 Ley de Idempotencia: Establece que una acción
se puede realizar numerosas veces pero siempre
obteniendo el mismo resultado A ∪ A = A ; B ∩ B
= B.
 Ejemplo: A ∪ A = A ; B ∩ B = B
 A = {1,10,20,8}
 A ∪ A = {1,10,20,8}
 B = {1,10,20,8}
 B ∩ B = {1,10,20,8}

6. Ley de Identidad
 Ley de Identidad: Establece que dos conjuntos escritos
de distinta manera son de hecho el mismo conjunto.
 Ejemplo:
 A ∪ B = {1,10,20,8 ; 2,10,20,9} ; A ∪ B = B
 A ∩ B = {10,20}; A ∩ B = A
 A ∪ Ø = {1,10,20,8}; A ∪ Ø = A
 A ∩ Ø = {}; A ∩ Ø = Ø