第二节  逻辑函数基本公式和规则
2.2.1逻辑代数基本公式一、基本公式(逻辑运算优先级：括号→非→与→或)       
用真值表验证反演律A+B=A ·B,  A ·B=A+B
        当变量A、B按四种取值组合时， A+B和A ·B,  A ·B和A+B对应取值分别完全相同。所以反演律成立。
二、惯用公式
        1.        A+AB=A        2.        A+AB=A+B        3.        AB+AC+BC=AB+AC        4.        AB+AC+BCD=AB+AC        5.        A+B+AB=AB+AB        惯用公式都是由基本公式推导出来        惯用公式可直接用于逻辑函数化简