逻辑型常量