7.3.6 符号表达式的化简