في الرياضيات والمنطق الرياضي، الجبر البولي هو فرع من فروع الجبر حيث قيم المتغيرات هي قيم الحقيقة "صحيح" و "كاذب"، وعادة ما يشار إلى 1 و 0 على التوالي. بدلاً من الجبر الأولي حيث قيم المتغيرات هي الأرقام، والعمليات الأساسية هي الجمع والضرب، فإن العمليات الرئيسية للجبر البولية هي الارتباط "و" المشار إليه باسم <unk>، والانقسام "أو" المشار إليه باسم <unk>، والنفي "ليس" المشار إليه باسم ¬. وبالتالي فهي شكلية لوصف العلاقات المنطقية بنفس الطريقة التي يصف بها الجبر العادي العلاقات العددية.  تم تقديم الجبر البولي من قبل جورج بول في كتابه الأول "التحليل الرياضي للمنطق" (1847) ، ووضعت بشكل أكثر شمولا في كتابه "تحقيق في قوانين الفكر" (1854). وفقًا لـ هنتنغتون ، تم اقتراح مصطلح "جبر بولي" لأول مرة من قبل شيفر في عام 1913.  كانت الجبر البولية أساسية في تطوير الإلكترونيات الرقمية، وهي متوفرة في جميع لغات البرمجة الحديثة. كما يستخدم في نظرية المجموعات والإحصاءات.  جبر بول سبق التطورات الحديثة في الجبر المجرد والمنطق الرياضي؛ ومع ذلك يُنظر إليه على أنه مرتبط بأصول كلا المجالين. في بيئة تجريدية ، تم تكامل الجبر البولي في أواخر القرن التاسع عشر من قبل جيفونز ، شرودر ، هنتنغتون ، وغيرهم حتى وصل إلى المفهوم الحديث لهيكل رياضي (مجرد). على سبيل المثال، يمكن للملاحظة التجريبية أن المرء يمكنه التلاعب بالتعبيرات في جبر المجموعات عن طريق ترجمتها إلى تعبيرات في جبر بول، يتم تفسيرها بمصطلحات حديثة من خلال القول بأن جبر المجموعات هو جبر بولي "أ" (لاحظ المادة غير المحددة). في الواقع، أثبت M. H. Stone في عام 1936 أن كل جبراً بولية متماثل لحقل من المجموعات.  أجب على الأسئلة التالية: ماذا قدم جورج بول؟  إجابات مرقمة:
1. جورج بول