8.1.2 布尔运算差集