A HEURISTIC COMPLETE ALGORITHM FOR SAT PROBLEM BY USING LOGIC DEDUCTION