布尔矩阵的运算法则