逻辑上相邻的八个最小项合并，可以消去三个因子