Boolean matrix

In mathematics, a Boolean matrix is a matrix with entries from a Boolean algebra. When the Boolean algebra has just two elements {0,1} the Boolean matrix is called a logical matrix.

Let U be a Boolean algebra with at least two elements. Intersection, union, complementation, and containment of elements is expressed in U. Let V be the collection of n × n matrices that have entries taken from U. Complementation of such a matrix is obtained by complementing each element. The intersection or union of two such matrices is obtained by applying the operation to entries of each pair of elements to obtain the corresponding matrix intersection or union. A matrix is contained in another if each entry of the first is contained in the corresponding entry of the second.

The product of two Boolean matrices is expressed as follows:

$(AB)_{ij}=\bigcup _{k=1}^{n}(A_{ik}\cap B_{kj}).$

References

• R. Duncan Luce (1952) "A Note on Boolean Matrices", Proceedings of the American Mathematical Society 3: 382–8, Jstor link