解题关键：2-sat模板，tarjan解决。
#include<iostream>
#include
阅读背景：
[P4782]2-SAT问题
来源：互联网
分享到：
