¿Qué es Leyes de De Morgan?
Las Leyes de De Morgan son un par de reglas fundamentales en lógica proposicional y teoría de conjuntos que describen cómo negar conjunciones (Y) y disyunciones (O). En esencia, nos dicen cómo distribuir la negación a través de estas operaciones lógicas. La primera ley establece que la negación de una conjunción es equivalente a la disyunción de las negaciones. En otras palabras, negar que 'A y B' es lo mismo que decir 'no A o no B'. La segunda ley indica que la negación de una disyunción es equivalente a la conjunción de las negaciones. Esto significa que negar que 'A o B' es lo mismo que decir 'no A y no B'. Estas leyes son muy útiles para simplificar expresiones lógicas, transformar proposiciones y demostrar equivalencias en matemáticas y ciencias de la computación. Permiten reescribir declaraciones de una forma que sea más fácil de entender o manipular, especialmente en el contexto de la programación y el diseño de circuitos.
Fórmula Matemática
Ejemplo Resuelto
Consideremos el conjunto universal U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}. Sean A = {1, 2, 3, 4} y B = {3, 4, 5, 6}. Entonces, A ∪ B = {1, 2, 3, 4, 5, 6} y su complemento (A ∪ B)' = {7, 8, 9, 10}. Por otro lado, A' = {5, 6, 7, 8, 9, 10} y B' = {1, 2, 7, 8, 9, 10}. Por lo tanto, A' ∩ B' = {7, 8, 9, 10}. Vemos que (A ∪ B)' = A' ∩ B', lo que ilustra una de las Leyes de De Morgan. Otro ejemplo: 'No es cierto que Juan estudia matemáticas Y Pedro estudia física' es equivalente a 'Juan no estudia matemáticas O Pedro no estudia física'.