由对称性解2-SAT问题

- 由对称性解2-SAT问题 - 2-SAT: - 2-SAT就是2判定性问题，是一种特殊的逻辑判定问题。2-SAT问题有何特殊性？该如何求解？我们