10.3.3 符号表达式的化简