A.5.4 符号方程求解