逻辑门功能验证及应用电路实