逻辑代数基础

二值逻辑

　　只有两种对立逻辑状态的逻辑关系称为二值逻辑。所谓的逻辑，这里指的是事物间的因果关系。当两个二进制数码制表示不同的逻辑状态时，他们可以按照指定的某种因果关系进行推理运算。即逻辑运算。

布尔代数

　　基本运算：1 与 （类似于乘法） 2 或（类似于加法） 3 非 （取反值）

       进一步的： 4 与非（先进行与运算，再对值取反） 5 或非 （先进行或运算，再对值取反） 6 与或非（四值运算，先两两求与，和值求或，最后取反）

                           7  异或（相反取值为1，相同取值为0，二值运算）  8 同或 （异或的基础上取反，二值运算）

基本运算：

　　A+A'B=A+B (证明采用反演)

基本定理:

　　代入定理--在任何一个包含变量A的逻辑等式中，若以另一个逻辑代入式中所有A的位置，则等式依然成立。

　　反演定理--

　　对偶定理--

逻辑函数及其表示方法

　　1.逻辑真值表

　　2.逻辑函数式

　　3.逻辑图

　　4.波形图

各种表示方法间的转换

　　1.真值表与函数表达式的相互转换

　　2.逻辑函数式与逻辑图之间的转换

　　3.波形图与真值表之间的相互转换

逻辑函数的两种标准形式

　　1.最大项和最小项    最小项（例：ABC（111））以积的形式出现，最大项（例：A+B+C（111））以和的形式出现

逻辑函数的化简方法

　　1.公式化化简

　　2.卡诺图化简