数字电路 代入定理 逻辑运算满足换元法 应用 扩展二元 DeMorgan定理 $$ (A+(B+C))’=A’(B+C)’=A’B’C' $$ $$ (A(BC))’=A’+(BC)’=A’+B’+C' $$