逻辑代数

✍ dations ◷ 2025-07-27 08:08:36 #逻辑代数
在数学和数理逻辑中,逻辑代数(有时也称开关代数、布尔代数)是代数的一个分支,其变量的值仅为真和假两种真值(通常记作 1 和 0)。初等代数中变量的值是数字,而且主要的运算是加法、乘法和乘方(以及它们的逆运算),而逻辑代数的主要运算有合取与,记为∧;析取或 ,记为∨;否定非 ,记为¬ 。因此,它是以普通代数描述数字关系相同的方式来描述逻辑关系的形式主义。逻辑代数是乔治·布尔(George Boole)在他的第一本书《逻辑的数学分析》(1847年)中引入的,并在他的《思想规律的研究》(1854年)中更充分的提出了逻辑代数。 根据Huntington“布尔代数”这个术语,最初是由Sheffer于1913年提出。逻辑代数一直是数字电路设计的基础,并且所有现代编程语言提供支持。它也用在集合论和统计学中。参与逻辑运算的变量叫逻辑变量,用字母A,B……表示。每个变量的取值非0 即1。 0、1不表示数的大小,而是代表两种不同的逻辑状态。正、负逻辑规定:逻辑函数:如果有若干个逻辑变量(如A、B、C、D)按与、或、非三种基本运算组合在一起,得到一个表达式L。对逻辑变量的任意一组取值(如0000、0001、0010)L有唯一的值与之对应,则称L为逻辑函数。逻辑变量A、B、C、D的逻辑函数记为:L=f(A、B、C、D)逻辑代数的基本运算如下。如果把真值0和1解释为整数,这些运算可以表示为普通算数运算:此外可以用制作真值表来表示 x∧y, x∨y 和 ¬x 的值:有人可能会认为,只有否定和另外两种运算之一是基本的,因为用下列性质可以用逻辑否和逻辑或来定义逻辑与,反之亦然:上述三个逻辑运算被称为基本的,这意味着其他逻辑运算可以以它们为基础,由他们的复合来建立,即将这些运算组合或结合。下面是由基本运算构成的运算的例子:这些定义产生以下真值表,其中给出了对所有四个可能的输入,这些运算的值。第一种运算,x → y 或 Cxy,叫做实质蕴涵。如果 x 为真,则 x → y 的值就取自 y 的值。但如果 x 为假,则 y 可以忽略;然而此运算必须返回某种真值,而且只有两种选择,所以返回蕴含较小的值,即真。(相干逻辑通过看作非真非假的假前提的蕴含来处理这件事。)第二种运算,x ⊕ y 或 Jxy,叫做异或(通常缩写为XOR)与逻辑或的区别在于逻辑或包含其类型。它排除了 x 和 y 同时为真的情形。用算术来定义就是加和之后 mod 2,就如 1 + 1 = 0.第三种运算,异或的互补运算,是同或或逻辑等价:x ≡ y 或 Exy,当 x 与 y 值相同时为真。因此作为其互补运算,x ⊕ y 可以理解为 x ≠ y,当 x 和 y 不同时为真。它对应的 mod 2 算术为 x + y + 1。给定两个操作数,每个具有两个可能的值,共有 22 = 4 种可能的输入组合。由于每种输出有两种可能值,一共有 24 = 16种可能的二元逻辑运算(英语:Boolean algebras canonically defined#Truth tables)。两个主要的二元运算的符号定义为 ∧ {displaystyle land } (逻辑与)和 ∨ {displaystyle lor } (逻辑或),把单一的一元运算的符号定义为 ¬ {displaystyle lnot } (逻辑非)。我们还使用值 0 (逻辑假)和 1 (逻辑真)。逻辑代数有下列性质:任何一个含有变量 X 的等式,如果将所有出现 X 的位置,都代之以一个逻辑函数 F,此等式仍然成立。设 F 是一个逻辑函数式,如果将 F 中的所有的 * 变成 +,+ 变成 *,0 变成 1,1 变成 0,而变量保持不变。那么就的得到了一个逻辑函数式 F',这个 F' 就称为 F 的对偶式。如果两个逻辑函数 F 和 G 相等,则它们各自的对偶式 F' 和 G' 也相等。当已知一个逻辑函数 F,要求 ¬F 时,只要把 F 中的所有 * 变成 +,+ 变成 *,0 变成 1,1 变成 0,原变量变成反变量,反变量变成原变量,即得 ¬F。 使用反演规则时要注意保持原函数中逻辑运算的优先顺序。逻辑变量的逻辑与运算叫做与项,与项的逻辑或运算构成了逻辑函数的与或式,也叫做积之和式(SP form)。逻辑变量的逻辑或运算叫做或项,或项的逻辑与运算构成了逻辑函数的或与式,也叫做和之积式(PS form)。对于 n 个变量的逻辑函数而言,它的与项如果包含全部 n 个变量,即每个变量以原变量或反变量的形式出现一次且只出现一次,那么这个与项就称为该逻辑函数的最小项。对于 n 个变量的逻辑函数而言,它的或项如果包含 全部n 个变量,即每个变量以原变量或反变量的形式出现一次且只出现一次,那么这个或项就称为该逻辑函数的最大项。运用逻辑代数的基本公式及规则可以对逻辑函数进行变换,从而得到表达式的最简形式。这里所谓的最简形式是指最简与或式或者是最简或与式,它们的判别标准有两条:(1)项数最少;(2)在项数最少的条件下,项内的文字最少。卡诺图是遵循一定规律构成的。由于这些规律,使逻辑代数的许多特性在图形上得到形象而直观的体现,从而使它成为公式证明、函数化简的有力工具。20世纪早期,一些电子工程师领悟到逻辑代数很像某种电子电路的行为。香农在它1937年的论文中证明了这种行为与逻辑代数等价。几乎所有现代通用计算机都用二值布尔逻辑做运算;也就是说它们的电路是二值布尔逻辑的物理表示。几种表示方式:导线上电压的高低,磁性存储设备中磁畴的方向,打孔卡或纸带上的洞,等等(但有些早期的计算机用了十进制电路或者机械,而不是二值逻辑电路)当然,也可能在任意介质中编码进2个以上的符号。比如在导线上用0,1,2,3伏特去编码一种有4个符号的字符集,或者利用打孔卡的洞的不同大小。但实践上,在一个很小的、高速的、低功耗的电路中噪声是个关键因素。它使分辨多个可能出现的符号变得困难。所以电路设计者们选择了高、低2种电压而不是4种。由于上面的原因计算机使用二值逻辑电路。最常见的计算机架构使用32或64个叫做比特的布尔值序列,比如01101000110101100101010101001011。当使用机器语言、汇编语言和某些高级语言时,程序员可以操作寄存器的数字结构。在寄存器中0电压表示逻辑0,参考电压(通常是+5伏或+3.3伏)表示逻辑1。这些语言同时支持数值操作和逻辑操作。这里的“数值操作”指计算机把比特序列当作二进制数字进行加减乘除等运算。“逻辑操作”指2个比特序列之间的与或非运算,序列中每一位都与另一序列中对应位进行运算。这两种操作之间的关键不同是前者有进位而后者没有。

相关

  • 葡萄糖葡萄糖(法语、德语、英语:glucose;又称血糖、玉米葡糖、玉蜀黍糖)是自然界分布最广、且最为重要的一种单糖。 因为拥有6个碳原子,被归为己糖或六碳糖。葡萄糖是一种多羟基醛,分子
  • 中东呼吸综合症中东呼吸综合征(英文缩写:MERS)是一种由中东呼吸综合征冠状病毒(前称“2012年新型冠状病毒”)所引起的新型人畜共患的呼吸系统传染病。患者常见的症状为发热、咳嗽、喉咙痛或胸痛
  • 贫化铀贫铀,也称为贫化铀或耗乏铀或衰变铀等等,英文简写为DU,是一种主要由铀-238构成的物质,为核燃料制程中的的副产物,故也是一种核废料。自然界中的铀,含有约99.27%的铀-238、0.72%的
  • VIAbr /16固体、 液体、 气体氧族元素是指元素周期表上第16族(ⅥA族)的元素,位于氮族元素和卤素之间。氧族元素包含氧(O)、硫(S)、硒(Se)、碲(Te)、钋(Po)、钅立(Lv),其中氧、硫、硒为非金属,碲为类金
  • 北京市疾病预防控制中心北京市疾病预防控制中心、北京市预防医学研究中心位于北京市东城区和平里中街16号,是中国北京市的一家市级卫生事业单位,成立于2000年。北京市疾病预防控制中心、北京市预防医
  • 妇女神学妇女神学是一个建立在几个不同宗教,包括:佛教、基督教、犹太教及新思想运动等的运动,旨在使用女性主义角度去反思宗教的传统、实践、经文以及神学。有些妇女神学的目的是为了提
  • 囊虫病囊虫病(Cysticercosis)是由 猪肉绦虫(Taenia solium)的幼体(囊尾幼虫)引起的组织感染。病者可能会许多年都没有症状或只有很少的症状。在部分的病例,尤其亚洲的病例会在皮肤下1到2
  • 类血友病类血友病,温韦伯氏疾病(Von Willebrand disease,简称vWD)、血管性血友病,是人类最常见的遗传性凝血异常疾病,但是也可会在某些情况下得病。致病的原因是缺乏一种血小板凝聚所需要
  • 金文陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧  小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧  书法 ‧ 飞白书笔画 ‧ 
  • 印刷通用汉字字形表《印刷通用汉字字形表》,中国大陆于1965年出版字表,共收6196字,统一规定当时印刷宋体字形标准,以简化字为主(《简化字总表》1964年发布),附以对应之繁体字。所谓的“新字形”即由此