布尔逻辑检索的三种基本运算是什么