جبر بول، یک دستگاه جبری تشکیل شده از ۰، ۱،+ و * است. در این دستگاه جبری دیگر اعداد ۲ و... وجود ندارد. بنابر علم جبر ریاضی هر کسی با تعدادی عنصر می تواند دستگاه جبری تعریف کند. یکی از این دستگاه های جبری همانی است که در دبیرستان خوانده می شود و عمومی ترین آنها است. دیگر دستگاه جبری که در منطق استفاده می شود جبر بول است.
هر دستگاه جبری خاصیت های مختلفی دارد که یکی از آنها خود توانی است. و معکوس پذیری و جابجایی و شرکت پذیری.
اول و دومی که یک قانون هستند. در سومی شما نیاز به فاکتورگیری دارید به مانند جبر معمولی و در چهارمی نیز یک رابطه پخشی است به مانند جبر معمول فقط با این تفاوت که در جبر معمولی تنها * را می توانید پخش کنید ولی در جبر بول هر دو عملگر قابل پخش شدن هستند. یعنی x+ab= (x+a)(x+b) و x*(a+b)= (x*a)+(x*b) هر
