برمجة البوابات المنطقية على نظام SIEMENS
إذا كان يعبر عن المنطق في أيام سقراط بالجمل والكلمات مثل (إن........ إذا) فإنه يعبر عنه اليوم بالمعادلات المنطقية وجداول الحقيقة وبخريطة كارنوف
فمثلاً الجملة (إذا كان كل منAوBصحيحين فإن Cيكون صحيحاً يمكن التعبير عنه بما يلي
C = A . B التعبير البوليني
يمكن تعريف الجبر البوليني الذي تم تطويره في القرن التاسع عشر من قبل جمس بل العلم الرياضي الأيرلندي على أنه منطق ثنائي (BINARY) تمثيلي يستعمل في النظم المنطقية حيث متغير Aلا يستطيع أن يأخذ إلا إحدى القيمتين ( 0أو 1) وعليه فإن A قد يكون ( A=1)
أو (A=0) بمعنى آخر إذا لم تكن قيمة A=1)) فيجب أن تكون (0)
وقد استعمل هذا الجبر لتصميم الدوائر المنطقية حيث يمكن تمثيل نظام منطقي بواسطة معادلة واحدة المعادلة يمكن اختصارها و/أو تحويلها إلى أشكال جديدة نفس التقنية تتناسب مع جيداً مع برمجة الوحدات المنطقية المبرمجة بطريقة المخطط السلمي أو مخطط التشغيل
تتكون المعادلات البولينية من متغيرات وعمليات وهي شبيهة بالمعادلات الجبرية العادية العمليات الثلاثة الأساسية للجبر البوليني هي ( و , أو , النفي )
أما البوابات المنطقية فهي ودائر إلكترونية تستعمل لتنفيذ الدوال البولينية ونوع واحد من هذه البوابات المنطقية تستعمل لتنفيذ دالة أساسية بولينية وتركيب هذه البوابات مع بعضها تسمح لتنفيذ الدوال المنطقية المعقدة
