De acordo com as leis de De Morgan, o complementar da interseção é igual à união dos complementares. Assim, dado um conjunto universo U, seja X^c o complementar de X em relação a U. Considere o conjunto universo: U = {1,2,3,4,5} e os subconjuntos: A = {1,2} e B = {2,4}. O conjunto A^c ∪ B^c é igual a: