布尔逻辑得名于 George Boole,他是考克大学(现爱尔兰国立考克大学)的英国数学家,他在十九世纪中叶首次定义了逻辑的代数系统。现在,布尔逻辑在电子学、计算机硬件和软件中有很多应用。在 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 (逻辑真/全集)。下列性质适用于布尔代数和布尔逻辑二者:

a \lor (b \lor c) = (a \lor b) \lor c a \l昸and (b \land c) = (a \land b) \land c 结合律

a \lor b = b \lor a a \land b = b \land a 交换律

a \lor (a \land b) = a a \land (a \lor b) = a 吸收律

a \lor (b \land c) = (a \lor b) \land (a \lor c) a \land (b \lor c) = (a \land b) \lor (a \land c) 分配律

a \lor \lnot a = 1 a \land \lnot a = 0 互补律

a \lor a = a a \land a = a 等幂律

a \lor 0 = a a \land 1 = a 有界律

a \lor 1 = 1 a \land 0 = 0

\lnot 0 = 1 \lnot 1 = 0 0 和 1 是互补的

\lnot (a \lor b) = \lnot a \land \lnot b \lnot (a \land b) = \lnot a \lor \lnot b de Morgan 定律

\lnot \lnot a = a 卷绕律(involution

真值表

布尔逻辑只使用两个值 0 和 1,这两个值的交集和并集可以使用真值表定义如下:

\cap 0 1

0 0 0

1.0 1

\cup 0 1

0 0 1

1.1 1

也可以建立涉及多个输入和其他布尔运算的更复杂的真值表。

真值表应用在逻辑中,解释 0 为假,1 为真,\cap 为与,\cup 为或,而 ¬ 为非。

可以使用各种样式的基本算符来表达布尔逻辑。AND(与)、OR(或)、NOT(非)是最直觉的。数学家、工程师和程序员经常使用 + 表示或,\cdot 表示与(因为在某些方面这些运算类似于在其他代数结构中的加法和乘法,并且这种记号使熟悉普通代数的人易于得到积之和范式)。非也表示为在要否定的表达式顶上的一个横线。

另一种记号使用"交"表示与使用"并"表示或。但是这会导致混淆,因为术语"并"也经常用于合并集合的另一个布尔运算,它包括了与和或二者。

布尔术语的基本数学使用

在联立方程的情况下,它们是用暗含的逻辑与连接的:

x 替+ y = 2

x - y = 2

同样适用于联立不等式:

x + y < 2

x - y < 2

大于等于号(\ge)和小于等于号(\le)可以假定包含了一个逻辑或:

X < 2

X = 2

加/减号(\pm),在平方根的解的情况下,可以被看作是逻辑或:

WIDTH = 3

WIDTH = -3

在计算机中布尔逻辑定义若干布尔逻辑函数,有时候称为操作符。每个函数根据一个或者更多的输入,用一个逻辑算法来计算输出值。该算法根据输入所取真和假的组合来决定什么时候输出真(0真1假;1真0假。相对的)。每个逻辑函数类似于一个现实世界的逻辑运算,可以用来定义各种逻辑的情况。

1 非(NOT)

函数:NOT 仅是一个否定;输出与悲输入的相反。(NOT函数仅有一个输入,故称为一元函数或者一元操作符)。当输入为假,输出是真,反之亦然。NOT函数逻辑上表达一个条件的反面。

2 与 ( AND)

函数:AND 可以有任意多个输入,但最少是两个。仅当AND函数的第一个、第二个和第三个输入等都是真,它的输出才是真。

3 或 (OR)

函数:OR可以有任意多个输入,但最少是两个。OR函数无论何时只要一个输入中出现了真,输出就是真。

4 异或 (XOR)

函数:XOR是OR的变体。仅当一个输入或者另一个输入是真,但不是两者都为真(既如果输入是不同的),它的输出才为真。

刚刚查询:布尔逻辑 3D飞行巡回表演 若你如初 魔门道心 高杨树北里 酥山楂蛋糕 迪瑞龙 远歌杂志 说话说到位的九大绝学 蛤蜊炒韭菜 韦亨足球俱乐部 蜜桃奶油车轮饼 星球特种行动无敌版 玉林大蒜头 拉普拉涅滑雪场 抄手香辣蟹 Szandra Szilvassy 庆云石佛寺 红焖黄花鱼 崇化大和尚 奶酪朗姆草莓派 墨西哥蕃茄烤饼 恶灵骑士-天谴之路 地暖反射膜 卷槽村 乔·佩里 乱魂 刘芒 南通婚博会 中国自然保护区立法研究 三斩斧 ƹľˮ 商品期货 ɹ 加利福尼亚州立大学洛杉矶分校 有颌类 新信庄村 青皮木棉 蓝王子 曲云德 爱恋二千小时 布朗士科学高中 淘江湖 蓝塘镇 苍茫世界 好益生 ϯ 本尼度 中国共产党广东区委员会旧址 青萝卜老鸭汤 肯特公爵爱德华 光谷国际动漫节 西双版纳原始森林 邓启华 能量球2 RIA开发权威指南:基于JavaFX 达来•月亮湖 菠菜蛋羹 李荣华 西河漕胡同 富翁之死 季裕棠 快跑惊魂 剁椒香菇蒸鸡 人造生命 伪皇宫及八大部 颗颗 阳溪镇 矿物盐 东京城林业局 乌拉圭(U23) 恶口果报 天然气管道 唐模古村 古今大战80分 Senshi 奶汤鲜核桃仁 sniffer
友情链接: 知道 电影 视频 百科 好搜 问答 微信 巨便宜 天天特价 女装 女鞋 母婴 内衣 零食 美妆 汽车 油价 郑州 北京 上海 广州 深圳 杭州 南京 苏州 武汉 天津 重庆 成都 大连 宁波 济南 西安 石家庄 沈阳 南阳 临沂 邯郸 保定 温州 东莞 洛阳 周口 青岛 徐州 赣州 菏泽 泉州 长春 唐山 商丘 南通 盐城 驻马店 佛山 衡阳 沧州 福州 昆明 无锡 南昌 黄冈 遵义
© 2020 haodianxin 百科 消耗时间:0.288秒 内存2.48MB