编码理论-格雷编码的性质