离散数学1命题逻辑

南京工程学院实  验  报  告课程名称  离散数学  实验项目名称  命题逻辑          实验学生班级 K网络工程121      实验学生姓名    王云峰              学