تعریفهای هم ارز اما ظاهراً متفاوتی از جبر بول وجود دارد، ولی به خاطر تشابه آن با ساختمان بعضی از مجموعه های مجموعه ها(خانواده مجموعه ها)، تعریف زیر را انتخاب می کنیم .

تعریف:
جبر بول یک سه گانه (B,+, o) که در آن B یک مجموعه غیر تهی، و + , o دو عمل دوتایی روی B هستند که به ازای هر در شرط های (الف) تا (ه) صدق می کنند:

الف) جابه جایی


ب)شرکت پذیری


ج) توزیع پذیری


د) یکه ها

عضوهای با شرط وجود دارند به قسمی که

ه) متممگیری

برای هر عضو وجود دارد به قسمی که




اعمال +و o به ترتیب جمع(یا) و ضرب (و) نامیده می شوند.
0و1عنصرهای صفر و همانی گفته می شوند.

قوانین مقدماتی جبر بول کمک زیادی به ساده سازی مدارات منطقی می کند . شکل زیر به سادگی آنها را شرح می دهد :