جبر بولی

جبر بولی ساختاری جبری است که به عملگرهای منطقی "و"، "یا"، "نفی" و "یای منحصر" می‌پردازد. نام این جبر از نام جرج بول ریاضیدان انگلیسی گرفته شده (1854) که سعی در برخورد جبری به منطق گزاره‌ها داشت. امروزه جبر بول به گستردگی در طراحی مدارهای الکترونیک به‌کار می‌رود. کلود شانون از پیشگامان رایانه‌های ارقامی نخستین بار از این جبر در طراحی رایانه بهره گرفت.

جدول درستی

جدول درستی که یک جدول ریاضیاتی می‌باشد و از آن در منطق سوده برده شده و برای محاسبه مقادیری که به صورت منطقی expression شده اند استفاده می‌شود. تعریف جبر بول : پیدا کردن ساده ترین فرم منطقی توابع که به کمترین تعداد گیت و سیم نیاز داشته باشد. تعریف اصولی جبر بول : یک مجموعه مانندB در حالتی که نا مساوی با مجموعه تهی باشد و با دو عمل دو تایی ضرب وجمع و ی. عمل یکتایی پریم و دو عضو صفر و یک را یک جبر بول می گوییم .

جستارهای وابسته

• ریاضیات گسسته

منابع

• ریاضیات گسسته و کاربردهای آن (انگلیسی)

پانویس

در ویکی‌انبار پرونده‌هایی دربارهٔ جبر بولی موجود است.