布林代數
代数结构 / 維基百科,自由的 encyclopedia
布林代數(英語:Boolean algebra)在抽象代數中是指擷取了集合運算和邏輯運算二者的根本性質的一個代數結構(就是說一組元素和服從定義的公理的在這些元素上運算)。特別是,它處理集合運算交集、併集、補集;和邏輯運算與、或、非。
建議將真值併入此條目或章節。(討論) |
此條目已列出參考文獻,但因為沒有文內引註而使來源仍然不明。 (2019年11月5日) |
例如,邏輯斷言陳述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)在英文中的意思是「布爾的」,這是為了表彰布爾的貢獻,而「布林」只是一種音譯。