逻辑函数的相等：
设有两个逻辑函数：F1=f1(A1,A2,…An)
F2=f2(A1,A2,…An)
如果对于A1,A2…An的任何一组取值（共2的n次方）,F1和F2均相等，则称F1与F2相等。
也就是说：如果两个函数的真值表相同，则这两个函数一定相同。
0——1律 A·0 = 0 ； A+1=1（+：或）（· ：与）
自等律 A·1 = A ; A+0=A
重迭律 A·A = A ; A+A=A
互补率 A·A非=0； A+A非=1
交换律 A·B = B·A ； A+B = B+A
结合律 A（BC）=（AB）C；A+（B+C）=(A+B) +C
分配率 A（B+C）= AB+AC； A+BC = (A+B)(A+C)
反演律 （A+B）非 = A的非·B的非
还原率 A非的非 = A
还原率又叫德·摩根定理。
布尔代数的三条规则：
1.带入规则：任何一个含有变量X的等式，如果将所有出现X的位置都用一个逻辑函数式F代替，则等式仍然成立。