Algebra de Boole - Relaciones Formulario
Algebra de Boole - Relaciones Formulario
Algebra de Boole - Relaciones Formulario
ALGEBRA DE BOOLE
Idempotencia: a a a; a a a
Conmutativa: a b b a; a b b a
Asociativa: a b c a b c; a b c a b c
Distributiva: a b c a b a c ; a b c a b + a c
Absorción: a a b a ; a a b a ; a 0 0 ; a 1 1
Complemento: a a ; a a 1 ; a a 0
Identidad: a 0 a ; a 1 a
RELACIONES
PROPIEDADES DE LAS RELACIONES
Reflexiva: Una relación R en un conjunto A se denomina reflexiva si cada elemento x
de A esta relacionado consigo mismo. Es decir:
R es reflexiva x : x A xRx
No reflexiva: Se dice que una relación R en un conjunto A es no reflexiva si existe
algún elemento de A que no esta relacionado consigo mismo. Es decir:
R es no reflexiva x / x A x R x
R es arreflexiva x : x A x R x
Reflexiva
Relación de Equivalencia Simetría
Transitiva
Si la relación es de equivalencia, cumple las siguientes características de la relación.
K a x A / x a o bien K a x A / x,a R
Se lee: La clase de equivalencia para un elemento dado “a” son todos los elementos que
pertenecen a A tal que estos elementos estén relacionados con a.
A A
K a / a I o K1,K 2 ,K 3 ,...,K n
Reflexiva
Amplio Antisimétrica
Transitiva
Relación de Orden
Arreflexiva
Estricto Asimetrica
Transitiva
1.2.1. RELACION DE ORDEN PARCIAL O TOTAL
A) Relación de orden total: Cuando todos los elementos de A son
comparables dos a dos.
Es decir: