Simplificar expresiones de conjuntos consiste en transformar una expresión compleja en otra equivalente más clara, usando propiedades como identidad, absorción, distributividad y leyes de De Morgan.
Las expresiones de conjuntos pueden combinar unión, intersección, diferencia y complemento. Cuando esas expresiones crecen, conviene simplificarlas para entender mejor qué elementos describen.
Simplificar no significa cambiar el resultado. Significa reemplazar una expresión por otra equivalente, pero más corta o más fácil de interpretar.
Dos expresiones son equivalentes si representan el mismo conjunto para cualquier valor posible de los conjuntos involucrados.
La expresión de la izquierda parece más compleja, pero siempre describe el mismo conjunto que A.
| Propiedad | Regla | Uso |
|---|---|---|
| Identidad | A ∪ ∅ = A, A ∩ U = A | Eliminar operaciones neutras |
| Dominación | A ∪ U = U, A ∩ ∅ = ∅ | Detectar resultados forzados |
| Idempotencia | A ∪ A = A, A ∩ A = A | Quitar repeticiones |
| Absorción | A ∪ (A ∩ B) = A | Reducir expresiones anidadas |
| De Morgan | (A ∪ B)ᶜ = Aᶜ ∩ Bᶜ | Distribuir complementos |
Si una operación no modifica el conjunto, puede eliminarse.
Primero se elimina la unión con el conjunto vacío. Luego se elimina la intersección con el universo.
Algunas operaciones determinan el resultado sin importar el otro conjunto.
Como A ∩ ∅ = ∅, la expresión se reduce a B.
Cuando un conjunto aparece repetido en la misma operación, una copia alcanza.
Los conjuntos no duplican elementos, por eso repetir A no cambia el resultado.
La absorción permite reducir expresiones donde un conjunto ya contiene la parte agregada.
Estas reglas son muy útiles porque aparecen con frecuencia en condiciones combinadas.
Un conjunto unido con su complemento cubre todo el universo. Un conjunto intersectado con su complemento produce el vacío.
Estas reglas permiten reemplazar expresiones completas por U o ∅.
Complementar dos veces devuelve el conjunto original.
Esta regla ayuda a limpiar expresiones con negaciones acumuladas.
Las leyes de De Morgan permiten transformar complementos de uniones e intersecciones.
La clave es detectar que Aᶜ ∩ A = ∅.
Simplifiquemos una expresión usando varias propiedades.
Aplicamos distributividad inversa:
La expresión completa se simplifica a A.
Para simplificar expresiones de conjuntos, conviene seguir un proceso ordenado.
Muchas expresiones de conjuntos se corresponden con condiciones lógicas. Simplificar una expresión puede equivaler a simplificar una condición de un programa.
En lenguaje lógico, si una condición A ya debe cumplirse, agregar "A o B" no cambia el resultado final.
Podemos verificar una simplificación calculando ambos lados de la igualdad con conjuntos concretos.
function union(a, b) {
return new Set([...a, ...b]);
}
function interseccion(a, b) {
return new Set([...a].filter(elemento => b.has(elemento)));
}
function sonIguales(a, b) {
return a.size === b.size && [...a].every(elemento => b.has(elemento));
}
const a = new Set([1, 2, 3]);
const b = new Set([3, 4, 5]);
const expresion = union(a, interseccion(a, b));
const simplificada = a;
console.log([...expresion]);
console.log(sonIguales(expresion, simplificada));El ejemplo verifica la propiedad de absorción A ∪ (A ∩ B) = A.
También podemos comprobar una expresión que usa complemento.
function interseccion(a, b) {
return new Set([...a].filter(elemento => b.has(elemento)));
}
function complemento(universo, conjunto) {
return new Set([...universo].filter(elemento => !conjunto.has(elemento)));
}
const universo = new Set([1, 2, 3, 4, 5, 6]);
const a = new Set([1, 2, 3]);
const complementoA = complemento(universo, a);
const resultado = interseccion(a, complementoA);
console.log([...resultado]);
console.log(resultado.size === 0);La expresión A ∩ Aᶜ se simplifica a ∅.
| Área | Simplificación | Beneficio |
|---|---|---|
| Filtros de búsqueda | Eliminar condiciones redundantes | Consultas más claras |
| Permisos | Reducir reglas repetidas | Menos errores de autorización |
| Pruebas | Comprobar equivalencia de reglas | Validaciones más confiables |
| Lógica de negocio | Transformar condiciones compuestas | Código más fácil de mantener |
La simplificación de expresiones de conjuntos permite razonar con mayor claridad y reducir operaciones innecesarias. También conecta directamente con la simplificación de condiciones en programación.
En el próximo tema estudiaremos la resolución de problemas mediante diagramas de Venn.