人工智能 a b c 说谎问题

上午写的时候条件弄错了，一直无解……改过条件后不知道这样写对不对，期待指正。

/*题目描述：a: b,c 说的是真话b: a,c 说的是假话c: a,b 至少有一个说的是假话此题只要找出谁是说真话的即可。分别假设各个说真话的人，穷举找到答案。*/#include<iostream>#include<algorithm>#include<iterator>using namespace std;bool a,b,c;bool aistrue(){return a&&b;}bool bistrue(){return (!a)&&(!c);}bool cistrue(){return (!a)||(!b);}bool check(bool b1,bool b2){return b1&&b2;}void show(){cout<<"a:"<<(a?"真":"假")<<endl;cout<<"b:"<<(b?"真":"假")<<endl;cout<<"c:"<<(c?"真":"假")<<endl;}int main(){//假如a说的是真的,b,c,必定都为真a=1;b=1;c=1;if(check(bistrue()==b,cistrue()==c))show();//假如b为真b=1;a=0;c=0;if(check(aistrue()==a,cistrue()==c))show();//c说的为真话,a,b三中情况c=1;a=1;b=0;if(check(aistrue()==a,bistrue()==b))show();a=0;b=1;if(check(aistrue()==a,bistrue()==b))show();a=0;b=0;if(check(aistrue()==a,bistrue()==b))show();}