实验7:测试逻辑程序