در ریاضیات و به خصوص در منطق ریاضی، جبر بولی زیر مجموعهای از جبر است که در آن مقدار متغیرها، درست یا غلط میباشد که معمولاً به همین ترتیب با ? و ? نشان داده میشود. به جای جبر مقدماتی که در آن مقدار متغیرها اعداد هستند و عملگرهای اصلی جمع و ضرب میباشند، عملگرهای اصلی جبر بولی عطف منطقی و که با ∧ نشان داده میشود، فصل منطقی یا که با ∨ نشان داده میشود و نقیض که با ¬ نشان داده میشود، میباشند. نام این جبر از نام جرج بول ریاضیدان انگلیسی در کتاب تحقیقی در قوانین اندیشه گرفته شده (????) که سعی در برخورد جبری به منطق گزارهها داشت. کتاب اول بول آنالیز ریاضی منطق تئوری اصلی را شامل میشد. آن مانند یک زبان ریاضی مطرح شده بود که سوالاتی از منطق سروکار داشت. چیزی که امروزه در طراحی دستگاههای دیجیتال مدرن نیاز است و به عنوان یک نوع داده? اساسی در تمام زبانهای برنامه ...
ترحمی
پنجشنبه 17 مهر 1399 ساعت 12:31