Программная трансляция алгоритмов в пропозициональную логику применительно к комбинаторным задачам