Разбор задачи о контрабандисте: логические подходы