纠错
全专业资料、题库、学位、网课
最高直省2344元
上千+科次精品网课
买网课即送全真模考题库
五千+科次教材资料
电子资料满三件9折
五千+科次在线题库
全真呈现历年考试试题
1、[主观题]【简答题】写出命题公式(P→ Q) ∧R 的主析取范式。
2、[主观题]【简答题】把谓词公式∃x(P(x,y)→ ∃yQ(x,y) )化为前束范式。
3、[主观题]【证明题】某勘探队有 3 个队员 ,有一天取得一块矿样 ,3 人判断如下 : 甲说 :" 这不是铁 ,也不是铜。" ,乙说 " 这不是铁 ,是锡。" ,丙说 " 这不是锡 ,是铁。" ,结果其中一人全对 ,一人全错 ,一人对一半。请用命题真值的方法证明上述说法是存在的 ,并判断此时矿样是什么金属。
4、[主观题]【证明题】证明 :若某次会议有 30 人参加 ,其中每人都至少有 15 个朋友 ,这 30 人围一圆桌入座 ,则一定存在能安排相邻的人都是朋友的情形入座。
5、[填空题]设 A = {1 ,2 ,3 ,4} ,B = {2 ,4 ,6} ,则 A-B =________。