注：截图来源老师的ppt
1. 常量之间的关系
2. 变量和常量在，变量和变量之间关系
3. 与普通代数相似的定理（交换律，结合律，分配律）
4. 逻辑代数的一些特殊定理（同一律。德·摩根定理）
5. 关于等式的三个原则（代入规则，反演规则，对偶规则）
代入规则：等式中某一变量都代之以一个逻辑函数，则等式仍然成立
反演规则：将Y 式中“.”换成“+”,“+”换成“.”
“0”换成“1”,“1”换成“0”
原变量换成反变量，反变量换成原变量
对偶规则：将 Y 中“. ”换成“+”,“+”换成“.”
“0” 换成“1”,“1”换成“0”
6. 若干常用公式
7. 关于异或运算的一些公式（异或,同或）
