对于不完备信息系统完备化问题，现在常采用的方法是数据补齐法和扩充法，在研究和分析了其优劣后，提出一种完全依据信息系统提供的信息来产生布尔可辨矩阵的方法。给出一个基于对布尔可辨矩阵进行化简的求属性约简（或最小属性约简）的高效算法。