Product Design, Manufacturing & Innovation Resources
Maison » Les lois de De Morgan

Les lois de De Morgan

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

(Image générée à titre d'illustration uniquement)

De Morgan’s laws are a pair of transformation rules in Boolean algebra that are fundamental to digital circuit design. The première loi La première affirmation stipule que la négation d'une conjonction est la disjonction des négations : `neg(P land Q) iff (neg P) lor (neg Q)`. La seconde affirmation stipule que la négation d'une disjonction est la conjonction des négations : `neg(P lor Q) iff (neg P) land (neg Q)`.

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 première loi, [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 deuxième loiL'équation [latex]neg(A + B) = neg A cdot neg B[/latex] démontre qu'une porte NOR est équivalente à une porte AND dont les entrées sont inversées. Cette interchangeabilité est extrêmement pratique. Les portes NAND et NOR étant des « portes universelles » (c'est-à-dire que toute fonction booléenne peut être implémentée en utilisant uniquement des portes NAND ou uniquement des portes NOR), les lois de De Morgan sont essentielles pour convertir un circuit composé de portes AND, OR et NOT en un circuit utilisant un seul type de porte. Ceci simplifie le processus de fabrication des circuits intégrés, car un seul type de cellule logique doit être perfectionné et reproduit. Ces lois sont également largement utilisées dans les logiciels de synthèse logique pour optimiser les circuits en termes de vitesse, de surface ou de consommation d'énergie, en transformant et en simplifiant les expressions booléennes sous-jacentes.

UNESCO Nomenclature: 1202
- Informatique

Taper

Système abstrait

Perturbation

Substantiel

Usage

Utilisation généralisée

Précurseurs

  • logique aristotélicienne
  • Formulation de la logique symbolique par George Boole
  • Travaux sur la dualité en algèbre et en logique par des mathématiciens antérieurs

Applications

  • simplification des expressions booléennes dans la conception de circuits
  • conversion entre la logique et-ou et la logique nand/nor
  • compilateur optimisation logicielle
  • optimisation des requêtes de base de données
  • vérification formelle des systèmes numériques

Brevets:

NA

Idées d'innovations potentielles

  • 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
  • algorithmes de vérification formelle qui utilisent ces lois pour vérifier l'équivalence des circuits
  • conception de circuits tolérants aux pannes en créant des chemins logiques redondants
  • algorithmes cryptographiques qui utilisent des transformations booléennes pour l'obscurcissement
  • démonstrateurs de théorèmes basés sur l'IA qui redécouvrent ou généralisent ces règles logiques
Related to: de morgan’s laws, algèbre booléenne, logic simplification, nand gate, nor gate, universal gates, digital logic, set theory.

Contexte historique

Les lois de De Morgan

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

(si la date est inconnue ou non pertinente, par exemple « mécanique des fluides », une estimation arrondie de son émergence notable est fournie)

10e année anniversaire

Les images en pleine résolution et les téléchargements sont uniquement disponibles, et 100% gratuits, pour les membres inscrits.