جبر بول
جبرِ بول (Boolean algebra)
عملگری است که در عملیات رایانه‌ای نقشی اساسی ایفا می‌کند و در اواسط قرن نوزدهم توسط ریاضیدان انگلیسی جورج بول[۱] معرفی گردید و به‌جای آن‌که به تعیین مقدار عبارت‌های عددی بپردازد، به درست[۲] یا غلط[۳]بودن موضوعات و قضایای منطقی اشاره می‌کند. در جبر بولی، متغیرها می‌توانند فقط یکی از دو عبارت درست یا غلط را بپذیرند و ارتباط میان این متغیرها با عملگرهای منطقی[۴] نظیر AND، OR و NOT تعیین می‌شود. جبر بولی را می‌توان در مدارهای الکتریکی[۵] مورد استفاده در محاسبات دیجیتالی[۶] نیز اعمال نمود.