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