摘要：Skowron差别矩阵给出了粗集约简的一般方法，但该算法要求生成、存储差别矩阵的中间环节，造成时间和空间上的浪费．实际应用中给出一种简化算法：一边从信息表中提取差别元素构成合取范式，一边用分配律、吸收律作逻辑公式的等价变换，直接得到最小析取范式．本章给出反例，说明该简化算法不总成立．

关键词：粗集 差别矩阵 合取范式 析取范式 

单位：河北建筑科技学院数理系; 河北邯郸056038