جبر بولی
زیر مجموعهای از جبر که متغیرها یا درست و دارای ارزش یک و یا نادرست و دارای ارزش صفر هستند / From Wikipedia, the free encyclopedia
در ریاضیات و به خصوص در منطق ریاضی، جبر بولی (به انگلیسی: Boolean algebra) زیر مجموعهای از جبر است که در آن مقدار متغیرها، درست یا غلط میباشد که معمولاً به همین ترتیب با ۱ و ۰ نشان داده میشوند. به جای جبر مقدماتی که در آن مقدار متغیرها اعداد هستند و عملگرهای اصلی جمع و ضرب میباشند، عملگرهای اصلی جبر بولی عطف منطقی (و) که با ∧ نشان داده میشود، فصل منطقی (یا) که با ∨ نشان داده میشود و نقیض که با ¬ نشان داده میشود، میباشند.
نام این جبر از نام جرج بول ریاضیدان انگلیسی در کتاب تحقیقی در قوانین اندیشه گرفته شده (۱۸۵۴) که سعی در برخورد جبری به منطق گزارهها داشت. کتاب اول بول آنالیز ریاضی منطق تئوری اصلی را شامل میشد. آن مانند یک زبان ریاضی مطرح شده بود که سوالاتی از منطق سروکار داشت. چیزی که امروزه در طراحی دستگاههای دیجیتال مدرن نیاز است و به عنوان یک نوع دادهٔ اساسی در تمام زبانهای برنامهنویسی مدرن وجود دارد. کلود شانون از پیشگامان رایانههای دیجیتال نخستین بار از این جبر در طراحی رایانه بهره گرفت.