بوابة منطقية
البوابة المنطقية (بالإنجليزية: Logic gate) هي دائرة إلكترونية تحتوي على (مدخل واحد أو عدة مداخل) ومخرج واحد حيث تقوم بعملية منطقية على المدخل وتنتج المخرج المطلوب، تستخدم هذه البوابات في بناء معالجات الأجهزة الاكترونية والحواسيب.
لأنّ مُخرج البوابة الرقمية هو أيضاً قيمة منطقية، فإنّه يمكن استخدام مخرج أحد البوابات المنطقية كمدخل لبوابة أخرى. المنطق المستخدم غالباً هو المنطق البولياني (Boolean logic)، وهو المنطق الذي يعمل في الدوائر الرقمية.
منطق
يُعَرَّف علم المنطق الصوري بأنه: ويُطْلَق على علم المنطق تسميات عدة، منها: فن النظر، وميزان العقول، ومعيار العلم. فهو مجموعة من القوانين العقلية التي إِن راعاها الإنسان في التفكير استطاع أن يصل إلى النتائج الصحيحة الخالية من الخطأ، وهو بهذا الاعتبار علم لا يُذم؛ فالعلوم لا تذم من حيث هي علوم، إنما تذم باعتبار استعمالاتها واستخداماتها، وليست كل قواعد وقوانين المنطق بديهية، بل منها ما هو ضروري لا يحتاج إلى نظر وتأمل، ومنها ما هو نظري يحتاج إلى تأمل وتنبيه. وبناء على ذلك يكون علم المنطق من جملة علوم الشرع الشريف؛ لأنه آلة لها، وبه تعرف حقائق الأشياء ودلائلها، قال ابن عابدين: "المنطق، وهو بحث عن وجه الدليل وشروطه ووجه الحد وشروطه، وهما داخلان في علم الكلام". وبيّن الإمام ابن حجر الهيتمي منزلة علم المنطق وأنه آلة للعلم الشرعي فقال: "... ككتب العلم الشرعي وآلته، كالمنطق الموجود اليوم".