什么是布尔逻辑？它与逻辑有何区别？ 什么是布尔逻辑？它与逻辑有何区别？
布尔逻辑得名于 George Boole，他是 College Cork 大学的英国数学家，他在十九世纪中叶首次定义了逻辑的代数系统。现在，布尔逻辑在电子学、计算机硬件和软件中有很多应用。在 1937 年，Claude Shannon 展示了布尔逻辑如何在电子学中使用。
集合代数和文氏图
使用集合代数作为介绍布尔逻辑的一种方式。还使用文氏图来展示各种布尔逻辑陈述所描述的集合联系。
设 X 是一个集合:
元素是一个集合的成员。表示为 \in。 如果它不是这个集合的元素，表示为 \notin。
全集是集合 X，有时表示为 1。注意使用全集这个词意味着"虑及的所有元素"，同"现有的所有元...全部
布尔逻辑得名于 George Boole，他是 College Cork 大学的英国数学家，他在十九世纪中叶首次定义了逻辑的代数系统。现在，布尔逻辑在电子学、计算机硬件和软件中有很多应用。在 1937 年，Claude Shannon 展示了布尔逻辑如何在电子学中使用。
集合代数和文氏图
使用集合代数作为介绍布尔逻辑的一种方式。还使用文氏图来展示各种布尔逻辑陈述所描述的集合联系。
设 X 是一个集合:
元素是一个集合的成员。表示为 \in。
如果它不是这个集合的元素，表示为 \notin。
全集是集合 X，有时表示为 1。注意使用全集这个词意味着"虑及的所有元素"，同"现有的所有元素"一样不是必然的。
空集或 null 集合是没有元素的集合，表示为 \varnothing，有时表示为 0。
一元算符应用于一个单一的集合。有一个一元算符叫做逻辑非(NOT)。它的作用是采用补集。
二元算符应用于两个集合。基本的二元算符是逻辑或(OR)和逻辑与(AND)。它们进行集合的交集和并集。
还有其他衍生的二元算符，比如逻辑异或(XOR)(排他的或)。
子集表示为 A \subseteq B，意味这在集合 A 中所有元素都在集合 B 中。
真子集表示为 A \subset B，意味着在集合 A 中的所有元素都在集合 B 中，并且两个集合不等同。
超集表示为 A \supseteq B，意味着在集合 B 中的所有元素都在集合 A 中。
真超集 表示为 A \supset B，意味着在集合 B 中的所有元素都在集合 A 中，并且两个集合不等同。
例子
设图像为集合 A 包含"全集"中所有偶数(二的倍数)，集合 B 包含"全集"中所有三的倍数。则两个集合的交集(在集合 A AND B 中所有的元素)将是"全集"中所有六的倍数。
集合 A 的补集(所有不在集合 A 中的元素)是"全集"中所有的奇数。
把运算连接起来
尽管在任何布尔运算中都最多有两个集合参与，从这个运算所形成的新集合可以接着与其他集合联合起来实现另外的布尔运算。
使用前面的例子，我们可以定义一个新集合 C 作为"全集"中所有五的倍数的集合。所以 "集合 A AND B AND C" 将是"全集"中所有 30 的倍数。如果为了更方便，我们可以把集合 AB 当作集合 A 和 B 的交集，或者说"全集"中所有六的倍数的集合。
那么我们可以称 "集合 AB AND C" 是"全集"中所有 30 的倍数的集合。我们接着进一步的把这个结果叫做集合 ABC。
使用圆括号
尽管任何数目的逻辑 AND(或任何数目的逻辑 OR)可以被连接在一起而没有歧义，AND 和 OR 和 NOT 的组合可以导致歧义的情况。
在这种情况情况下，可以使用圆括号来分清运算的次序。永远是最内的括号内的运算先进行，随后是外层的括号以此类推，直到在所有的括号内运算都完成。接着进行括号外的运算。
性质
为两个主要的二元运算的符号定义为 \land / \cap (逻辑与/交集)和 \lor / \cup (逻辑或/并集)，把单一的一元运算的符号定义为 \lnot / ~ (逻辑非/补集)。
我们还使用值 0 (逻辑假/空集)和 1 (逻辑真/全集)。
。收起
