بوابة منطقية  البوابة المنطقية (بالإنجليزية: Logic gate) هي دائرة إلكترونية تحتوي على (مدخل واحد أو عدة مداخل) ومخرج واحد حيث تقوم بعملية منطقية على المدخل وتنتج المخرج المطلوب، تستخدم هذه البوابات في بناء معالجات الأجهزة الاكترونية والحواسيب. لأنّ مُخرج البوابة الرقمية هو أيضاً قيمة منطقية، فإنّه يمكن استخدام مخرج أحد البوابات المنطقية كمدخل لبوابة أخرى. المنطق المستخدم غالباً هو المنطق البولياني (Boolean logic)، وهو المنطق الذي يعمل في الدوائر الرقمية.  يتم صناعة الدائرة الإلكترونية للبوابة الرقمية باستخدام دايودات ومقاحل، ويمكن أيضاً بناؤها باستخدام المبدّلات الإلكترونية، سوائل منطقية، إشارات ضوئية، جزيئات، وحتى من أجزاء ميكانيكية.  المستوى في المنطق البوليانى لابد أن يكون أحد مستويين.هذان المستويان لهم أسماء عديدة منها :عالي ومنخفض، مفتوح ومغلق، نعم ولا، حقيقى وكاذب، واحد وصفر. جدول الحقيقة هو جدول يصف سلوك البوابة المنطقية أو دائرة منطقية(عدة بوابات منطقية) حيث يوضح قيمة المخرج لكل مدخل منطقي محتمل، ويمكن أن يستخدم في تبسيط عدد البوابات المنطقية عند تصميم دائرة منطقية.ولكن بصفة عامة لا يستخدم جدول الحقيقة في التبسيط وإنما تستخدم خريطة كارنو فايتش (karanaugh map).  أهم الأنواع هي منطق المقاومات- المقاحل (الترانزستورات) RTL ومنطق الدايودات -المقاحل DTL ومنطق المقاحل TTL ومنطق الموسفت (ترانزستور معدن -أكسيد -شبه موصل) المتناظر CMOS البوابات المنطقية هي جزء رئيسي من الكثير من الدوائر الرقمية، لذلك، كل نوع منها مُنتج كدارة متكاملة (IC)، انظر لسلسلة 4000 من عائلة CMOS. أو السلسلة 700.  يوجد مجموعتان من الرموز القياسية الأولى تعتمد على شكل الرمز وهي الأقدم وما زالت الأكثر انتشارا لسهولتها والأخرى تعتمد على حروف لاتينية داخل مربعات  مع مراعاة أن المتغيرات z,x,y قيمتهما إما 0 أو 1:  تتألف البوابات المنطقية بشكل عام من ثلاثة بوابات أساسية (AND-OR-NOT).  يعبر عن التابع and بالعلاقة التالية(Z=A AND B)والسبب في هذه التسمية هو أن Z=TRUE فقط حينما يكون كلا من (AوBحقيقيان)  وجدول الحقيقة للتابعAND هو: يعبرعن التابع AND بشكل آخر باستخدام العلاقة التالية:Z=A.B والتي تكتب بشكل أبسط كما يلي:Z=AB تظهر العلاقتان السابقتان أن Zهو الناتج من عملية ضرب AوB وبالطبع ليس المقصود هنا الضرب الحسابي كما أن AوB ليسا بعددين   ويمكن التأكد من صحة هذه العلاقة بتبديل موضعي العمودين AوB في جدول الحقيقة  و التأكد من عدم تغيير القيم الموجودة في العمود Z  Aو BوC فبغض النظر عن ترتيب عمليات الجدول لهذه المتحولات لا تتغير قيمة التابع  Z أي:Z=A(BC)=(AB)C  تمثل الدائرة التي تشكل الجدول المنطقي Z=AB بواسطة الرمز التالي:  وبسبب خاصية الانتقال والتجميع للتابع AND تمثل الدارة التي تشكل الجداء المنطقي  لعدة متحولات بواسطة  يعبر عن تابع OR بالعلاقة التالية: Z=A OR Bوالسبب في هذه التسمية هو  أن(Z=TRUE) إذا كان(A=T)أو(B=T)أو إذا كان كلا من AوBحقيقيان.  وجدول الحقيقة للتابعOR هو:  ويمكن كتابة التابع OR بشكل آخر كما يلي: Z=A+B  بالطبع إشارة الجمع هناك لا تعني عملية الجمع الحسابية وفي كثير من الأحيان يسمى  التابع (A+B)بالمجموع المنطقي ل(A وB)   عنهما بالعلاقتين التاليتين:  Z=A+B=B+A  Z=A+(B+C)=(A+B)+C  تمثل الدارة التي تشكل المجموع المنطقي Z=A+B من أجل متحولين :  ومن أجل عدة متحولات:  ثالثا:التابع NOT (النفي والانعكاس):  العاكس بالتعريف هو بوابة منطقية بمدخل واحد ومخرج واحد.حيث الخرج متمم  للدخل حتما. فحينما يكون الدخل حقيقيا يكون الخرج غير حقيقيا وبالعكس أي حينما  يكون الدخل مساويا ل(A)يكون الخرج Z=A' وجدول الحقيقة للتابع NOT هو:  يستخدم لتمثيل العاكس الرمز التالي:  ويمكن من هذه التوابع الثلاث تشكيل بعض التوابع الفرعية مثل التابعين المنطقيين  حيث يعتبر التابع NANDمتمما للتابع AND أي  NAND و NOR وذلك من التابعين الأساسيين ORو AND  لذا يمكن تمثيل بوابة NAND باستخدام بوابة AND وتوضع دائرة النفي على  خرج هذه البوابة كما هو مبين بالشكل:  كذلك التابع NOR يعتبر متمما للتابع OR أي:  وكذلك تمثيله باستخدام بوابة OR ووضع دائرة النفي على مخرج هذه البوابة كما هو  مبين بالشكل:  تتصف عمليتي NANDوNOR بأنهما قابلتين للتبديل أي أن:  'Z=AB'=BA  '(Z=(A+B)'=(B+A  ولكنهما غير قابلتين للتجميع.