عرض مصطلح معلوماتية
جبر بولياني | Boolean algebra
جبرٌ أساسيٌّ لعمليات الحاسوب، طوَّره في منتصف القرن التاسع عشر الرياضيُّ الإنكليزي George Boole، لتحديد فيما إذا كانتِ القضايا المنطقيةُ صائبةً أم خاطئة، بدلاً من تحديد قيم التعابير العددية. يجب أن تأخذَ المتغيراتُ في الجبر البولياني إحدى قيمتين ممكنتين فقط: صواب أو خطأ، ويُعبَّر عن العلاقات بين هذه المتغيرات بمؤثِّرات منطقية، مثل AND، وOR، وNOT. بمعرفة هذه المتغيرات الثنائيةِ الحالةِ، والعلاقات التي تَربِط بعضَها ببعض، يُنتِج الجبرُ البولياني قضايا مثل: C=A AND B التي تعني أن C هي صواب، إذا وفقط إذا كانت A صواباً وB صواباً، ولذا يمكِن استخدامُ هذا الجبر لمعالجة المعلومات وحلِّ المسائل. وزيادةً على ذلك، يمكِن تطبيقُ المنطق البولياني بسهولةٍ على الدارات الإلكترونية المستخدمةِ في الحوسبة الرقمية. ومِثل الأرقامِ الاثنانية (الواحد والصفر) يمكِن تمثيلُ الحالتين: صواب وخطأ، بسهولةٍ بحالتين فيزيائيتين متباينتين للدارة؛ جهدَيْن مثلاً. وتتحكّم داراتُ الحاسوب المعروفةُ بالبوابات المنطقية في تدفق الكهرَباء (بتّات المعطيات) لكي تمثل AND، وOR، وNOT، والمؤثرات البوليانية الأخرى. تُجمَع البواباتُ المنطقيةُ ضمن الحاسوب بحيث يُربَط خرجُ الواحدة إلى مدخل الأخرى، لكي تعطي كنتيجةٍ نهائيةٍ (التي لاتزال مجموعات من الوُحْدان والأصفار) معطياتٍ ذات معنى، مثل نتيجة جمعِ عددين.
