二值逻辑
只有两种对立逻辑状态的逻辑关系称为二值逻辑。所谓的逻辑，这里指的是事物间的因果关系。当两个二进制数码制表示不同的逻辑状态时，他们可以按照指定的某种因果关系进行推理运算。即逻辑运算。
布尔代数
基本运算：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.卡诺图化简