4.6 符号代数方程的求解