يعتبر الجبر البوولي أحد المرتكزات الأساسية المستخدمة في تصميم وتركيب الحاسوب. ويعود الفضل في وضع الأسس النظرية للجبر البوولي، والذي يسمى أيضًا بالجبر المنطقي، إلى العالم الرياضي الإنجليزي المشهور جورج بوول. وقد نشر هذا العالم نظرياته في منتصف القرن التاسع عشر لتصبح فيما بعد الأساس في تصميم الدوائر المنطقية التي يتكون منها الحاسوب.[1] م:قام الرياضي الانجليزي جورج بوول بنشر كتابة "استقراء قوانين التفكير" في 1854 الذي وضع فيه و في أعماله اللاحقة أسس الجبر المنطقي الذي يعد لبنة هامة في تصميم العمليات المنطقية للحاسوب الحديث [2].
الجبر المنطقي (Boolean algebra) قد يعني :
جدول أو خريطة أو مخطط كارنو فايتش أو مخطط كارنو كما يسمى عادة هي خريطة تستعمل في الرياضيات الثنائية أو ما يسمى أيضا بالجبر المنطقي و ذلك لإختصار بعض الجمل أو التعابير المنطقية. عادة ما يستعمل جدول كارنو في المعادلات التي تحتوي بين متغيران و أربع متغيرات. نظريا طبعا يمكن إستعماله لعدد أكبر من المتغيرات و لكن ذلك ليس متداولا حيث أنه في هذه الحالات هناك طرق أكثر فعالية للإختزال.