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