====== سوال ۱ ======

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

  * [[سوال ۲|سوال بعد]]