Что такое тождественные выражения?
Два выражения, соответствующие значения которых равны для любых возможных значений переменной, называются тождественно равными, или тождественными.
Тождественные выражения - это выражения, как правило два, значения которых равны для любых возможных переменных.