Demuestra la otra ley de De Morgan: (A intersection B)^c = A^c union B^c