4.3 符号方程求解