＜＜计算机系统要素＞＞学习笔记 - 布尔代数

关键字对照表

如果在计算机中运行Hello World

程序只是一堆存储在文本文件中的字符, 我们必须对该文本进行语法分析, 然后用某种计算机能理解的低级语言来重新表达程序. 这个编译过程产生的结果就是生成另外一个包含机器代码的文本文件.

基本逻辑门

基本逻辑门是利用基于物理理论以及量子理论的技术, 由晶体管构建而成的.

布尔代数

布尔代数处理布尔型数值.

真值表表示法

描述布尔函数最简单的方法就是枚举出函数所有可能的输入变量组合, 然后写出每一种组合所对应的函数输出值.

布尔表达式

除了真值表描述之外, 布尔函数还可以在输入变量上使用布尔算子来描述.

基本的布尔算子有 “And”, “Or”, "Not"

• And : 只有在x和y都为1时, x And y的值等于1.
• Or : x 或者 y 中只要有一个为1时, x Or y 的值为1.
• Not : 当 x 为 0 时, Not x 为 1.

使用常用的计算符号来表示这些算子

x · y (或者 xy) : 表示 x And y
x + y : 表示 x Or y
代表 Not x.

真值表可以用布尔表示式表示

布尔表达式 :
例如 , 当输入x = 0, y = 1, z = 0时, x + y = 1, 因此 1 · (not 1) = 1 · 1 = 1

规范表示法

规范表示法（Canonical Representation) 每个布尔函数都至少由一个布尔表达式来描述，称之为规范表示法（canonical representation)。同样从函数的真值表出发，我们关注函数值为1的那些行。对于每一行，我们构建一种表达法来确定所有输入变量的值，即通过对两个字面量（literals)(每个量可以是变量本身或其反值）施以And操作来得到。

输入变量的布尔函数

例如 :
Nor : Not - Or的简称, 先对 x 和 y 进行 Or操作, 然后取反.
Xor : 表示异或, 即当两个变量的值相异时则返回1, 相同时返回0.

Nand 函数以及 Nor 函数在理论上还有个有趣的特征

And/Or/Not 算子都可以只用 Nand 或 Nor函数来建构.

例如 :
x Or y = (x Nand x) Nand (y Nand y)

把0 和 1 带入解析 :

1 Or 0 = (1 Not and 1) Not and (1 Not and 1)
1 Or 0 = 0 Not and 0
1 Or 0 = 1