阅读背景：
2-sat-总结+例题
来源：互联网
分享到：
