集合、简易逻辑、函数综合测试