5.4 代数式的符号运算