2-SAT建边一定符合对称性吗