Given a boolean algebra with a finite number of elements {a, b, c, ...}, and the usual operations: $\cup, \cap, \neg$.
How to find matrix representations of the elements such that:
- boolean $\cup$ corresponds to matrix addition and
- boolean $\cap$ corresponds to matrix multiplication?
Is it possible? If yes, is there a systematic way to find such matrices?
PS: the axioms of boolean algebra are:
- $(a + b) + c = a + (b + c)$
- $a + b = b + a$
- $a + a = a$
- $-(-b) = b$
- $b + (-b) = 1$
- $-1 = 0$
- $0 + a = a$
- $a \cdot (b+c) = a \cdot b + a \cdot c$
- $a \cdot b \equiv -(-a + -b)$
where $\cup$ is denoted as + , $\cap$ as $\cdot$, and $\overline{x}$ as $-x$.