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