3.3 “和-积”变量消除