Quais são as Leis de De Morgan?

Para conjuntos A e B dentro de um universo:

Negação da união
AB=AB

Não estar em A ou B significa não estar em A E não estar em B. A união vira interseção.

Negação da interseção
AB=AB

Não estar em ambos significa faltar em pelo menos um. A interseção vira união.

Atualizado em ago/2026. Quem te mostra isso é o Universo Narrado, com mais de 1 milhão de inscritos no YouTube. Esta fórmula leva o selo Demonstrável: foi provada a partir do que já estava estabelecido — a pergunta certa é "como chegamos aqui?" Esta é uma das equações já classificadas nos volumes publicados do Guia de Fórmulas Explicadas.

O que significa cada símbolo?

A barra sobre o conjunto indica o complementar — tudo que está fora dele:

SímboloO que éUnidade / observação
Acomplementar de A: o que está fora de A
união ("ou")
interseção ("e")

De onde vem a fórmula?

A pergunta é: por que a operação troca ao negar? A prova mais clara é ler a definição em português, com cuidado.

Pegue AB. Um elemento está aí se não está na união — ou seja, se não está em A e também não está em B. Isso é exatamente a definição de AB. As duas descrições são a mesma coisa dita de dois jeitos.

Agora a outra: AB. Um elemento está aí se não está nos dois ao mesmo tempo — o que acontece se ele falta em A, ou falta em B, ou falta nos dois. Isso é AB.

A leitura que prova
x(AB)    xA  e  xB    xAB

Negar um "ou" produz um "e". Ler a definição com atenção já é a demonstração.

Selo Demonstrável. E vale muito guardar a versão lógica, porque ela aparece em programação, em enunciados de prova e em raciocínio cotidiano: Negar um “ou” vira “e”; negar um “e” vira “ou”. Um exemplo do dia a dia deixa isso concreto. A frase “vou à praia se fizer sol e eu estiver de folga” é negada por: “não vou se não fizer sol ou não estiver de folga”. Basta uma das condições falhar. Quem nega para “não fizer sol e não estiver de folga” exige que as duas falhem — e erra o sentido. Você pode estar pensando: “isso é matemática ou português?” As duas coisas. É por isso que De Morgan é usada tanto em teoria dos conjuntos quanto em lógica proposicional e em condições de código: a estrutura é a mesma.

Teoria dos Conjuntos: o guia completo para entender

Quando usar (e quando não)?

Use para simplificar condições compostas, negar enunciados corretamente e resolver problemas de conjuntos em que a informação vem pelos complementares.

Em programação, é o que transforma !(a  &&  b) em !a    !b — a mesma lei, outra notação.

O erro mais comum é negar mantendo a mesma operação. A negação de "A e B" NÃO é "não A e não B" — é "não A ou não B". Trocar a operação é justamente o conteúdo da lei.

Exemplo resolvido

Antes de resolver, prevê pela lei: negar uma interseção deve produzir uma união dos complementares. Então o resultado tem que ser maior que cada complementar isolado:

🪖 BásicoNegando com conjuntos e com palavras

No universo U = {1,2,3,4,5,6,7,8}, sejam A = {1,2,3,4} e B = {3,4,5,6}. Verifique que AB=AB.

  1. AB={3,4}, então AB={1,2,5,6,7,8}.
  2. A={5,6,7,8} e B={1,2,7,8}.
  3. AB={1,2,5,6,7,8}.
  4. Os dois lados coincidem ✓.
Ambos os lados dão {1,2,5,6,7,8} — a lei se confirma

Verificação: bateu com a previsão: a união dos complementares (6 elementos) ficou maior que cada um deles (4 elementos cada). E se tivéssemos negado errado, escrevendo AB? Daria apenas {7,8} — os elementos fora dos dois conjuntos. Bem diferente, e é exatamente o erro que a lei previne.

Quais os erros mais comuns?

  1. 01

    Manter a operação ao negar

    A negação de “A e B” é “não A OU não B”. Manter o “e” muda completamente o significado.

    Como evitar: a operação sempre troca: união vira interseção e vice-versa. É o conteúdo da lei.
  2. 02

    Esquecer de negar os dois termos

    Escrever AB em vez de AB nega só metade da expressão.

    Como evitar: a negação atinge cada termo E troca a operação. As duas coisas, sempre.
  3. 03

    Confundir o universo de referência

    O complementar depende do universo definido. Sem saber qual é U, A não está determinado.

    Como evitar: identifique o universo antes de calcular qualquer complementar.

FAQ: perguntas sobre as Leis de De Morgan

Quais são as Leis de De Morgan?

AB=AB e AB=AB: ao negar, a operação troca.

Por que a operação troca ao negar?

Porque não estar na união significa não estar em nenhum dos dois (um “e”), e não estar na interseção significa faltar em pelo menos um (um “ou”). É a própria definição lida com cuidado.

Como negar “A e B” corretamente?

Como “não A ou não B”. Basta uma das condições falhar para que a conjunção seja falsa.

Como negar “A ou B”?

Como “não A e não B”. Para que uma disjunção seja falsa, as duas partes precisam falhar.

De Morgan vale em lógica e programação?

Vale, e é muito usada: !(a  &&  b) equivale a !a    !b. É a mesma lei em outra notação.

Preciso definir o universo para usar as leis?

Precisa, porque o complementar depende dele. Sem o universo especificado, A não fica determinado.

As leis valem para três ou mais conjuntos?

Valem. A negação de uma união de vários vira a interseção de todos os complementares, e vice-versa.

Qual a relação com o princípio da inclusão e exclusão?

São ferramentas complementares de conjuntos: De Morgan reescreve expressões, e a inclusão-exclusão conta elementos. Muitos problemas usam as duas juntas.

Continue no Guia de Fórmulas