3.1开关代数

开场白：开关代数的历史……Boole……Shannon……略过

3.1.1五大公理以及三个最基本的逻辑元件

1、正逻辑表示和负逻辑表示的区别：

        仅为习惯的差异，代数描述能力等价，一般用正逻辑表示，更符合人类的理解。

2、与、或、分门：逻辑符号、代数表示、读法？

        代数表示方法千奇百怪，本书中使用更符合工程实用规范的：与、或、非

        表示：+   .   '

        读法：加、乘、丿

        后续章节的Verilog与本处不同，学到那里再说

3、五大公理（每一个都有对偶）

1. 逻辑符号 X 不为 0 ，则为1      
2. X=0则X'=1
3. 1+1=1
4. 0+0=0
5. 0+1=1+0=1

        ps：好记的很：五大公理定义了   X、非、与、或

3.1.2单变量定理

        即只包含一个变量的定理，均可基于完备归纳法使用五大公里证明

1. x + 0 = x 
2. x + 1 = 1
3. x + x = x
4. (x')' = x
5. x + x' = 1

        ps:不用记，跟常规代数加法和乘法一样一样的，结果不是x就是0/1

3.1.3二变量定理和三变量定理

        包含两个或者三个变量的定理，也均可用完备归纳法证明

1. 交换律
2. 结合律
3. 分配律
4. 吸收律：x + x * y  =  x 
5. 组合律：x * y + x * y' = x
6. 一致律：x*y + x*z + y*z' =x*z + y*z'：一致性定理x*y为多余项 

分配律：

逻辑乘分配到逻辑加：拿掉*，多个*；积之和

逻辑加分配到逻辑乘：拿掉+，多个+；和之积

3.1.4n变量定理

        n个变量符合的定理，可用优先归纳法证明

1. 同一律：x+x+...+x=x
2. 德摩根定理：与非 = 非或、或非=非与
3. 广义德摩根定理：0、1互变，+与·互变，x与x‘互变：用于直接求F'
4. 香农展开定理：F(x1,x2...xn) = x1 F(1,x2,...xn)+x1' F(0,x2,...,xn)：八个输入变七个输入

3.1.5对偶性原理（又叫原定理）

        用于恒等式：0、1互变，+与·互变；使用的时候注意·和+的优先级，否则可能出错

3.1.6逻辑函数的6种表示方法：

1. 真值表：n变量的真值表包含2的n次方项；一般从0开始编号
2. 标准和
3. 最小项列表
4. 标准积
5. 最大项列表
6. Verilog语句

        为完成从真值表到2、3、4、5的转换，需要先理解一下几个概念：

• 文字：X、Y、X’、Y‘
• 乘积项：X·Y、X·Y‘
• 积之和：X·Y+X·Y‘
• 求和项：X+Y、X+Y’
• 和之积：（X+Y）·（X+Y’）
• 标准项：每个变量最多出现一次，非标准项一定可以转换为标准项
• n变量最小项：所有变量均出现1次的乘积，有2^n个
• n变量最大项：所有变量均出现1次的求和，有1^n个

真值表到逻辑表达式的转换：

标准和：值为1的对应的最小项求和，用求和符号表示则称为最小项列表（又被称为开集）

标准积：值为0的对应的最大项之积，有累积符号表示则成为最大项列表（又被称为闭集）

标准和 标准积之间的转换：两者下表互补

Verilog后续章节再做笔记