Product Design, Manufacturing & Innovation Resources
Hogar » Leyes de De Morgan

Leyes de De Morgan

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

(Imagen generada únicamente con fines ilustrativos)

De Morgan’s laws are a pair of transformation rules in Álgebra booleana that are fundamental to digital circuit design. The primera ley El segundo establece que la negación de una conjunción es la disyunción de las negaciones: [latex]neg(P land Q) iff (neg P) lor (neg Q)[/latex]. El segundo establece que la negación de una disyunción es la conjunción de las negaciones: [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 primera ley, [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 segunda leyLa expresión [latex]neg(A + B) = neg A cdot neg B[/latex] muestra que una puerta NOR es equivalente a una puerta AND con entradas invertidas. Esta intercambiabilidad es extremadamente práctica. Dado que las puertas NAND y NOR son "puertas universales" —lo que significa que cualquier función booleana puede implementarse utilizando solo puertas NAND o solo puertas NOR—, las leyes de De Morgan son esenciales para convertir un diseño de circuito de una combinación de puertas AND, OR y NOT en un diseño que utiliza un solo tipo de puerta. Esto simplifica el proceso de fabricación de circuitos integrados, ya que solo es necesario perfeccionar y replicar un tipo de celda lógica. Las leyes también se utilizan ampliamente en software de síntesis lógica para optimizar circuitos en cuanto a velocidad, área o consumo de energía, transformando y simplificando las expresiones booleanas subyacentes.

UNESCO Nomenclature: 1202
Ciencias de la computación

Tipo

Sistema abstracto

Ruptura

Sustancial

Uso

Uso generalizado

Precursores

  • lógica aristotélica
  • La formulación de la lógica simbólica de George Boole
  • Trabajos sobre la dualidad en álgebra y lógica realizados por matemáticos anteriores

Aplicaciones

  • Simplificación de expresiones booleanas en el diseño de circuitos
  • Conversión entre lógica and-or y lógica nand/nor
  • compilador optimización en software
  • optimización de consultas de bases de datos
  • verificación formal de sistemas digitales

Patentes:

NA

Ideas para posibles innovaciones

  • 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
  • algoritmos de verificación formal que utilizan estas leyes para comprobar la equivalencia del circuito
  • Diseño de circuitos tolerantes a fallos mediante la creación de rutas lógicas redundantes
  • algoritmos criptográficos que utilizan transformaciones booleanas para la ofuscación
  • demostradores de teoremas basados ​​en inteligencia artificial que redescubren o generalizan estas reglas lógicas
Related to: de morgan’s laws, álgebra booleana, logic simplification, nand gate, nor gate, universal gates, digital logic, set theory.

Contexto histórico

Leyes de De Morgan

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

(Si la fecha es desconocida o no es relevante, por ejemplo "mecánica de fluidos", se proporciona una estimación redondeada de su aparición notable)

décimo año aniversario

Las imágenes en tamaño completo y las descargas solo están disponibles, de forma totalmente gratuita, para los miembros registrados.

> Acceso <