布尔矩阵广义逆的一个充要条件

β={0,1}为二元布尔代数,矩阵A=(a_(ij)),a_(ij)∈β,称A为布尔矩阵。给定矩阵A,若存在矩阵G使AGA=A。称G是A的广义逆。如果A有一个广义逆B=(b_(ij)),对A的任何广义逆G=(g_(ij))