类型：
1 非（NOT)
函数：NOT 仅是一个否定；输出与输入的相反。（NOT函数仅有一个输入，故称为一元函数或者一元操作符）。当输入为假，输出是真，反之亦然。NOT函数逻辑上表达一个条件的反面。
2 与 ( AND)
函数：AND 可以有任意多个输入，但最少是两个。仅当AND函数的第一个、第二个和第三个输入等都是真，它的输出才是真。
3 或 （OR)
函数：OR可以有任意多个输入，但最少是两个。OR函数无论何时只要一个输入中出现了真，输出就是真。
4 异或 （XOR)
函数：XOR是OR的变体。仅当一个输入或者另一个输入是真，但不是两者都为真（既如果输入是不同的），它的输出才为真。
顺序：在一个检索式中，可以同时使用多个逻辑运算符，构成一个复合逻辑检索式。复合逻辑检索布尔逻辑检索式中，运算优先级别从高至低依次是not、and、near、with、or，可以使用括号改变运算次序。
扩展资料：
使用集合代数作为介绍布尔逻辑的一种方式。还使用文氏图来展示各种布尔逻辑陈述所描述的集合联系。
设 X 是一个集合：元素是一个集合的成员。表示为 <math>\in</math>。如果它不是这个集合的元素，表示为 <math>\notin</math>。
全集是集合 X，有时表示为 1。注意使用全集这个词意味着"虑及的所有元素"，同"现有的所有元素"一样不是必然的。
空集或 null 集合是没有元素的集合，表示为 <math>\varnothing</math>，有时表示为 0。
一元算符应用于一个单一的集合。有一个一元算符叫做逻辑非(NOT)。它的作用是采用补集。
二元算符应用于两个集合。基本的二元算符是逻辑或(OR)和逻辑与(AND)。它们进行集合的并集和交集。还有其他衍生的二元算符，比如逻辑异或(XOR)(排他的或)。
子集表示为 A <math>\subseteq</math> B，意味这在集合 A 中所有元素都在集合 B 中。
真子集表示为 A <math>\subset</math> B，意味着在集合 A 中的所有元素都在集合 B 中，并且两个集合不等同。
超集表示为 A <math>\supseteq</math> B，意味着在集合 B 中的所有元素都在集合 A 中。
真超集 表示为 A <math>\supset</math> B，意味着在集合 B 中的所有元素都在集合 A 中，并且两个集合不等同
参考资料来源：百度百科-布尔逻辑
参考资料来源：百度百科-布尔逻辑检索