2-sat 2003-国家集训队论文——伍昱 建图 若A成立,则B一定成立,就建图A->B 在保证B'不成立,则A'一定不成立时才B'->A' 一般来说A'=A+n tarjan找环 若发现A&A'皆在一个环内(若A成立,则A'成立),则当前答案无解 参照命题,逆命题,逆否命题,否命题