De Morgan’s laws are a pair of transformation rules in Boolean algebra that are fundamental to digital circuit design. The first law تنص القاعدة الأولى على أن نفي العطف هو فصل النفي: ∃(P ∩ Q) ≤ (∃P) ∩ (∃Q). وتنص القاعدة الثانية على أن نفي الفصل هو عطف النفي: ∃(P ∩ Q) ≤ (∃P) ∩ (∃Q).

















