نمایش مبدأ برای جبر بولی

[[پرونده:PSM V17 D740 George Boole.jpg|بندانگشتی|جبر بولی برگرفته از نام جرج بول است.]]
در [[ریاضیات]] و به خصوص در [[منطق ریاضی]]، '''جبر بولی''' {{به انگلیسی|Boolean algebra}} زیر مجموعه‌ای از [[جبر]] است که در آن مقدار متغیرها، درست یا غلط می‌باشد که معمولاً به همین ترتیب با ۱ و ۰ نشان داده می‌شوند. به جای [[جبر مقدماتی]] که در آن مقدار متغیرها اعداد هستند و عملگرهای اصلی جمع و ضرب می‌باشند، عملگرهای اصلی جبر بولی [[عطف منطقی]] (و) که با ∧ نشان داده می‌شود، [[فصل منطقی]] (یا) که با ∨ نشان داده می‌شود و نقیض که با ¬ نشان داده می‌شود، می‌باشند.

نام این جبر از نام [[جرج بول]] ریاضیدان انگلیسی در ''کتاب تحقیقی در قوانین اندیشه'' گرفته شده (۱۸۵۴) که سعی در برخورد جبری به [[منطق گزاره‌ها]] داشت. کتاب اول بول ''آنالیز ریاضی منطق'' تئوری اصلی را شامل می‌شد. آن مانند یک زبان ریاضی مطرح شده بود که سوالاتی از منطق سروکار داشت. چیزی که امروزه در طراحی دستگاه‌های دیجیتال مدرن نیاز است و به عنوان یک نوع دادهٔ اساسی در تمام زبان‌های برنامه‌نویسی مدرن وجود دارد. [[کلود شانون]] از پیشگامان رایانه‌های [[دیجیتال]] نخستین بار از این جبر در طراحی [[رایانه]] بهره گرفت.

== تعریف ==
جبر بول، یک ساختار [[جبر]]ی است که با عناصر مجموعه <math>B</math> و همراه با عملگرهای <math>+</math> و <math>.</math> تعریف می‌شود. اصول جبر بول عبارتند از:
* مجموعه <math>B</math> نسبت به عملگر <math>+</math> بسته است. یعنی اگر دو مقدار را با هم جمع کنیم، نتیجه عضوی از مجموعه <math>B</math> است.
* مجموعه نسبت به عملگر <math>.</math> بسته است. یعنی اگر دو مقدار را در هر [[ضرب (ریاضیات)|ضرب]] کنیم، نتیجه عضوی از مجموعه <math>B</math> است.
* عنصر خنثی در مجموعه برای عملگر <math>+</math> برابر با <math>0</math> است. به‌طوری‌که <math>x+0 = 0+x = x</math>
* عنصر خنثی در مجموعه برای عملگر <math>.</math> برابر با <math>1</math> است. به‌طوری‌که <math>x.1 = 1.x = x</math>
* مجموعه برای عملگر <math>+</math> دارای [[خاصیت جابه‌جایی]] است. به‌طوری‌که <math>x+y = y+x</math>
* مجموعه برای عملگر <math>.</math> دارای خاصیت جابه‌جایی است. به‌طوری‌که <math>x.y = y.x</math>
* عملگر <math>.</math> روی <math>+</math> توزیع‌پذیر است. یعنی <math>x. (y + z) = (x. y) + (x. z)</math>
* عملگر <math>+</math>روی <math>.</math> توزیع‌پذیر است. یعنی <math>x + (y. z) = (x + y). (x + z)</math>
* به‌ازای هر عنصر <math>x\in B</math> یک عنصر <math>x'\in B</math> وجود دارد. به‌طوری‌که <math>x+x'=1</math> و <math>x.x'=0</math> است. <math>x'</math> به صورت «اکس نات» یا «مکمل اکس» خوانده می‌شود.
* مجموعه <math>B</math> دارای حداقل دو عنصر <math>x, y</math> است به‌طوری‌که <math>x \ne y</math> است.
عملگرهای منها و تقسیم برای جبر بول تعریف نمی‌شوند. در جبر معمول، تعداد نامتناهی از عناصر وجود دارد، اما در جبر بول تنها اعضای مجموعه <math>B</math> وجود دارد که معمولاً به صورت <math>0</math> و <math>1</math> تعریف می‌شوند. (به این نوع جبر بول، '''جبر بول دو ارزشی''' می‌گویند)

== اصل دمورگن ==
هر عبارت بولی معتبر، با تعویض عملگرها و عناصر خنثی، باز هم معتبر خواهد بود. یعنی اگر در یک عبارت بولی معتبر (که از اصول اساسی جبر بول ناشی شده) تمام صفرها به یک و تمام یک‌ها به صفر و همینطور تمام <math>+</math>ها به <math>.</math> و تمام <math>.</math>ها به <math>+</math> تبدیل شود، عبارت به دست آمده باز هم معتبر خواهد بود.

== تقدم عملگرها ==
در ارزیابی عبارات بولی، باید تقدم عملگرها رعایت شود.

{|
! تقدم
! عملگر
|-
|بالاترین اولویت
| پرانتز()
|-
|
| NOT
|-
|
| AND
|-
| پایینترین اولویت
| OR
|}

== اتحاد های جبر بول ==
{| style="width:60%;" dir=ltr
! الف
! ب
|-
| <math>x+0=x</math>
| <math>x.1=x</math>
|-
| <math>x+x'=1</math>
|<math>x.x'=0</math>
|-
| <math>x+x=x</math>
|<math>x.x=x</math>
|-
| <math>x+1=1</math>
|<math>x.0=0</math>
|-
| <math>x+y=y+x</math>
|<math>x.y=y.x</math>
|-
| <math>x+(y+z)=(x+y)+z</math>
|<math>x.(y.z)=(x.y).z</math>
|-
| <math>x.(y+z)=xy+xz</math>
|<math>x+yz=(x+y).(x+z)</math>
|-
| <math>(x+y)'=x'.y'</math>
|<math>(x.y)'=x'+y'</math>
|-
| <math>x+xy=x</math>
|<math>x(x+y)=x</math>
|}

== دیاگرام ون ==
به کمک دیاگرام ون می‌توان رابطه بین متغیرهای یک عبارت بولی را نمایش داد. دیاگرام ون از یک مستطیل تشکیل شده که در داخل آن به‌ازای هر متغیر، یک دایره وجود دارد. تمام نقاط داخل دایره مربوط به یک متغیر است و تمام نقاط خارج از دایره مربوط به مکمل آن متغیر است. در این نمودار، ضرب به صورت اشتراک دایره‌ها و جمع به صورت اجتماع دایره‌ها نمایش داده می‌شود.

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

== جستارهای وابسته ==
* [[ریاضیات گسسته]]
* [[مدار منطقی]]

== منابع ==
* طراحی دیجیتال، موریس مانو، ترجمه دکتر حسن سیدرضی و دکتر فرهاد ارومچیان، انتشارات ناقوس
* [http://highered.mcgraw-hill.com/sites/0072880082/information_center_view0 ریاضیات گسسته و کاربردهای آن] {{نشان زبان|en}}

{{ویکی‌انبار-رده|Boolean algebra}}
{{علوم رایانه}}
{{منطق}}
{{داده‌های کتابخانه‌ای}}

[[رده:جبر بولی]]
[[رده:جبر]]
[[رده:ساختارهای جبری]]
[[رده:معرفی‌شده‌های ۱۸۴۷ (میلادی)]]
[[رده:منطق جبری]]