6.2.2 排序布尔模型