简述布尔逻辑检索的三种关系符及其作用