Simplifica: (A^c intersection B^c)^c