Bản mềm: Dạng toán suy luận logic