Если два выражения принимают одинаковые значения при всех значениях переменных, они называются равносильными или тождественно равными.