复盖 无冗余 质蕴涵项 优选算法 布尔函数 特征立方体 单输出函数