Bài toán thỏa mãn biểu thức logic