6.2.2 多值逻辑