О преобразованиях логических схем программ