افتح القائمة الرئيسية

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

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

لم يَكن للجبر البولياني ذلك القدر من الأهميّة كاليوم حينما وضع جورج بول أُسسه، ولكن مع مجيء عصر الحواسيباتّضَح أن تشغيل الحاسوب وبرمجته يمكن أن يتم باتّباع الطريقة البوليانية، حيث أن الحاسوب يستخدم 0 و1 في عمليّاته وتفاهماته. وبذلك ساعَد الجبر البولياني على تطوير الإلكترونيات الرقمية، كما أنّه يُستَخدم في نظريّة المجموعات والإحصاء.[3]

محتويات

القيَمعدل

العبارات في الجَبر الإبتدائي تَدُل قيمَتُها على أرقام، أما في الجبر البولياني فإن قيمَة العبارة الجبرية هي إما صح أو خطأ ويُطلَق عليها اسم قيمة الحقيقة، ويُمكن تمثيل هذه القيَم بالبت -نظام ثُنائي- وهو 0 و 1. هَذان العددان لا يتصرّفان كالأعداد الصحيحة، فمثلاً عند جَمع 1+1 في الجَبر الابتدائي فإن الناتِج هو 2، أما في الجَبر البولياني يكون الناتِج 1. يتعامَل الجبر البولياني كذلك مع الدوالووالمصفوفاتالتي تكون قيمتُها في المجموعة: {0,1}.[4]

العمليّاتعدل

عمليّات أساسيّةعدل

ثلاثة عمليّات رئيسيّة في الجبر البولياني، هي:

تختلف قيمة الحقيقة بين العَدددين باختلاف العمليّات بينَهما، ويُمكن الاعتبار أنّ عمليّة الاتصال ∧ هي عمليّة ضرب والانفصال ∨ عمليّة جمع. ونستطيع التعبير عن العمليّات إمّا جبريّاً، أو من خلال جدول الحقيقة. وجدول الحقيقة التالي يُلخّص العلاقة بين المُتغيّرات في العمليّات الأساسيّة:

عمليّات ثانويةعدل

إن العمليّات المذكورة أعلاه هي العمليّات الأساسيّة في الجبر البولياني، هذا يعني أنّنا نستطيع إشتقاق عمليّات أُخرى مبنيّة على هذه العمليّات الأساسيّة. والعمليّات الثلاث المُشتقّة هي:

 
 
 

ويمكن تمثيل هذه العمليّات عبر جدول الحقيقة التالي:

         
0 0 1 0 1
1 0 0 1 0
0 1 1 1 0
1 1 1 0 1

قوانين الجبر البوليانيعدل

القانون في الجبر البولياني هو عبارة عن متطابقة بين حدين بوليانيين، ويعرف الحد البولياني على أنه تعبير منطقي يتألف من متغيرات بوليانية والثوابت 0 و1، وعمليات الجبر البولياني (مثل الاتصال ∧، والانفصال ∨، والنفي ¬). ومثل الجبر العادي، فإن هناك 3 قوانين أساسية تحكم التعبيرات البوليانية: الإبدال والدمج والتوزيع.

قانون الإبدال لعملية الانفصالعدل

يعرف قانون الإبدال لعملية الانفصال كما يلي:

 

حيث A وB هما متغيران منطقيان، والعملية ∨ هي عملية الانفصال (أو).

ومعنى القانون هو أن ترتيب المتغيرات في عملية الانفصال (أو) لا يؤثر في ناتج العملية. وهذا يماثل عملية الجمع في الجبر والتي تخضع أيضاً لقانون الإبدال، ولذلك يسمى هذا القانون بقانون الإبدال للجمع Commutative law of addition.

قانون الإبدال لعملية الاتصالعدل

يعرف قانون الإبدال لعملية الاتصال كما يلي:

 

حيث A وB هما متغيران منطقيان، والعملية ∧ هي عملية الاتصال (و).

ومعنى القانون هو أن ترتيب المتغيرات في عملية الاتصال (و) لا يؤثر في ناتج العملية. وهذا يماثل عملية الضرب في الجبر والتي تخضع أيضاً لقانون الإبدال، ولذلك يسمى هذا القانون بقانون الإبدال للضرب Commutative law of multiplication.

قانون الدمج لعملية الانفصالعدل

يعرف قانون الدمج لعملية الانفصال كما يلي:

 

حيث A وB وC هم متغيرات منطقية، والعملية ∨ هي عملية الانفصال (أو).

ومعنى القانون هو أنه عندما نقوم بتطبيق العملية (أو) على أكثر من متغيرين، فإن الناتج لا يتأثر بترتيب تطبيق العملية على المتغيرات. فمثلا يمكن تطبيق العملية أولاً على B وC، ثم أخذ الناتج وتطبيق العملية عليه مع A. أو بشكل أخر، يمكن تطبيق العملية أولاً على A وB، ثم أخذ الناتج وتطبيق العملية عليه مع C. وفي كلتا الحالتين يكون الناتجان متساويين. وهذا يماثل قانون الدمج لعملية الجمع في الجبر العادي، ولذلك يسمى القانون بقانون الدمج للجمع Associative law of addition.

قانون الدمج لعملية الاتصالعدل

يعرف قانون الدمج لعملية الاتصال كما يلي:

 

حيث A وB وC هم متغيرات منطقية، والعملية ∧ هي عملية الاتصال (و).

ومعنى القانون هو أنه عندما نقوم بتطبيق العملية (و) على أكثر من متغيرين، فإن الناتج لا يتأثر بترتيب تطبيق العملية على المتغيرات. فمثلا يمكن تطبيق العملية أولاً على B وC، ثم أخذ الناتج وتطبيق العملية عليه مع A. أو بشكل أخر، يمكن تطبيق العملية أولاً على A وB، ثم أخذ الناتج وتطبيق العملية عليه مع C. وفي كلتا الحالتين يكون الناتجان متساويين. وهذا يماثل قانون الدمج لعملية الضرب في الجبر العادي، ولذلك يسمى القانون بقانون الدمج للضرب Associative law of multiplication.

قانون توزيع الاتصال على الانفصالعدل

يعرف قانون التوزيع لعمية الاتصال (و) على عملية الانفصال (أو) كما يلي:

 

وهو يشابه قانون توزيع الضرب على الجمع في الجبر:

 

ولذلك يسمى القانون في الجبر البولياني بقانون توزيع الضرب على الجمع Distributive law of multiplication over addition.

قانون توزيع الانفصال على الاتصالعدل

يعرف قانون التوزيع لعمية الانفصال (أو) على عملية الاتصال (و) كما يلي:

 

وهذا القانون ليس له قانون مماثل في الجبر العادي. ويمكن إثبات هذا القانون بطريقتين:

  • بإيجاد جدول الحقيقة للتعبير الرياضي على يمين المتطابقة، وجدول الحقيقة للتعبير الرياضي على يسارها، ومطابقة الجدولين.
  • باستخدام قانون توزيع الاتصال على الانفصال الموضح أعلاه. فبالنظر إلى الطرف الأيمن للمتطابقة، نجد أنه يمكننا توزيع   على   وذلك باستخدام قانون توزيع الاتصال على الانفصال:

 

بعد ذلك يمكن توزيع   على   وتوزيع   على   باستخدام قانون توزيع الاتصال على الانفصال ثانيةً:

 

ونلاحظ أن قيمة   مكافئة لـ   (انظر أدناه). فعندما تكون قيمة   مساوية للصفر، فإن قيمة   تكون صفرا. وعندما تكون قيمتها مساوية للواحد، فإن قيمة القوس تساوي الواحد. وبالتالي يمكن استبدال   بالمتغير   مباشرة.

 

نلاحظ أيضاً أن قيمة   مكافئة لـ   (انظر أدناه). فعندما تكون قيمة   مساوية للصفر، فإن التعبير كله يكون مساوياً للصفر. وعندما تكون قيمة   مساوية للواحد، فإن التعبير كله يكون مساويا للواحد بغض النظر عن قيمتي   و . وبهذا يمكن استبدال   بالمتغير   مباشرة:

 

قواعد الجبر البوليانيعدل

فيما يلي قائمة بالقواعد الأساسية في الجبر البولياني وعددهم اثنا عشر قاعدة قابلة للإثبات باستخدام جداول الحقيقة. ويمكن استخدامهم في تبسيط وحل مسائل الجبر البولياني.

قاعدة المحايد لعملية الانفصالعدل

 

قاعدة المحايد لعملية الاتصالعدل

 

قاعدة المدمر لعملية الانفصالعدل

 

قاعدة المدمر لعملية الاتصالعدل

 

قاعدة عملية الانفصال لنفس المتغيرعدل

 

قاعدة عملية الاتصال لنفس المتغيرعدل

 

قاعدة عملية الانفصال للمتغير مع متممهعدل

 

قاعدة عملية الاتصال للمتغير مع متممهعدل

 

قاعدة المتمم للمتممعدل

 

قاعدة المص الأولىعدل

 

قاعدة المص الثانيةعدل

 

قاعدة انفصال متغير عن اتصال متممه مع متغير آخرعدل

 

نظريتا دي-مورغانعدل

نظرية المتمم لعملية الاتصالعدل

وتنص النظرية على أن المتمم لحاصل ضرب (اتصال) مجموعة من المتغيرات يكافئ حاصل جمع (انفصال) المتممات لتلك المتغيرات. والتمثيل الرياضي للنظرية:

 

نظرية المتمم لعملية الانفصالعدل

وتنص النظرية على أن المتمم لحاصل جمع (انفصال) مجموعة من المتغيرات يكافئ حاصل ضرب (اتصال) المتممات لتلك المتغيرات. والتمثيل الرياضي للنظرية:

 

انظر أيضاعدل

مراجععدل

  1. ^ Boole, George (2003) [1854]. An Investigation of the Laws of Thought. Prometheus Books. ISBN 978-1-59102-089-9.
  2. ^ "The name Boolean algebra (or Boolean 'algebras') for the calculus originated by Boole, extended by Schröder, and perfected by Whitehead seems to have been first suggested by Sheffer, in 1913." E. V. Huntington, "New sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell's Principia mathematica", in Trans. Amer. Math. Soc. 35 (1933), 274-304; footnote, page 278. نسخة محفوظة 08 سبتمبر 2017 على موقع واي باك مشين.
  3. ^ Givant, Steven; Halmos, Paul (2009). Introduction to Boolean Algebras. Undergraduate Texts in Mathematics, Springer. ISBN 978-0-387-40293-2.
  4. ^ Halmos, Paul (1963). Lectures on Boolean Algebras. van Nostrand.

وصلات خارجيةعدل