已知x的真值,求[(1 2)x]补码