布尔的数据结构不等式