谁是贼？

/*          
* Copyright (c) 2012, 烟台大学计算机学院          
* All rights reserved.          
* 文件名称：test.cpp          
* 作者：刘明亮     
* 完成日期：2012 年 11月 11 日          
* 版本号：v1.0               
* 输入描述：

 警察局抓住了A、B、C、D四名盗窃嫌疑犯，其中只有一人是小偷。在审问时，A说：“我不是小偷”；
B说：“C是小偷”；C说：“小偷肯定是D”；D说：“C在冤枉好人”。现在已经知道这四人中有三人说的是真话，一人说的是假话。
请问到底谁是小偷？
提示：设4个变量a,b,c,d，为0时表示不是小偷，为1时表示是小偷，用四重循环穷举a,b,c,d可能的取值的组合，
对每一种组合判断其是否符合题目中给出的约束。最后结论：C是小偷。
        
* 问题描述：   
* 程序输出：略 
* 问题分析：略          
* 算法设计：略          
*/   

#include<iostream>
using namespace std;
int main()
{
	int a,b,c,d;
	for(a=1;a>=0;a--)
		for(b=1;b>=0;b--)
			for(c=1;c>=0;c--)
				for(d=1;d>=0;d--)
					if((!a)+(c)+(d)+(!d)==3 && a+b+c+d==1)
					{  
                        cout<<"A "<<(a?"":"不")<<"是小偷。"<<endl;  
                        cout<<"B "<<(b?"":"不")<<"是小偷。"<<endl;  
                        cout<<"C "<<(c?"":"不")<<"是小偷。"<<endl;  
                        cout<<"D "<<(d?"":"不")<<"是小偷。"<<endl;  
                    }  
	return 0;
}