بيت » قوانين دي مورغان

قوانين دي مورغان

1850
  • Augustus De Morgan
مساحة عمل تصميم الدوائر الرقمية التي تعرض قوانين دي مورغان في الجبر المنطقي.

قوانين دي مورغان هي زوج من قواعد التحويل في الجبر المنطقي التي تُعد أساسية لتصميم الدوائر الرقمية. وينص القانون الأول على أن نفي الاقتران هو نفي النفي: [latex]/نفي (P \land Q) \iff (\nالسالب P) \Lor (\السالب Q)[/latex]. والثاني ينص على أن نفي النفي هو اقتران النفيين: [latex] \Neg(P \LOR Q) \iff (\Neg P) \LAND (\Neg Q)[/latex].

في سياق الإلكترونيات الرقمية، توفر قوانين دي مورغان أداة قوية لمعالجة الدوائر. فهي تؤسس تكافؤاً مباشراً بين أنواع مختلفة من البوابات المنطقية. على سبيل المثال، يُظهر القانون الأول، [latex]\ng(A \cdot B) = \nneg A + \ng B[/latex] (باستخدام النقطة لـ AND و+ لـ OR)، أن بوابة NAND مكافئة لبوابة OR ذات الدخل المقلوب. وبالمثل، يوضِّح القانون الثاني، [latex] \nneg(A + B) = \nneg A \cdot \nneg B[/latex]، أن بوابة NOR تكافئ بوابة التوافق ذات الدخل المقلوب. هذه التبادلية عملية للغاية. وبما أن بوابات NAND وبوابات NOR هي "بوابات شاملة" - أي يمكن تنفيذ أي دالة منطقية باستخدام بوابات NAND فقط أو بوابات NOR فقط - فإن قوانين دي مورغان ضرورية لتحويل تصميم دائرة من مزيج من بوابات التوافق والاختيار والعاكس إلى تصميم باستخدام نوع بوابة واحد. وهذا يبسِّط تصنيع للدوائر المتكاملة، حيث يجب إتقان نوع واحد فقط من الخلايا المنطقية وتكرارها. تُستخدم القوانين أيضًا على نطاق واسع في التوليف المنطقي برمجة لتحسين الدوائر من حيث السرعة أو المساحة أو استهلاك الطاقة من خلال تحويل وتبسيط التعبيرات المنطقية الأساسية.

UNESCO Nomenclature: 1202
- علوم الحاسب الآلي

النوع

النظام التجريدي

الاضطراب

كبير

الاستخدام

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

السلائف

  • المنطق الأرسطي
  • صيغة جورج بول للمنطق الرمزي
  • أعمال علماء الرياضيات الأوائل حول الثنائية في الجبر والمنطق

التطبيقات

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

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

NA

أفكار ابتكارات محتملة

!!مستويات !!! العضوية مطلوبة

يجب أن تكون عضوًا !!! مستويات!!! للوصول إلى هذا المحتوى.

انضم الآن

هل أنت عضو بالفعل؟ سجّل الدخول هنا
ذات صلة ب: قوانين دي مورغان، الجبر المنطقي، الجبر المنطقي، التبسيط المنطقي، بوابة ناند، بوابة نور، البوابات العامة، المنطق الرقمي، نظرية المجموعة.

اترك تعليقاً

لن يتم نشر عنوان بريدك الإلكتروني. الحقول الإلزامية مشار إليها بـ *

متاح للتحديات الجديدة
مهندس ميكانيكي، مشروع، هندسة العمليات أو مدير البحث والتطوير
تطوير المنتج الفعال

متاح لتحدي جديد في غضون مهلة قصيرة.
تواصل معي على LinkedIn
تكامل الإلكترونيات المعدنية والبلاستيكية، التصميم مقابل التكلفة، ممارسات التصنيع الجيدة (GMP)، بيئة العمل، الأجهزة والمواد الاستهلاكية متوسطة إلى عالية الحجم، التصنيع المرن، الصناعات الخاضعة للتنظيم، شهادات CE وFDA، التصميم بمساعدة الحاسوب (CAD)، Solidworks، الحزام الأسود من Lean Sigma، شهادة ISO 13485 الطبية

نحن نبحث عن راعي جديد

 

هل شركتك أو مؤسستك متخصصة في التقنية أو العلوم أو الأبحاث؟
> أرسل لنا رسالة <

احصل على جميع المقالات الجديدة
مجاني، لا يوجد بريد عشوائي، ولا يتم توزيع البريد الإلكتروني ولا إعادة بيعه

أو يمكنك الحصول على عضويتك الكاملة -مجانًا- للوصول إلى جميع المحتويات المحظورة >هنا<

السياق التاريخي

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

الاختراع والابتكار والمبادئ التقنية ذات الصلة

انتقل إلى الأعلى

قد يعجبك أيضاً