การแก้ปัญหาเชิงตรรกะ