6.2.1 三值逻辑