组合函数最小化 【计】 combinational function minimization