逻辑运算有几种类型