note: This article comes from the Internet. Please contact me via lethic@163.com if there is any infringement.
lethic@163.com.
///1
2-SATn2nn
x~xab(a,b)a,ba!=b,a!=~b (a,~b),(b,~a)2-SATx~xx~x
a=b(a,~a)a~a a=~b(a,a),(b,b)(a,~b)(b,~a) 2-SAT2-SAT(a,~b)(b,~a)2-SATa(~a,a)2-SAT
///2
2-sat
codemore code
~~~~