قواعد لتبسيط التعبيرات المنطقية (نفي (A و B) يساوي (نفي A) أو (نفي B)).
تساعد المبرمجين على تبسيط الشروط المعقدة في الكود.