上海大学数字逻辑实验报告 第5页