INVERSES
OF
BOOLEAN MATRICES
by
D. E. RUTHERFORD(Received
5
April 1962)
1.
This note is concerned with square matrices, denoted by capital letters, whose elementsbelong to
a
Boolean algebra with null element 0 and all element 1. Such matrices, which haveimportant applications
in the
theory
of
electric circuits,
can be
compounded
in the
threefollowing ways.
A
A
B
=
C o
a
u
nbij
=
Cy,
AvB =
C o
a
i
jKjb
i]
=
c
ij
,
AB
=
C
<=>
U
(aijribj
k
)
= c
ik
.
3
More than
a
quarter of a century ago, J. H. M. Wedderburn [1] showed that the equations
(1),
(2), (3), (4)
of
the present paper were necessary and sufficient conditions for the existenceof
a
Boolean matrix
X
satisfying the matrix equations
AX=
XA
=
I,
in which /is the Boolean matrix
[<5
fj
].
Such
a
matrix
X,
if it exists, is therefore in the Booleansense
a
two-sided inverse
of
A.
More recently
R. D.
Luce
[2]
has shown that
a
Booleanmatrix
A
possesses
a
two-sided inverse if and only if
A
is an orthogonal matrix in the sense that
AA
T
=
I,
where
A
T
denotes the transpose of
A,
and that, in this case,
A
T
is
a
two-sided inverse.The question examined
in
the following pages is whether
a
matrix
A
might possess one-sidedinverses
or
whether
AX
= /
implies
XA
=
I.
It will be shown that the latter alternative
is
the correct one and that consequently onehalf
of
Wedderburn's conditions are superfluous. Thus (1) and (2),
or
alternatively (3) and
(4),
are necessary and sufficient conditions that the matrix
A
should possess an inverse.We define the determinant
of a
Boolean matrix
A
to be
\A
| = UaK.n ... na,,
n
,
a
in which
a
ranges over
all
permutations
i
t
,
...,;„
of
1 ...
n.
At
first sight this function
+
+
more closely resembles
the
permanent
\A\
= £
a
Ul
...
a
nin
than
the
determinant
\
A \ -
a
YJ
(sign
<J)
a
Ul
...
a
nin
of elementary algebra, but, since the concept of sign
is
entirely absent in
a
Boolean algebra, such
a
distinction would be illusory. The Boolean determinant
as
here de-fined has many properties reminiscent of elementary algebra. For instance expansion by
a
rowor by
a
column is permissible. We shall not enlarge on this here but we mention that suchdeterminants have important practical applications
in
the theory
of
switching circuits.Quite
a
different definition
is
given
by
Wedderburn.
If
we denote the complement
of
a.
k
by
a'
ik
and write
aij^dijnl r\a'
ik
),