2013校选题 -- 推理问题

                 最近研究用c写逻辑推理问题，不知道这问题属于哪种方向的类型题？

  

/*题意：   甲说乙说谎，乙说丙说谎，丙说甲乙都在说谎，到底谁在说谎？ time:  2014.4.14*/#include <stdio.h>int main(){int i;  //表示甲  0 表示真 1 表示假int j;  //--  已int z;  //    丙for (i = 0; i < 2; i++){for (j = 0; j < 2; j++){if (i != j){for (z = 0; z < 2; z++){if (j != z){if (z != (i==1 && j==1))  // 丙说真 那么 甲 和 已 都是假话 ，反之亦然{if (i == 0){printf("甲说的是真话\n");}else{printf("甲说的是假话\n");}if (j == 0){printf("已说的是真话\n");}else{printf("已说的是假话\n");}if (z == 0){printf("丙说的是真话\n");}else{printf("丙说的是假话\n");}printf("\n");}}}}}}return 0;}