在数学中，布尔环是对于所有中的有${\displaystyle x^2=x}$由幂等元素组成。这些环引发自（和引发）布尔代数。

一个例子是任何集合的幂集，在这个环中：0是空集，1是全集，加法是对称差，乘法是交集。另一个例子我们考虑的所有有限子集的集合，运算还是对称差和交集。更一般的说通过这些运算任何集合域都是布尔环。通过Stone布尔代数表示定理所有布尔环都同构于一个集合域（作为带有这些运算的环处理）。

如果定义

则它们满足在布尔代数中交、并和补的所有公理。所以每个布尔环都成为了布尔代数。类似的，通过如下定义布尔代数成为了布尔环：

在两个布尔环之间的映射是环同态，当且仅当它是相应的布尔代数的同态。进一步的，布尔环的子集是环理想（素环理想，极大环理想），当且仅当它是相应的布尔代数的理想（素理想，极大理想）。布尔环模以环理想的商环对应于相应的布尔代数模以相应的理想的商代数。

所有布尔环满足对于所有中的有 + = 0；因此 - = x，所有元素都是自身的加法逆元，在布尔环中使用减号没有意义。因为我们知道

并且因为,+是阿贝尔群，我们可以从这个等式的两端减去 + ，这给出了 + = 0。类似的证明证实了布尔环是可交换的：

而这产生了 + = 0，它意味着 = − = （使用上面第一个性质）。

+ = 0的性质证实了布尔环是在带有两个元素的域F2上的结合代数，但只在这个方向上。特别是，任何有限布尔环都有二的幂的势。不是所有的在F2上的单作结合代数都是布尔环：比如多项式环F2。

任何布尔环模以任何环理想的商环/也是布尔环。类似的，布尔环的任何子环是布尔环。

在布尔环中所有素环理想是极大环理想： /的商环是整环并其同时是布尔环，所以它必定同构于域F2，这证实了的极大性。因为极大环理想总是素环理想，我们得出素环理想和极大环理想在布尔环中是一致的。