Las Leyes de Morgan son un par de reglas de transformación que son ambas reglas de inferencia válidas. Las normas permiten la expresión de las conjunciones y disyunciones puramente en términos de sí, vía negación. " no (A y B) " es lo mismo que " (no A) o (no B) “ Ó A B = A B y también, " no (A o B) " es lo mismo que " (no A) y (no B) “ A B = A B Ejemplo : Conjunto Universal: U = { a, b, c, d, e, f, g, h, i, j } Y conjuntos A y B: A = { a, c, e, g } , B = { b, d, f, h } , Aplicando las leyes: *A B = A B *A B = A B A B = { a, b, c, d, e, f, g, h } A B = { i, j } A B = ∅ A B = U A = { b, d, f, h, i, j } A B = { i, j } B = { a, c, e, g, i, j } A B = { a, b, c, d, e, f, g, h, i, j } = U Leyes D` Morgan