关于数字电路的逻辑代数定理,超级头疼.