يعتبر الجبر المنطقي حجر الأساس في الدارات الرقمية .
أولاً : مسلمات الجبر المنطقي :
a = 0 → a‘ = 1 a = 1 → a‘ = 0 0 = 0 . 0 1 = 1 . 1 0 = 0 . 1 0 = 0 + 0 1 = 0 + 1 1 = 1 + 1
ثانياً : نظريات الجبر المنطقي :
a .1 = a a .0 = 0 a + 1 = 1 a + 0 = a a + a = a a . a = a a + a‘ = 1 a . a‘ = 0 a“ = a ab=ba a+b=b+a a(b+c)=ab+ac ' قانون دي مور غان' f=(a+b)‘=a‘b‘de f=ab→f‘=a‘+b‘de
وتعتبر قوانين الجبر المنطقي ذات اهمية خاصة في اختصار التوابع المنطقية وتشكيل الدارات الرقمية ويوجد بعض الاشكال للجبر المنطقي تسمى الاشكال العادية منها 1-مجموع المضاريب:وفيه يكون الخرج المثبت واحد منطقي 2-مضروب المجاميع:وفيه يكون الخرج المعتمد في تشكيل التابع المنطقي هو الصفر المنطقي
والله ولي التوفيق