6.3.2 逻辑值集合与常量的表示