تعریفهای هم ارز اما ظاهراً متفاوتی از جبر بول وجود دارد، ولی به خاطر تشابه آن با ساختمان بعضی از مجموعه های مجموعه ها(خانواده مجموعه ها)، تعریف زیر را انتخاب می کنیم .
تعریف:
جبر بول یک سه گانه (B,+, o) که در آن B یک مجموعه غیر تهی، و + , o دو عمل دوتایی روی B هستند که به ازای هردر شرط های (الف) تا (ه) صدق می کنند:
الف) جابه جایی
ب)شرکت پذیری
ج) توزیع پذیری
د) یکه ها
عضوهایبا شرط
وجود دارند به قسمی که
ه) متممگیری
برای هرعضو
وجود دارد به قسمی که
اعمال +و o به ترتیب جمع(یا) و ضرب (و) نامیده می شوند.
0و1عنصرهای صفر و همانی گفته می شوند.
قوانین مقدماتی جبر بول کمک زیادی به ساده سازی مدارات منطقی می کند . شکل زیر به سادگی آنها را شرح می دهد :
![]()
علاقه مندی ها (بوک مارک ها)