三大基本定理
1.代入定理：
简单来说，就是你为了验证一个逻辑代数式子，把其中的变量换成另外一个逻辑式子，查看原式是否成立
（简直在侮辱智商有没有～）
eg 证明二变量的摩根定理：(A+B)'= A'.B' and (A.B)'=A'+ B'可以推广到多变量解： 第一个式子用B+C代替B==》（A+B+C) = 'A'.(B+C)' =A' +B' +C'第二个式子，用B.C代替B，同上易证
2.反演定理
对于一个逻辑式，将其中 1。+ =》. 2。. =》+ 3。1 =》0 4。0 =》1变量 =》 变量’（取反）它仍然成立注意：1.先括号，再乘号，再加号2.不是单个变量的取反不变！！！比如（AB)'
感觉理解起来不是很难，举个例子更清楚
Y = A(B+C)+CD ====⇒ Y' = (A'+ (B'.C')) .(C'+D') Y = ((AB'+C)'+D)'+C' ===⇒ Y' = (((A'+B).C')'.D')'.C
体会：1.对一个式子取反不需要变化，但是括号里面每个变量都需要改变
2.不改变的优先级针对的是改变之前的优先级，变换的时候注意针对原式子里面的乘号加括号就行
3.对偶原理
和反演定理一样，唯一的差别在于，对偶原理不要对变量取反，这样得到的就是对偶式
对偶定理可以通过对等号两边取对偶式来判断一个式子是否成立
eg Y = A+BC ==> YD = A(B+C) =AB+ACY = (A+B)(A+C) ==>AB.AC推出上面两个式子相等
如果觉得《（二）2.逻辑代数的基本定理》对你有帮助，请点赞、收藏，并留下你的观点哦！
