Product Design, Manufacturing & Innovation Resources
Heim » De Morgansche Gesetze

De Morgansche Gesetze

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

(Abbildung dient nur zur Veranschaulichung)

Die De Morganschen Gesetze sind ein Paar Transformationsregeln der Booleschen Algebra, die grundlegend für den Entwurf digitaler Schaltungen sind. erstes Gesetz Die erste Aussage besagt, dass die Negation einer Konjunktion die Disjunktion der Negationen ist: [latex]neg(P land Q) iff (neg P) lor (neg Q)[/latex]. Die zweite Aussage besagt, dass die Negation einer Disjunktion die Konjunktion der Negationen ist: [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
- Computerwissenschaften

Typ

Abstraktes System

Störung

Wesentliche

Verwendung

Weitverbreitete Verwendung

Vorläufer

  • Aristotelische Logik
  • George Booles Formulierung der symbolischen Logik
  • Arbeiten früherer Mathematiker zur Dualität in Algebra und Logik

Anwendungen

  • Vereinfachung boolescher Ausdrücke im Schaltungsdesign
  • Konvertierung zwischen UND-ODER-Logik und NAND/NOR-Logik
  • Compileroptimierung in Software
  • Optimierung von Datenbankabfragen
  • formale Verifikation digitaler Systeme

Patente:

NA

Potenzielle Innovationsideen

Aufgrund des hohen Datenverkehrs durch Web-Scraping-Bots, der derzeit mehr als 40.000 Anfragen pro Tag umfasst, ist dieser Inhalt ausschließlich Community-Mitgliedern vorbehalten.
> Anmelden < oder > Registrieren < (100% kostenlos) Zugriff darauf sowie auf alle anderen eingeschränkten Inhalte und Tools.

Verwandt mit: De Morganschen Gesetzen, Boolescher Algebra, Logikvereinfachung, NAND-Gatter, NOR-Gatter, universellen Gattern, digitaler Logik, Mengenlehre.

Historischer Kontext

De Morgansche Gesetze

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

(wenn das Datum unbekannt oder nicht relevant ist, z. B. „Strömungsmechanik“, wird eine gerundete Schätzung seines bemerkenswerten Auftretens bereitgestellt)

Verwandte Erfindungen, Innovationen und technische Prinzipien

Bilder in voller Größe und Downloads sind nur für registrierte Mitglieder 100% kostenlos verfügbar.

> Login <