展开 在四变量卡诺图中逻辑上不相邻