Product Design, Manufacturing & Innovation Resources
家 » 德摩根定律

德摩根定律

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

(图片仅供参考)

De Morgan’s laws are a pair of transformation rules in 布尔代数 that are fundamental to digital circuit design. The 第一定律 指出连词的否定是否定的析取:[latex]\neg(P \land Q) \iff (\neg P) \lor (\neg Q)[/latex].第二种说法是,析取的否定是否定的合取:[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 第一定律, [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 第二定律, [latex]\neg(A + B) = \neg A \cdot \neg B[/latex],表明 NOR 门等价于具有反相输入的 AND 门。这种互换性非常实用。由于 NAND 和 NOR 门是 “通用门”--这意味着任何布尔函数都可以只使用 NAND 门或 NOR 门来实现--因此,要将电路设计从 AND、OR 和 NOT 门的混合转换为使用单一门类型的设计,德摩根定律是必不可少的。这简化了集成电路的制造过程,因为只需完善和复制一种逻辑单元。逻辑定律还广泛应用于逻辑合成软件中,通过转换和简化底层布尔表达式,优化电路的速度、面积或功耗。.

UNESCO Nomenclature: 1202
- 计算机科学

类型

抽象系统

中断

重大的

用法

广泛使用

前体

  • 亚里士多德逻辑
  • 乔治-布尔提出符号逻辑
  • 早期数学家对代数和逻辑中的对偶性的研究

应用程序

  • 电路设计中布尔表达式的简化
  • 与或逻辑与与非/或逻辑之间的转换
  • 编译器 软件优化
  • 数据库查询优化
  • 形式验证 数字系统

专利:

NA

潜在创新理念

  • 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
  • 使用这些定律来检查电路等效性的形式验证算法
  • 通过创建冗余逻辑路径来设计容错电路
  • 使用布尔变换进行混淆的加密算法
  • 基于人工智能的定理证明器,重新发现或概括这些逻辑规则
Related to: de morgan’s laws, 布尔代数, logic simplification, nand gate, nor gate, universal gates, digital logic, set theory.

历史背景

德摩根定律

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

(如果日期未知或不相关,例如“流体力学”,则提供其显著出现的近似估计)

第十年 周年纪念日

只有注册会员才能免费获得 100% 的全尺寸图片和下载。.

> 登录 <