Demuestra una de las leyes de De Morgan: (A union B)^c = A^c intersection B^c