绝对值符号的运算法则有哪些