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