一道很难的题,高分求解?

[powerfox]

已知A,B,C,D四人为偷盗嫌疑人，其中只有一人为偷盗者。在审讯中，四人诚实
或说谎都有可能。
A :B没偷，D偷的。
B :我没偷，C偷的。
C :A没偷，B偷的。
D :我没偷。
请编程判断实际的偷盗者。
（提示： 先将四人说的话用符号表示，例如A的话可分解为：B没偷并且D偷的，
或者 B偷的并且D没偷，表示为 ~BΛDＶBΛ~D。将A，B，C，D对应一个字节
的位，从而数字化。）

[along_zju]

穷举嘛，反正就4种情况,
#include "stdio.h"

int mask[4][2]={
{2,4},
{2,3},
{1,2},
{4,0}};

int main()
{
int i,j;
for(i=1;i<=4;i++)
{
for(j=0;j<4;j++)
if (!( (mask[j][1] == i && mask[j][0] != i) || (mask[j][0] == i && mask[j][1] != i)))
break;
if (j < 4)
break;
}
printf("%c\n",i+'A');
}

[along_zju]

哦，忘了处理0的情况了，呵呵...

[along_zju]

#include "stdio.h"

int mask[4][2]={
{2,4},
{2,3},
{1,2},
{4,0}};

int main()
{
int i,j;
for(i=1;i<=4;i++)
{
for(j=0;j<4;j++)
if (!( ((mask[j][1] == i || !mask[j][1]) && mask[j][0] != i) || (mask[j][0] == i && (mask[j][1] != i || !mask[j][1]))))
break;
if (j < 4)
break;
}
printf("%c\n",i+'A');
}

[Arter]

用Lisp就好办多了!