5.5.3 符号表达式简化