4.6 符号方程的求解