高考试题——集合与简易逻辑