实验一 门电路的逻辑功能验证及逻辑变换