О минимизации схем программ относительно логико-термальной эквивалентностистатья