数字电路
逻辑代数基本定理
DeMorgan定理
代入定理
反演定理
对偶定理