设x为真值，x*为绝对值，说明[-x*]补=[-x]补在什么时候成立。