As Leis de Morgan foram descritas pelo matemático inglês Augustus Morgan (1806-1871) e é dividida em duas formas. Essa matéria corresponde as avaliações de Exatas e Ciências Naturais. A maneira de estudar esse contexto varia muito, dependendo da área em que deseja inserir o estudo.
As formas mais utilizadas de inserir as Leis de Morgan em contextos avaliativos são por preposições ou por operações relacionadas a conjuntos.
Primeira Lei de Morgan
O ~ nas leis representa lógica de negação;
O ^ nas leis representa lógica de conjunção; e
O v nas leis representa lógica de disjunção.
Nesse contexto, além dos símbolos lógicos, podemos encontrar variáveis, como por exemplo o c e o d.
As primeiras leis são representadas como:
* ~(c ^ d)= ~c v ~d
Essa expressão significa que negar simultaneidade de c e d é afirmar pelo menos um não c ou um não d.
* ~(c v d)= ~c ^ ~d
Essa expressão significa que negar a ocorrência de pelo menos c ou d é afirmar nem c e nem o d.
Mas se no contexto, afirmarem que existem dois conjuntos A e B onde ∩, ∪, 
Onde a primeira simboliza que o complementar da reunião de dois conjuntos é igual à interseção dos complementares dos conjuntos iniciais;
E a segunda corresponde ao complementar da interseção de dois conjuntos é igual à reunião dos complementares dos conjuntos iniciais.
Segunda Lei de Morgan
A segunda lei permite que os matemáticos possam efetuar negações em casos de proposições com quantificações existenciais e universais.
Dada a proporção ou condição de p(x) em que x ∈ A, sendo o conjunto em números reais e a expressão ∀x ∈ A: p (x). Esse caso corresponde que para todo o elemento de A, verifica-se p.
Já a expressão ∃x ∈ A: p(x), corresponde que existe pelo menos um elemento de A que verifica p.
Para negar ambas afirmações descritas acima, basta que utilizem as formas que veremos abaixo.
~[∀ x ∈ A:p(x)] <-> ∃x ∈ A: ~p(x)
~[∃x ∈ A: p(x)] <-> ∀x ∈ A: ~p (x)
Estando em forma de negação qualquer proposição, estão associadas a Segunda Lei de Morgan.