23.3.5 取反函数