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

تستخدم قوانين أوغست دو مورغان في قواعد المنطق في وصف نتيجة عكس عمليتي الضرب المنطقي(و) and و الجمع المنطقي(أو) or

  • NOT (P OR Q) = (NOT P) AND (NOT Q)
  • NOT (P AND Q) = (NOT P) OR (NOT Q)

    • و عن طريق الإشارات

    • الإشارات

    حيث أن:

    • الإتحاد و التقاطع

    وفي قوانيين الجبر البولييني

    الإتحاد و التقاطع يتبدلان تحت النفي.

    • الإتحاد و التقاطع يتبدلان تحت النفي

    حيث أن:

    • قوانيين الجبر

    الإثبات الرياضي لنظرية دي مورجان

    • نظرية دي مورجان

    المراجع

    ويكيبيديا, الموسوعة الحرة

    التصانيف

    قوانين  جبر منطقي  


مقالات قد تهمك

تصفح الموسوعة

المقالات الأكثر قراءة