用卡诺图化简逻辑函数时，4个相邻最小项合并，可以消去（）个变量。