#include "stdio.h"

void main()

{

    int CC1,CC2,CC3,CC4,CC5,CC6,CC;/*定义7个变量分别表示6句话及总结果*/

    int A,B,C,D,E,F;               /*定义六个人的情况变量*/

    for(A=0;A<=1;A++)              /*A的两种可能*/

     for(B=0;B<=1;B++)             /*B的两种可能*/

      for(C=0;C<=1;C++)            /*C的两种可能*/

       for(D=0;D<=1;D++)           /*D的两种可能*/

        for(E=0;E<=1;E++)          /*E的两种可能*/

         for(F=0;F<=1;F++)         /*F的两种可能*/

         {

          CC1=(A||B);            /*第1句话的逻辑表达式*/

CC2=!(A&&D);           /*第2句话的逻辑表达式*/

CC3=(A&&E)||(A&&F)||(E&&F);   /*第3句话的逻辑表达式*/

CC4= (B&&C)||(!B&&!C);    /*第4句话的逻辑表达式*/

CC5=(C&&!D)||(D&&!C);    /*第5句话的逻辑表达式*/

CC6=D||(!D&&!E);          /*第6句话的逻辑表达式*/

if((CC=CC1&&CC2&&CC3&&CC4&&CC5&&CC6)==1 )    /*判断条件都成立*/

{

/*输出判断结果*/

A==0?printf("A不是罪犯\n"):printf("A是犯罪\n");

B==0?printf("B不是罪犯\n"):printf("B是犯罪\n");

C==0?printf("C不是罪犯\n"):printf("C是犯罪\n");

D==0?printf("D不是罪犯\n"):printf("D是犯罪\n");

E==0?printf("E不是罪犯\n"):printf("E是犯罪\n");

F==0?printf("F不是罪犯\n"):printf("F是犯罪\n");

}

         }        

}