Completeness and Soundness of Knowledge Reduction Algorithm Based on Binary Discernible Matrix

• 基于二进制可辨矩阵知识约简方法的完备有效性