这两天写C语言代码遇到这个离散题，感觉还是蛮经典的，自己总结一下。
</pre><p>编写程序，解决下述问题：已知有A、B、 C、D、E、F共6人参加程序竞赛。其中：</p> A和B中至少一人获奖； A、C、D中至少二人获奖； A、E中至多一人获奖； B和F或者同时获奖，或者都未获奖； C和E的获奖情况也相同； 如果E未获奖，则F也不可能获奖； C、D、E、F中至多3人获奖。<p>请问那些人获了奖？</p><p>每个人有两种状态，获奖或者不获奖，用0/1标示两种状态，1表示中奖，0标示没中奖。</p><p>用check()函数实现对离散逻辑的判断。</p><p></p><pre name="code" class="cpp"><pre name="code" class="cpp">#include<stdio.h></pre><p>编写
