Вопрос: Как называют равносильное преобразование, приводящее к формуле, которая либо содержит по сравнению с исходной меньшее число операций, либо содержит меньшее число вхождений переменных?
Ответ: упрощение.