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)

Las leyes de De Morgan son un par de reglas de transformación en álgebra booleana que son fundamentales para el diseño de circuitos digitales. 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].

En el contexto de la electrónica digital, las leyes de De Morgan proporcionan una poderosa herramienta para la manipulación de circuitos. Establecen una equivalencia directa entre distintos tipos de puertas lógicas. Por ejemplo, la primera ley, [latex]\neg(A \cdot B) = \neg A + \neg B[/latex] (usando punto para AND y más para OR), muestra que una puerta NAND es equivalente a una puerta OR con entradas invertidas. Del mismo modo, la segunda ley, [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”, es decir, que cualquier función booleana puede implementarse utilizando sólo puertas NAND o sólo puertas NOR, las leyes de De Morgan son esenciales para convertir un diseño de circuito de una mezcla de puertas AND, OR y NOT en un diseño que utilice un único tipo de puerta. Esto simplifica el proceso de fabricación de circuitos integrados, ya que sólo es necesario perfeccionar y reproducir un tipo de célula lógica. Las leyes también se utilizan mucho en el software de síntesis lógica para optimizar los circuitos en cuanto a velocidad, área o consumo de energía transformando y simplificando las expresiones booleanas subyacentes.

UNESCO Nomenclature: 1202
- Informática

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
  • optimización del compilador en software
  • optimización de consultas de bases de datos
  • verificación formal de sistemas digitales

Patentes:

NA

Ideas para posibles innovaciones

Debido al bloqueo del tráfico generado por bots, que actualmente supera los 40.000 al día, este contenido está reservado para los miembros de la comunidad.
> Iniciar sesión < o > Registrarse < (100% gratis) para acceder a esto, al igual que a todo el demás contenido y herramientas restringidos.

Relacionado con: leyes de morgan, álgebra booleana, simplificación lógica, puerta nand, puerta nor, puertas universales, lógica digital, teoría de conjuntos.

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)

Invención, innovación y principios técnicos relacionados.

Las imágenes a tamaño completo y las descargas sólo están disponibles, 100% gratis, para los miembros registrados.

> Acceso <