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)

Les lois de De Morgan sont une paire de règles de transformation en algèbre booléenne qui sont fondamentales pour la conception de circuits numériques. 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 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
- 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
  • optimisation du compilateur dans les logiciels
  • optimisation des requêtes de base de données
  • vérification formelle des systèmes numériques

Brevets:

NA

Idées d'innovations potentielles

En raison du trafic généré par les robots de scraping, actuellement supérieur à 40 000 par jour, ce contenu est réservé aux membres de la communauté.
> Connexion < ou > Registre < (100% gratuit) pour y accéder, ainsi qu'à tous les autres contenus et outils à accès restreint.

Liens en rapport : lois de morgan, algèbre booléenne, simplification logique, porte nand, porte nor, portes universelles, logique numérique, théorie des ensembles.

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)

Inventions, innovations et principes techniques connexes

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