分解定理 产生式集合套 布尔矩阵 F矩阵的数乘 表现定理 λ截矩阵