布尔代数运算法则求矩阵