A∪B=(A^c∩B^c)^c