逻辑函数的卡诺图中,相邻最小项可以合并