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