展开 四变量的卡诺图有几个小方