Подстановка членов при выводах условий и присваиваний при простых выкладках выполняется мысленно и приводятся только ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Лингер Р.N.
Теория и практика структурного программирования
Подстановка членов при выводах условий и присваиваний при простых выкладках выполняется мысленно и приводятся только конечные результаты; в противном случае дается полный вывод.
