Чтобы утверждать, что выражения тождественно равны, можно использовать следующие свойства действий:

• Переместительное свойство сложения. 5 Например, ab + cd = cd + ab. 5
• Сочетательное свойство сложения. 5 Например, (a + 1) + b = a + (1 + b). 5
• Сочетательное свойство умножения. 5 Например, a * 4b = 4ab. 5
• Распределительное свойство умножения. 5 Например, 7(a − 4) = 7a − 28. 5

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