8.4 符号方程求解