判断颁奖人员（C语言实现）

A、B、C、D、E、F共六个人参加程序竞赛。已知A和B至少有一人获奖；A、C、D中至少有两个人获奖；A和E中至多有一个人获奖；B和F或者同时获奖，或者都未获奖；C和E的获奖情况也相同；如果E未获奖，则F也不可能获奖；并且C、D、E、F中至多三个人获奖。问哪些人获了奖。将判断条件用逻辑语句表示如下：

A和B至少有一人获奖 ： a  &&  b

C和E的获奖情况也相同 ： c == e

A和E中至多有一个人获奖 ： !(a && e)

A、C、D中至少有两个人获奖 ： ( a + c + d ) >= 2  

C、D、E、F中至多三个人获奖 ： ( c + d + e + f ) <= 3

如果E未获奖，则F也不可能获奖 ： e || !f