Logic and SAT Problem