2-sat

2003-国家集训队论文——伍昱

• 建图
  若A成立，则B一定成立，就建图A->B
  在保证B'不成立，则A'一定不成立时才B'->A'
  一般来说A'=A+n
• tarjan找环
• 若发现A&A'皆在一个环内（若A成立，则A'成立），则当前答案无解
  参照命题，逆命题，逆否命题，否命题