实现的用分辨矩阵及分辨函数寻求所有最小约简的算法及整个实现过程。-achieve the matrix used to distinguish and distinguishing function for all of the smallest reduction algorithm and the entire implementation process.