公式
1.分配率：
A(B+C) = AB + AC
A+BC = (A+B)(A+C)
2.吸收率
A + AB = A
A(A + B) = A
A + A'B = A + B
3.AB + A'C + BC = AB + A'C
解释：当在两项中分别出现变量 X和 X’时，其他的项都可以消去
证明：
AB + A'C +BC
= AB + A'C + BC(A + A')
= AB + A'C + ABC + A'BC
= AB + A'C
手段：
1.A * 1 = A
2.A + 0 = A
我们一般使用如此的手段去对一个式子处理
（本题中因为前两项有 A 和 A’ 的存在，所以我们选择再给第三项乘(A + A’)）
AB + A’C 是一个选择器，A = 1时，选择B ，否则选择C
4.A(AB)' = AB'
A'(AB)' = A'
证明:
A(AB)' = A(A' + B') = AB'
A'(AB)' = A'(A' + B') =A' +A'B = A'
定理
1.代入定理
没什么好说的，就是以一个变量去代替另外一个或者 一组变量，等式不变
关键是：可以用过一个变量代替多个变量的组合
eg.证明摩根公式对多个变量也是成立的
对于(A +B+C)'，令D = B+C
所以 原式等于 = (A+D)' = A' + D'
又 D' = (B+C)' = B'+C'
所以得到：(A+B+C)' = A'+B'+C'
2.反演定理
1.'与' 和 '或' 互换
2. 0 和 1 互换
3. 变量取反
这样得到的式子等号任然成立
关键：
1.必须保证按照原式的顺序（与的优先级 大于 或的优先级-----人为规定）、
2.变量取反只针对单变量（对于一组变量的组合取反这种情况不需要取反）
注意：
对于上面说的变量取反只针对单变量，现在考虑有两种处理办法
1.按照规则，对于一组变量整体取反的情况，不取反，对里面的变量组合，按照规则继续处理
2.运用代入定理，把一组变量的组合看成一个变量，这样就可以把取反符号去掉，同时里面的变量组合保持
eg
1.Y = A(B+C)+C'D ==> Y' = (A'+ B'C')(C+D')
2.Y = [(A'B)' +C +D]' +C ⇒ 采用上面说的对变量集合的取反的两种处理办法
a. Y' = [(AB')' C' D']' C' = (A'+B+C'+D')'C' = C'(A+B'+C'+D')按规矩不去掉整体的非，
对里面单个处理
b. Y' = [(A'B)' +C+D]C' = (A+B' +C+D)C' 里面整个看做一个变量，去掉外面的非，
里面不变
3. F = [A +B +(C+D)']' (X'+Y') ⇒ 在练习一下上面的这两种方法
a.F' = [A'B' (C'D')' ]' +(XY) = (A'B'(C+D))'+(XY) = A +B+C'D'+XY
b.F' = (A+B+(C+D)')+XY = A+B+C'+D'+XY
3.对偶定理
1.'与' 和 '或' 互换
2. 0 和 1 互换
3. 变量不变
得到的对偶式，如果两个式子的对偶式相同，则他们也相等
eg
Y = A+ BC ⇒ YD = A(B +C)
Y = (A+B)(A+C) ==> YD = AB+AC =A(B+C)
所以上述两式相等
逻辑函数表达式
1.真值表：把每个变量对应的0 1 都列出来，并计算出对应值
2.逻辑函数式：用符号表示运算，写出表达式
3.逻辑图：把运算用符号代表，画出图
4.波形图：与真值表一样，每一列代表真值表的一行，用波形表示01值
表达形式之间的转化：
1.真值表 ==> 函数式
a.考虑所有能让结果为 1 的情况，用'或' 连接
b.考虑每一种让结果为 1 的情况 ，用'与' 连接每一个变量
最小项：所有的变量都出现，并且它和它的反只出现一次
