9.4 符号方程求解