RT，所以有没有什么 2-SAT 做法？

刚刚的帖子有错别字，删了。