Boolean semiring