布尔代数
布尔代数(英語:Boolean algebra)在抽象代数中是指捕获了集合运算和逻辑运算二者的根本性质的一个代数结构(就是说一组元素和服从定义的公理的在这些元素上运算)。特别是,它处理集合运算交集、并集、补集;和逻辑运算与、或、非。
例如,逻辑断言陈述a和它的否定¬a不能都同时为真,
- ,
相似于集合论断言子集A和它的补集AC有空交集,
- 。
因为真值可以在逻辑电路中表示为二进制数或电平,这种相似性同样扩展到它们,所以布尔代数在电子工程和计算机科学中同在数理逻辑中一样有很多实践应用。在电子工程领域专门化了的布尔代数也叫做逻辑代数,在计算机科学领域专门化了布尔代数也叫做布尔逻辑。
布尔代数也叫做布尔格。关联于格(特殊的偏序集合)是在集合包含A ⊆ B和次序 a ≤ b之间的相似所预示的。考虑{x,y,z}的所有子集按照包含排序的格。这个布尔格是偏序集合,在其中{x} ≤ {x,y}。任何两个格的元素,比如p = {x,y}和q = {y,z},都有一个最小上界,这里是{x,y,z},和一个最大下界,这里是{y}。这预示了最小上界(并或上确界)被表示为同逻辑OR一样的符号p∨q;而最大下界(交或下确界)被表示为同逻辑AND一样的符号p∧q。
这种格释义有助于一般化为海廷代数,它是免除要么一个陈述要么它的否定必须为真的限制的布尔代数。海廷代数对应于直觉逻辑,而布尔代数对应于经典逻辑。
布尔代数又譯為布林代数,然而布尔代数得名于乔治·布尔,他是爱尔兰科克的皇后学院的英国数学家。布林(boolean)在英文中的意思是「布尔的」,這是為了表彰布尔的貢獻,而「布林」只是一種音譯。
历史
[编辑]术语“布尔代数”得名于乔治·布尔(1815–1864),他是自学成材的英国数学家。他最初在1847年出版的一个小册子《逻辑的数学分析》中介入了代数逻辑系统,用来响应在奥古斯都·德·摩根和William Hamilton之间的公开论战,后来又出现在1854年出版的更充实的书《思维规律》中。布尔的公式化在一些重要方面不同于上述描述。例如,布尔的合取和析取不是一对对偶的运算。布尔代数出现在1860年代威廉姆·斯坦利·杰文斯和查尔斯·皮尔士的论文中。到了1890年Ernst Schröder写的《Vorlesungen》,我们才有了布尔代数和分配格的首次系统表述。首次用英语写的对布尔代数的广泛处置是阿弗烈·诺夫·怀海德在1898年的《泛代数》。在现代公理化意义上的作为公理化代数结构的布尔代数开始于Edward Vermilye Huntington 1904年的论文。布尔代数随着Marshall Stone在1930年代的工作和Garrett Birkhoff在1940年的《格理论》而进入了严肃数学时期。在1960年代,Paul Cohen、Dana Scott和其他人使用布尔代数的分支也就是力迫和布尔值模型,深入发现了数理逻辑和公理化集合论中的新成果。
形式定义
[编辑]布尔代数是一个集合A,其上定义了以下结构:
- 二元运算∧:A×A→A。
- 二元运算∨:A×A→A。
- 一元运算 ':A→A。
- 零元运算(常数)0和1。
这些运算满足以下条件:∀a,b,c∈A,
结合律 | ||
交换律 | ||
吸收律 | ||
分配律 | ||
互补律 |
上面的前三对公理:结合律、交换律和吸收律,意味着 (A,∧,∨)是一个格。所以布尔代数也可以定义为一个有补分配格。
从这些公理,你可以展示出最小元素0、最大元素1和任何元素a的补a'都是唯一确定的。
另外,∀a,b∈A,下列恒等式也成立:
幂等律 | ||
有界律 | ||
0和1是互补的 | ||
德·摩根定律 | ||
对合律 |
其它运算
[编辑]在上述基本定义基础上,布尔代数中常见的还有以下的运算:
- 二元运算-: A×A→A,定义为:a-b = a∧b';
- 二元运算+或Δ: A×A→A,定义为:a+b = (a-b)∨(b-a);
- 二元运算→: A×A→A,定义为:a→b = (a-b)';
- 二元运算↔: A×A→A,定义为:a↔b = (a→b)∧(b→a);
- 二元运算|或↑: A×A→A,定义为:a|b = (a∧b)'。
- 二元运算⊕或↓: A×A→A,定义为:a⊕b = a'∧b'
注意:-和→,+和↔是对偶的。即a→b = (a-b)',a↔b=(a+b)'。
总结
[编辑]布尔代数的各种运算同时也被应用于集合论和逻辑学,在不同的上下文有不同的名称。具体的符号和名称如下:
此條目需要精通或熟悉相关主题的编者参与及协助编辑。 (2015年11月2日) |
运算符号 | 布尔代数 | 集合论 | 逻辑学 | 邏輯閘 | 溫氏圖 |
---|---|---|---|---|---|
0或 | 底 | 空集 | 偽 | 低電位 | |
1或 | 顶 | 全集 | 真 | 高電位 | |
¬或~或'或c | 补集 | 非 | 反相器 | ||
∧或∩ | 下确界 | 交集 | 与 | 及閘 | |
∨或∪ | 上确界 | 聯集 | 或 | 或閘 | |
或 | 补 | 相对补集 | |||
-或 | 减 | 差集 | 实质非蕴涵 | 蘊含非閘 | |
⊕或Δ | 对称差 | 对称差 | 异或 | 異或閘 | |
→ | 条件 | 条件 | 蘊含閘 | ||
↔ | 双向条件 | 双条件 | 同或閘 | ||
|或↑ | 谢费尔竖线 | 与非 | 反及閘 | ||
↓ | 皮尔斯箭头 | 或非 | 反或閘 |
例子
[编辑]- 最简单的布尔代数只有两个元素0和1,并通过如下规则定义:
|
|
|
- 任何给定集合S的幂集(子集的集合)形成有两个运算∨ := ∪ (并)和∧ := ∩ (交)的布尔代数。最小的元素0是空集而最大元素1是集合S自身。
- 有限的或余有限的集合S的所有子集的集合是布尔代数。
- 对于任何自然数n,n的所有正约数的集合形成一个分配格,如果我们对a | b写a ≤ b。这个格是布尔代数当且仅当n是无平方数因数的数。这个布尔代数的最小的元素0是自然数1;这个布尔代数的最大元素1是自然数n。
- 布尔代数的另一个例子来自拓扑空间:如果X是一个拓扑空间,它既是开放的又是闭合的,X的所有子集的搜集形成有两个运算∨ := ∪ (并)和∧ := ∩ (交)的布尔代数。
- 如果R是一个任意的环,并且我们定义“中心幂等元”(central idempotent)的集合为
A = { e ∈ R : e2 = e, ex = xe, ∀x ∈ R }
则集合A成为有两个运算e ∨ f := e + f + ef和e ∧ f := ef的布尔代数。
原型布尔代数
[编辑]在k元素集合X上有kkn个n元运算f: Xn→X,因此在{0,1}上有22n个n元运算。所以得出所有布尔代数,不论大小都两个常量或“零元”运算,四个一元运算,16个二元运算,256个三元运算,以此类推,它们叫做给定布尔代数的布尔运算。只有一个例外就是一个元素的布尔代数,它叫做退化的或平凡的(被一些早期作者禁用),布尔代数的所有运算可以被证明是独特的。(在退化情况下,给定元数的所有运算都是同样的运算因为对所有输入都返回同样结果。)
在{0,1}上的运算可以用真值表展出,选取0和1为真值假和真。它们可以按统一和不依赖应用的方式列出,允许我们命名或至少单独列出它们。这些名字对布尔运算提供方便的简写。n元运算的名字是2n位的二进制数。有22n个这种运算,你不能得到更简明的命名法了!
下面展示元数从0到2的所有运算的这种格局和关联的名字。
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
这些表格继续到更高元数上,对n元有2n行,每个行给出n个变量x0,…xn−1的一个求值或绑定,而每列都有表头nfi,它们给出第i个n元运算nfi(x0,…,xn−1)在这个求值下的值。运算包括变量本身,例如1f2是x0而2f10是x0 (作为它的一元对应者的两个复件)而2f12是x1 (没有一元对应者)。否定或补¬x0出现为1f1再次出现为2f5,连同2f3 (¬x1在1元时没有出现),析取或并x0∨x1出现为2f14,合取或交x0∧x1出现为2f8,蕴涵x0→x1出现为2f13,异或或对称差x0⊕x1出现为2f6,差集x0−x1出现为2f2等等。对布尔函数的其他命名或表示可参见零阶逻辑。
作为关于它的形式而非内容的次要详情,一个代数的运算传统上组织为一个列表。我们这里通过在{0,1}上有限运算索引了布尔代数的运算,上述真值表表示的排序首先按元数,其次为每个元数运算的列出表格。给定元数的列表次序是如下两个规则确定的。
- (i)表格左半部分的第i行是i的二进制表示,最低有效位或第0位在最左(“小端”次序,最初由艾伦·图灵提议,所以可不无合理的叫做图灵序)。
- (ii)表格的右半部分的第j列是j的二进制表示,还是按小端次序。在效果上运算的下标就是这个运算的真值表。
序理论的性质
[编辑]同任何格一样,布尔代数 (A, , )可以引出偏序集(A, ≤),通过定义
- a ≤ b 当且仅当a = a b (它也等价于b = a b)。
事实上你还可以把布尔代数定义为有最小元素0和最大元素1的分配格 (A, ≤) (考虑为偏序集合),在其中所有的元素x都有补¬x满足
- x ¬x = 0并且x ¬x = 1
这裡的和用来指示两个元素的下确界(交)和上确界(并)。还有,如果上述意义上的补存在,则它们是可唯一确定的。
代数的和序理论的观点通常可以交替的使用,并且二者都是有重要用处的,可从泛代数和序理论引入结果和概念。在很多实际例子中次序关系、合取(逻辑与)、析取(逻辑或)和否定(逻辑非)都是自然的可获得的,所以可直接利用这种联系。
对偶原理
[编辑]你还可以把来自序理论的对偶性的普遍认识应用于布尔代数。特别是,所有的布尔代数的次序对偶,或者等价的说通过对换与所获得的代数,也是布尔代数。一般的说,布尔代数的任何有效的规律都可以变换成另一个有效的对偶规律,通过对换0与1,与,和≤与≥。
同态和同构
[编辑]在布尔代数A和B之间的同态是一个函数f : A → B,对于在A中所有的a, b都有:
- f(a b) = f(a) f(b)
- f(a b) = f(a) f(b)
- f(0)= 0
- f(1)= 1
接着对于在A中所有的a,f(¬a) = ¬f(a)同样成立。所有布尔代数的类,和与之在一起的态射的概念,形成了一个范畴。从A到B的同构是双射的从A到B的同态。同构的逆也是同构,我们称两个布尔代数A和B为“同构”的。从布尔代数理论的立场上,它们是不能区分的;它们只在它们的元素的符号上有所不同。
布尔同态
[编辑]布尔同态是在布尔代数A和B之间的函数h: A→B使得对于所有布尔运算mfi有
- h(mfi(x0,…,xm−1)) = mfi(h(x0),…,h(xm−1)).
布尔代数的范畴Bool有所有布尔代数作为对象和在它们之间的布尔同态作为态射。
从两元素布尔代数2到所有布尔代数存在唯一的同态,因为所有态射必须保持两个常量而它们是2的仅有元素。有这种性质的布尔代数叫做初始布尔代数。可以证明任何两个初始布尔代数都是同构的,所以在同构的意義下2就是初始布尔代数。
在其他方向上,从布尔代数B到2存在很多同态。任何这种同态都把B 划分成映射到1的元素和映射到0的元素。由前者组成的B的子集叫做B的超滤子。在B是有限的时候,它的超滤子配对于它的原子;一个原子被映射到1而其他被映射到0。B的每个超滤子因此由B的一个原子和所有其上的元素组成;所以精确的有B的一半元素在这个超滤子中,并且有和原子一样的多的超滤子。
对于无限布尔代数,超滤子的概念变得相当微妙。大于等于原子的那些元素总是形成超滤子,但是很多其他集合也能形成;例如在整数的有限和余有限集合的布尔代数中,余有限集合形成了超滤子即使它们中没有原子。类似的整数的幂集有包含给定整数的所有子集的集合作为超滤子之一;有可数多个这种“标准”超滤子,它们可以用整数自身来识别,但是还有不可数多个“非标准”超滤子。这些形成了非标准分析的基础,它提供了对这种经典不相容对象作为无穷小和delta函数的表述。
布尔环、理想和滤子
[编辑]每个布尔代数 (A, , )都引出一个环(A, +, *),通过定义a + b = (a ¬b) (b ¬a) (这个运算在集合论中叫做“对称差”在逻辑中叫做XOR(异或))和a * b = a b。这个环的零元素符合布尔代数的0;环的乘法单位元素是布尔代数的1。这个环有对于A中的所有的a保持a * a = a的性质;有这种性质的环叫做布尔环。
反过来,如果给出布尔环A,我们可以把它转换成布尔代数,通过定义x y = x + y + xy和x y = xy。因为这两个运算是互逆的,我们可以说每个布尔环引发一个布尔代数,或反之。此外,映射f : A → B是布尔代数的同态,当且仅当它是布尔环的同态。布尔环和代数的范畴是等价的。
布尔代数A的理想是一个子集I,对于在I中的所有x, y我们有x y在I中,并且对于在A中的所有a我们有a x在I中。理想的概念符合在布尔环A中环理想的概念。A的理想I叫做“素理想”,如果I ≠ A;并且如果a b在I中总是蕴涵a在I中或b在I中。A的理想I叫做“极大理想”,如果I ≠ A并且真正包含I的唯一的理想是A自身。这些概念符合布尔环A中的素理想和极大理想的环理论概念。
“理想”的对偶是滤子。布尔代数A的“滤子”是子集p,对于在p中的所有x, y我们有x y在p中,并且对于在A中的所有a,如果a x = a则a在p中。
表示布尔代数
[编辑]可以证实所有的“有限”的布尔代数都同构于一个有限集合的所有子集的布尔代数。此外,所有的有限的布尔代数的元素数目都是二的幂。Stone的著名的布尔代数表示定理陈述了“所有的”布尔代数A都同构于在某个(完全不连通紧致豪斯多夫空间)拓扑空间中所有闭开集合的布尔代数。
广义布尔代数
[编辑]从布尔代数的公理中去掉存在最大元1的要求产生了“广义布尔代数”。形式的说,分配格B是广义布尔代数,如果它有最小元0并且对于任何B中的元素a和b使得a ≤ b,存在一个元素x使得并且。定义为唯一的x使得并且,我们可以称结构是“广义布尔代数”,而是“广义布尔半格”。
广义布尔格完全就是布尔格的理想。
公理化布尔代数
[编辑]在1933年,美国数学家Edward Vermilye Huntington(1874-1952)展示了对布尔代数的如下公理化:
- 交换律: x + y = y + x。
- 结合律: (x + y) + z = x + (y + z)。
- Huntington等式: 。
Herbert Robbins接着摆出下列问题: Huntington等式能否替代为它的对偶等式,并且这个新等式与结合律和交换律一起成为布尔代数的基础?通过一组叫做“Robbins代数”的公理,问题就变成了:是否所有的Robbins代数都是布尔代数?
Robbins代数的公理化:
- 交换律: x + y = y + x。
- 结合律: (x + y) + z = x + (y + z)。
- Robbins等式: 。
这个问题自从1930年代一直是公开的,并成为阿尔弗雷德·塔斯基和他的学生最喜好的问题。
在1996年,William McCune在阿贡国家实验室,建造在Larry Wos、Steve Winker和Bob Veroff的工作之上,肯定的回答了这个长期存在的问题:所有的Robbins代数都是布尔代数。这项工作是使用McCune的自动推理程序EQP完成的。
其它记号
[编辑]此條目需要精通或熟悉相关主题的编者参与及协助编辑。 (2015年11月2日) |
布林代數的運算包含下列幾種,基本包含“與”(AND)、“或”(OR)、“非”(NOT),其中由這三種又可組合成NAND(與非)、NOR(或非)、XOR(異或)與XNOR(異或非)。
常見使用記號:“”表示AND,“+”表示OR(如CNF和DNF中)或者XOR(如ANF中);A中A上面的一橫表示NOT;⊕表示XOR;⊙表示XNOR。
参见
[编辑]参考资料
[编辑]- Brown, Stephen; Vranesic, Zvonko, Fundamentals of Digital Logic with VHDL Design 2nd, McGraw–Hill, 2002, ISBN 978-0-07-249938-4. See Section 2.5.
- Cori, Rene; Lascar, Daniel, Mathematical Logic: A Course with Exercises, Oxford University Press, 2000, ISBN 978-0-19-850048-3. See Chapter 2.
- Dahn, B. I., Robbins Algebras are Boolean: A Revision of McCune's Computer-Generated Solution of the Robbins Problem, Journal of Algebra, 1998, 208: 526–532, ISSN 0021-8693.
- Halmos, Paul, Lectures on Boolean Algebras, Van Nostrand, 1963, ISBN 978-0-387-90094-0.
- Halmos, Paul; Givant, Steven, Logic as Algebra, Dolciani Mathematical Expositions, no. 21, Mathematical Association of America, 1998, ISBN 978-0-88385-327-6.
- Huntington, E. V., New sets of independent postulates for the algebra of logic, Transactions of the American Mathematical Society, 1933, 35: 274–304, ISSN 0002-9947.
- Huntington, E. V., Boolean algebra: A correction, Transactions of the American Mathematical Society, 1933, 35: 557–558, ISSN 0002-9947.
- Mendelson, Elliott, Boolean Algebra and Switching Circuits, Schaum's Outline Series in Mathematics, McGraw–Hill, 1970, ISBN 978-0-07-041460-0.
- Monk, J. Donald; Bonnet, R. (编), Handbook of Boolean Algebras, North-Holland, 1989, ISBN 978-0-444-87291-3. In 3 volumes. (Vol.1:ISBN 978-0-444-70261-6, Vol.2:ISBN 978-0-444-87152-7, Vol.3:ISBN 978-0-444-87153-4)
- Stoll, R. R., Set Theory and Logic, W. H. Freeman, 1963, ISBN 978-0-486-63829-4. Reprinted by Dover Publications, 1979.
- Birkhoff, Garrett. On the structure of abstract algebras. Proc. Camb. Phil. Soc. 1935, 31: 433–454. ISSN 0008-1981.
- Boole, George. An Investigation of the Laws of Thought. Prometheus Books. 2003 [1854]. ISBN 978-1-59102-089-9.
- Dwinger, Philip. Introduction to Boolean algebras. Würzburg: Physica Verlag. 1971.
- Gaifman, Haim. Infinite Boolean Polynomials, I. Fundamenta Mathematicae. 1964, 54: 229–250. ISSN 0016-2736.
- Grau, A.A. Ternary Boolean algebra. Bull: Am. Math. Soc. 1947, 33: 567–572.
- Hales, Alfred W. On the Non-Existence of Free Complete Boolean Algebras. Fundamenta Mathematicae. 1964, 54: 45–66. ISSN 0016-2736.
- --------, and Givant, Steven (1998) Logic as Algebra. Dolciani Mathematical Exposition, No. 21. Mathematical Association of America.
- Johnstone, Peter T. Stone Spaces. Cambridge, UK: Cambridge University Press. 1982. ISBN 978-0-521-33779-3.
- Ketonen, Jussi. The structure of countable Boolean algebras. Annals of Mathematics. 1978, 108: 41–89.
- Koppelberg, Sabine (1989) "General Theory of Boolean Algebras" in Monk, J. Donald, and Bonnet, Robert, eds., Handbook of Boolean Algebras, Vol. 1. North Holland. ISBN 978-0-444-70261-6.
- Peirce, C. S.(1989)Writings of Charles S. Peirce: A Chronological Edition: 1879–1884. Kloesel, C. J. W., ed. Indianapolis: Indiana University Press. ISBN 978-0-253-37204-8.
- Lawvere, F. William. Functorial semantics of algebraic theories. Proceedings of the National Academy of Sciences. 1963, 50 (5): 869–873.
- Schröder, Ernst. Vorlesungen über die Algebra der Logik (exakte Logik), I–III. Leipzig: B.G. Teubner. 1890–1910.
- Sikorski, Roman. Boolean Algebras 3rd. ed. Berlin: Springer-Verlag. 1969. ISBN 978-0-387-04469-9.
- Stone, Marshall. The Theory of Representations for Boolean Algebras. Transactions of the American Mathematical Society. 1936, 40: 37–111. ISSN 0002-9947.
- Tarski, Alfred(1983). Logic, Semantics, Metamathematics, Corcoran, J., ed. Hackett. 1956 1st edition edited and translated by J. H. Woodger, Oxford Uni. Press. Includes English translations of the following two articles:
- Tarski, Alfred. Sur les classes closes par rapport à certaines opérations élémentaires. Fundamenta Mathematicae. 1929, 16: 195–97. ISSN 0016-2736.
- Tarski, Alfred. Zur Grundlegung der Booleschen Algebra, I. Fundamenta Mathematicae. 1935, 24: 177–98. ISSN 0016-2736.
- Vladimirov, D.A. булевы алгебры (Boolean algebras, in Russian, German translation Boolesche Algebren 1974). Nauka (German translation Akademie-Verlag). 1969.
外部链接
[编辑]- Boolean Algebra (页面存档备份,存于互联网档案馆) from AllAboutCircuits
- Stanford Encyclopedia of Philosophy: "The Mathematics of Boolean Algebra, (页面存档备份,存于互联网档案馆)" by J. Donald Monk.
- McCune W., 1997. Robbins Algebras Are Boolean (页面存档备份,存于互联网档案馆) JAR 19(3), 263–276
- "Boolean Algebra" (页面存档备份,存于互联网档案馆) by Eric W. Weisstein、The Wolfram Demonstrations Project, 2007.
A monograph available free online:
- Burris, Stanley N.; Sankappanavar, H. P., 1981. A Course in Universal Algebra. (页面存档备份,存于互联网档案馆) Springer-Verlag. ISBN 978-3-540-90578-3.