فرع من علم الجبر يتعلق بالخصائص المنطقية الأولية للعبارات؛ نظام يتضمن قرارات نعم أو لا، يستخدم في تصاميم الحاسب والبرمجة. انظر الشكل B-5. سمي نسبة لعالم الرياضيات الإنجليزي جورج بول (1815-1864).