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