Chương trình logic xác định