论文部分内容阅读
为了对分明矩阵和分明函数属性约简法予以理论上的证明,一个变型的分明函数被构造,它被定义为析取范式的逻辑公式。通过对变型分明函数以及等价转换成的最简式对应粒性质的讨论,证明了变型分明函数对应的粒等于所有分明关系的并。由此证明了最简式中所有的合取项就是信息系统属性集的全部约简。从而以粒计算的方法完成了分明矩阵和分明函数属性约简法的理论证明。