单选题：​设x为真值，x*为绝对值，说明[x*]补=[x]补在时候成立​