الگوریتم ۲-SAT را به صورت مختصر توضیح داده و اثبات کنید.