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

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