Логическая формула, которая является конъюнкцией дизъюнкций переменных или их отрицаний называется…
К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.