数与式计算中的符号运算法则