布尔运算法则计算矩阵