Skip to content

Mathematics · Ch 12 — Discrete Mathematics

Some Binary Operations on Boolean Matrices

12.2.3

Some Binary Operations on Boolean Matrices

Definition 12.3. A Boolean matrix is a real matrix whose every entry is either 00 or 11. Boolean entries 0/10/1 naturally model "off/on" in electrical switching circuits, or the adjacency matrix of a graph.

Given two Boolean matrices A=[aij]A=[a_{ij}] and B=[bij]B=[b_{ij}] of the same order, two new binary operations combine them entrywise:

Definition 12.4 (Join). A∨B=[aij∨bij]=[cij]A\vee B=[a_{ij}\vee b_{ij}]=[c_{ij}], where cij=1c_{ij}=1 if either aij=1a_{ij}=1 or bij=1b_{ij}=1, and cij=0c_{ij}=0 if both aij=0a_{ij}=0 and bij=0b_{ij}=0. Equivalently aij∨bij=max⁡(aij,bij)a_{ij}\vee b_{ij}=\max(a_{ij},b_{ij}).

Definition 12.5 (Meet). A∧B=[aij∧bij]=[cij]A\wedge B=[a_{ij}\wedge b_{ij}]=[c_{ij}], where cij=1c_{ij}=1 only if both aij=1a_{ij}=1 and bij=1b_{ij}=1, and cij=0c_{ij}=0 if either entry is 00. Equivalently aij∧bij=min⁡(aij,bij)a_{ij}\wedge b_{ij}=\min(a_{ij},b_{ij}).

Worked pattern. For A=(0111)A=\begin{pmatrix}0&1\\1&1\end{pmatrix}, B=(1101)B=\begin{pmatrix}1&1\\0&1\end{pmatrix}: A∨B=(max⁡(0,1)max⁡(1,1)max⁡(1,0)max⁡(1,1))=(1111)A\vee B=\begin{pmatrix}\max(0,1)&\max(1,1)\\\max(1,0)&\max(1,1)\end{pmatrix}=\begin{pmatrix}1&1\\1&1\end{pmatrix}, and A∧B=(min⁡(0,1)min⁡(1,1)min⁡(1,0)min⁡(1,1))=(0101)A\wedge B=\begin{pmatrix}\min(0,1)&\min(1,1)\\\min(1,0)&\min(1,1)\end{pmatrix}=\begin{pmatrix}0&1\\0&1\end{pmatrix}.

Which of the five properties do join and meet satisfy? Let B\mathbb B be the set of all Boolean matrices of a fixed order.

  • Closure: since aij∨bija_{ij}\vee b_{ij} and aij∧bija_{ij}\wedge b_{ij} are always 00 or 11, both operations are binary on B\mathbb B.
  • Commutative: both hold, since max⁡\max and min⁡\min do not depend on the order of their two arguments.
  • Associative: both hold, entrywise.
  • Existence of identity: for ∨\vee, the identity is the null matrix OO (every entry 00) -- A∨O=O∨A=AA\vee O=O\vee A=A. For ∧\wedge, the identity is the matrix UU of all 11s -- A∧U=U∧A=AA\wedge U=U\wedge A=A. …