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

  • выполнимой
  • конъюнкцией
  • противоречием
  • тавтологией

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