Product Design, Manufacturing & Innovation Resources
Casa » Le leggi di De Morgan

Le leggi di De Morgan

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

(Immagine generata a solo scopo illustrativo)

De Morgan’s laws are a pair of transformation rules in Algebra booleana that are fundamental to digital circuit design. The prima legge La prima afferma che la negazione di una congiunzione è la disgiunzione delle negazioni: [latex]neg(P land Q) iff (neg P) lor (neg Q)[/latex]. La seconda afferma che la negazione di una disgiunzione è la congiunzione delle negazioni: [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 prima legge, [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 seconda legge[latex]neg(A + B) = neg A cdot neg B[/latex], mostra che una porta NOR è equivalente a una porta AND con ingressi invertiti. Questa intercambiabilità è estremamente pratica. Poiché le porte NAND e NOR sono "porte universali" — il che significa che qualsiasi funzione booleana può essere implementata utilizzando solo porte NAND o solo porte NOR — le leggi di De Morgan sono essenziali per convertire un progetto di circuito da un mix di porte AND, OR e NOT a un progetto che utilizza un singolo tipo di porta. Ciò semplifica il processo di produzione dei circuiti integrati, poiché è necessario perfezionare e replicare un solo tipo di cella logica. Le leggi sono anche ampiamente utilizzate nei software di sintesi logica per ottimizzare i circuiti in termini di velocità, area o consumo energetico, trasformando e semplificando le espressioni booleane sottostanti.

UNESCO Nomenclature: 1202
- Informatica

Tipo

Sistema astratto

Interruzione

Sostanziale

Utilizzo

Uso diffuso

Precursori

  • logica aristotelica
  • La formulazione di George Boole della logica simbolica
  • Lavori sulla dualità in algebra e logica di matematici precedenti

Applicazioni

  • semplificazione delle espressioni booleane nella progettazione dei circuiti
  • conversione tra logica and-or e logica nand/nor
  • compilatore ottimizzazione nel software
  • ottimizzazione delle query del database
  • verifica formale dei sistemi digitali

Brevetti:

NA

Idee e potenziali innovazioni

  • automated logic synthesis tools that apply de morgan’s laws for circuit optimization
  • multi-valued logic systems with generalized de morgan’s laws
  • fuzzy logic controllers where de morgan’s laws define fuzzy set operations
  • quantum logic gate synthesis using quantum equivalents of de morgan’s laws
  • algoritmi di verifica formale che utilizzano queste leggi per verificare l'equivalenza del circuito
  • progettazione di circuiti tolleranti ai guasti mediante la creazione di percorsi logici ridondanti
  • algoritmi crittografici che utilizzano trasformazioni booleane per l'offuscamento
  • dimostratori di teoremi basati sull'intelligenza artificiale che riscoprono o generalizzano queste regole logiche
Related to: de morgan’s laws, algebra booleana, logic simplification, nand gate, nor gate, universal gates, digital logic, set theory.

Contesto storico

Le leggi di De Morgan

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

(se la data è sconosciuta o non rilevante, ad esempio "meccanica dei fluidi", viene fornita una stima approssimativa della sua notevole comparsa)

decimo anno anniversario

Le immagini a grandezza naturale e i download sono disponibili, gratuitamente al 100%, solo per gli utenti registrati.

> Login <