Bài toán thỏa mãn công thức logic