三态门、oc门实验报告 湖南大学数字逻辑 -