نظرية دي مورجان تستخدم في القواعد والاسس المنطقية بحيث تقوم بوصف نتيجة عكس عمليتي الجمع المنطقي (و)والضرب المنطقي (او) وتستخدم العلامات التالية: علامة تعبر عن النفي المنطقي ...لا /no علامة تعبر عن الجمع المنطقي ..و/and علامة تعبر عن الضرب المنطقي ..او /or علامة تعني متساويان منطقيا..اذا وفقط اذا وتتمحور أهمية هذه النظرية في استخدامها بحيث تستخدم في البرمجة الرقمية وصنع المخططات للدوائر الرقمية .
يتم استخدام قوانين ونظريات أوغست دو مورغان في قواعد المنطق في البرمجه وذلك ليتم الوصف للنتيجة العكسيه لعمليتي الضرب المنطقي (و) and وايضا الجمع المنطقي (أو) or NOT (P OR Q) = (NOT P) AND (NOT Q) NOT (P AND Q) = (NOT P) OR (NOT Q)
بحيث أن: علامة التعجب ! تعبر عن النفي المنطقي(لا)(NOT) وعلامة && تعبر عن الضرب المنطقي (و)(AND) وعلامة && تعبر عن الجمع المنطقي(أو)(OR) وعلامة == تعني متساويان منطقيا (إذا و فقط إذا)