جبر بول
جبر بُول هو أحد مواضيع الرياضيات والرياضيات المنطقيّة والرياضيات المُتقطّعة، ويُعتَبر فرعاً من فروع الجبر حيثُ يعمل بمُتغيّرين اثنين هما "الصح" أو "الخطأ" ويُرمز لهما بالعددين 1 و 0 بعكس الجبر الإبتدائي الذي قد يكون المُتغيّر فيه أي عددٍ كان. وفي حين أن العمليّات الرئيسيّة في الجبر هي الجمع والضرب، تكون العمليّات في الجبر البولي هي العطف أو الوصل وتُقرأ على أنّها "واو العطف" "( وَ and)" ويُرمز لها بالرمز ∧؛ والعمليّة الثانية هي الفصل وتُقرأ على أنّها "حرف التخيير (أو or)" ويُرمز لها بالرمز ∨؛ وثالث العمليّات الرئيسيّة هي النفي "(ليس not)" ويُرمز لها بالرمز ¬. وبهذا، تكون العلاقات في الجبر البولي مُشابِهة للعلاقات العددية المستخدمة في الجبر المعتاد.

يُنسَب الجبر البولي لعالِم الرياضيات البريطاني جورج بول الذي ابتكرها وقدّمها في كتابِه الأوّل تحليل الرياضيات المنطقيّة ("The Mathematical Analysis of Logic") عام 1847، وشرحها أكثر ووضع أُسسها في كتابِه استقراء قوانين التفكير ("An Investigation of the Laws of Thought") عام 1854. وأول من اقتَرح مُصطلح "الجبر البولي" على هذا النوع من الجبر هو الرياضياتي الأمريكي عام 1913.

عندما وضع جورج بول أُسس الجبر البولي لم يكن لهُ ذلك القدر من الأهميّة كما عندنا في الوقت الحالي، ولكن مع مجيء عصر الحواسيب اتّضَح لنا إنه باستطاعتنا تشغيل الحاسوب وبرمجته بواسطة اتّباع الطريقة البُولية، حيث أن الحاسوب يستخدم 0 و1 في عمليّاته وتفاهماته. وبذلك ساعَد الجبر البولي على تطوير الإلكترونيات الرقمية، كما أنّه يُستَخدم في نظريّة المجموعات والإحصاء.
Q395
الرياضيات
Concept
Q1166618
والرياضيات المنطقيّة
Concept
Q121416
والرياضيات المُتقطّعة
Concept
Q3968
الجبر
Concept
Q50701
بمُتغيّرين
Concept
Q211294
الجبر الإبتدائي
Concept
Q16128394
عددٍ
UNK
Q32043
الجمع
Concept
Q40276
والضرب
Concept
Q173183
العطف
Concept
Q2630879
"واو العطف"
Concept
Q173183
الفصل
Concept
Q190558
النفي
Concept
Q134661
جورج بول
PER
Q68
الحواسيب
Concept
Q173156
الإلكترونيات الرقمية
Concept
Q12482
نظريّة المجموعات
Concept
Q12483
الإحصاء
Concept
1847-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1847
DATE
1854-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1854
DATE
1913-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1913
DATE
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
0^^http://www.w3.org/2001/XMLSchema#decimal
0
NUMBER
+1847^^http://www.w3.org/2001/XMLSchema#decimal
1847
NUMBER
+1854^^http://www.w3.org/2001/XMLSchema#decimal
1854
NUMBER
+1913^^http://www.w3.org/2001/XMLSchema#decimal
1913
NUMBER
0^^http://www.w3.org/2001/XMLSchema#decimal
0
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
subclass of
part of
part of
part of