摘要: 定理1方程组???19880315???(A_ij∩X_j)=B_i,i=1,2,…,m有解的充要条件为
???19880315???A_ij⊃B_i,i=1,2,…m,与
???19880315???(A_ij∩???19880315-2???(A'_kj∪B_k))⊃B_i,i=1,2,…,m。