Product Design, Manufacturing & Innovation Resources
Lar » Leis de De Morgan

Leis de De Morgan

1850
  • Augustus De Morgan
Digital circuit design workspace showcasing De Morgan's Laws in Boolean algebra.

(Imagem gerada apenas para fins ilustrativos)

As leis de De Morgan são um par de regras de transformação na álgebra booleana que são fundamentais para o projeto de circuitos digitais. primeira lei A primeira afirma que a negação de uma conjunção é a disjunção das negações: [latex]neg(P land Q) iff (neg P) land (neg Q)[/latex]. A segunda afirma que a negação de uma disjunção é a conjunção das negações: [latex]neg(P lor Q) iff (neg P) land (neg Q)[/latex].

In the context of digital electronics, De Morgan’s laws provide a powerful tool for circuit manipulation. They establish a direct equivalence between different types of logic gates. For example, the first law, [latex]\neg(A \cdot B) = \neg A + \neg B[/latex] (using dot for AND and plus for OR), shows that a NAND gate is equivalent to an OR gate with inverted inputs. Similarly, the second law, [latex]\neg(A + B) = \neg A \cdot \neg B[/latex], shows that a NOR gate is equivalent to an AND gate with inverted inputs. This interchangeability is extremely practical. Since NAND and NOR gates are “universal gates”—meaning any Boolean function can be implemented using only NAND gates or only NOR gates—De Morgan’s laws are essential for converting a circuit design from a mix of AND, OR, and NOT gates into a design using a single gate type. This simplifies the manufacturing process for integrated circuits, as only one type of logic cell needs to be perfected and replicated. The laws are also used extensively in logic synthesis software to optimize circuits for speed, area, or power consumption by transforming and simplifying the underlying Boolean expressions.

UNESCO Nomenclature: 1202
Ciência da Computação

Tipo

Sistema abstrato

Interrupção

Substancial

Uso

Uso generalizado

Precursores

  • lógica aristotélica
  • A formulação da lógica simbólica por George Boole
  • Trabalhos sobre dualidade em álgebra e lógica realizados por matemáticos anteriores.

Aplicações

  • Simplificação de expressões booleanas no projeto de circuitos
  • Conversão entre lógica AND-OR e lógica NAND/NOR.
  • compiler optimization in software
  • otimização de consultas de banco de dados
  • formal verification of digital systems

Patentes:

NA

Ideias de Inovação Potencial

Devido ao tráfego de bots de coleta de dados, atualmente superior a 40 mil por dia, este conteúdo é reservado aos membros da comunidade.
> Login < ou > Registrar < (100% gratuito) para acessar isso, assim como todo o restante do conteúdo e das ferramentas restritas.

Relacionado a: leis de De Morgan, álgebra booleana, simplificação lógica, porta NAND, porta NOR, portas universais, lógica digital, teoria dos conjuntos.

Contexto histórico

Leis de De Morgan

1822
1827
1829
1850
1854
1854
1895
1822
1822
1828
1848
1850
1854
1884
1896

(Caso a data seja desconhecida ou irrelevante, por exemplo, "mecânica dos fluidos", é fornecida uma estimativa aproximada de seu surgimento notável)

Princípios relacionados à invenção, inovação e tecnologia

Imagens em tamanho real e downloads estão disponíveis apenas, 100% gratuitos, para membros registrados.