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 Boolean algebra that are fundamental to digital circuit design. The first law تنص القاعدة الأولى على أن نفي العطف هو فصل النفي: ∃(P ∩ Q) ≤ (∃P) ∩ (∃Q). وتنص القاعدة الثانية على أن نفي الفصل هو عطف النفي: ∃(P ∩ Q) ≤ (∃P) ∩ (∃Q).

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 القانون الثانييُظهر التعبير [latex]neg(A + B) = neg A cdot neg B[/latex] أن بوابة NOR تُكافئ بوابة AND مع عكس المدخلات. هذه القابلية للتبادل عملية للغاية. بما أن بوابات NAND وNOR تُعتبر "بوابات عالمية" - أي أنه يُمكن تنفيذ أي دالة منطقية باستخدام بوابات NAND فقط أو بوابات NOR فقط - فإن قوانين دي مورغان ضرورية لتحويل تصميم الدائرة من مزيج من بوابات AND وOR وNOT إلى تصميم يستخدم نوعًا واحدًا من البوابات. يُبسط هذا عملية تصنيع الدوائر المتكاملة، حيث لا يلزم سوى إتقان نوع واحد من الخلايا المنطقية وتكراره. تُستخدم هذه القوانين أيضًا على نطاق واسع في برامج توليف المنطق لتحسين الدوائر من حيث السرعة أو المساحة أو استهلاك الطاقة عن طريق تحويل وتبسيط التعبيرات المنطقية الأساسية.

UNESCO Nomenclature: 1202
– Computer science

يكتب

نظام مجرد

خلل

Substantial

الاستخدام

استخدام واسع النطاق

مقدمات

  • المنطق الأرسطي
  • George Boole’s formulation of symbolic logic
  • أعمال علماء الرياضيات الأوائل حول الثنائية في الجبر والمنطق

التطبيقات

  • تبسيط التعبيرات المنطقية في تصميم الدوائر
  • التحويل بين منطق و-أو ومنطق nand/nor
  • المترجم تحسين البرمجيات
  • تحسين استعلامات قاعدة البيانات
  • formal verification of digital systems

براءات الاختراع:

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
  • formal verification algorithms that use these laws to check circuit equivalence
  • design of fault-tolerant circuits by creating redundant logic paths
  • cryptographic algorithms that use boolean transformations for obfuscation
  • ai-based theorem provers that rediscover or generalize these logical rules
Related to: de morgan’s laws, boolean algebra, 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

(إذا كان التاريخ غير معروف أو غير ذي صلة، على سبيل المثال "ميكانيكا الموائع"، يتم توفير تقدير تقريبي لظهوره الملحوظ)

أحدث الإضافات

أهم المنشورات والمقالات

أفضل الأدوات الأصلية

السنة العاشرة عيد

الصور والتنزيلات بالحجم الكامل متاحة فقط، ومجانية تمامًا، للأعضاء المسجلين.