» De Morgan’s Laws

De Morgan’s Laws

1850
  • Augustus De Morgan

De Morgan’s laws are a pair of transformation rules in Boolean algebra that are fundamental to digital circuit design. The first law states that the negation of a conjunction is the disjunction of the negations: [latex]\neg(P \land Q) \iff (\neg P) \lor (\neg Q)[/latex]. The second states that the negation of a disjunction is the conjunction of the negations: [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 制造业 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 软件 to optimize circuits for speed, area, or power consumption by transforming and simplifying the underlying Boolean expressions.

UNESCO Nomenclature: 1202
– Computer science

类型

Abstract System

Disruption

Substantial

使用方法

Widespread Use

Precursors

  • Aristotelian logic
  • George Boole’s formulation of symbolic logic
  • Work on duality in algebra and logic by earlier mathematicians

应用

  • simplification of boolean expressions in circuit design
  • conversion between and-or logic and nand/nor logic
  • compiler optimization in software
  • database query optimization
  • formal 验证 of digital systems

专利:

Potential Innovations Ideas

级别需要会员

您必须是!!等级!!会员才能访问此内容。

立即加入

已经是会员? 在此登录
Related to: de morgan’s laws, boolean algebra, logic simplification, nand gate, nor gate, universal gates, digital logic, set theory

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注

迎接新挑战
机械工程师、项目或研发经理
有效的产品开发

可在短时间内接受新的挑战。
通过 LinkedIn 联系我
塑料金属电子集成、成本设计、GMP、人体工程学、中高容量设备和耗材、受监管行业、CE 和 FDA、CAD、Solidworks、精益西格玛黑带、医疗 ISO 13485

我们正在寻找新的赞助商

 

您的公司或机构从事技术、科学或研究吗?
> 给我们发送消息 <

接收所有新文章
免费,无垃圾邮件,电子邮件不分发也不转售

或者您可以免费获得完整会员资格以访问所有受限制的内容>这里<

Related Invention, Innovation & Technical Principles

滚动至顶部

你可能还喜欢