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

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