poj3678Katu Puzzle

  最近在学2-sat，也就做到了这题。开始建图建错了，用了网上模型才过。
  然后我讲讲我对这个模型的理解：
  A and B == 0： 建边A->!B, B->!A
  A and B == 1： 建边!A->A, !B->B
  A or B == 0： 建边A->!A, B->!B
  A or B == 1： 建边!A->B, !B->A
  A xor B == 0： 建边A->B, B->A, !A->!B, !B->!A
  A xor B == 1： 建边!A->B, !B->A, A->!B, B->!A

因为如果一个命题成立，它的逆否命题一定成立。0->1为真，而1->0为假。
A and B == 0：只要A,B都不为1，对于A->!B，如果A为1，则B一定为0,  1-> !0, 为真。如果A为0，则B为0或1,0->1,0->0都为真。所以A->！B成立，B->！A也成立。

接着的5条同理可证。