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

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.