В логике элементарная дизъюнкция — это логическая операция, представляющая собой сумму (логическое сложение) нескольких элементарных дизъюнкций. Однако, исходя из контекста вопроса, где речь идет о вхождении каждой переменной не менее одного раза, включая отрицание, скорее всего, имеется в виду понятие формулы или выражения в логике высказываний.
Учитывая, что задан тип ответа «Текстовый ответ» и подразумевается вставка одного слова, наиболее подходящим термином, описывающим структуру, где каждая переменная присутствует (возможно, с отрицанием) и является частью дизъюнкции, является формула.
Формула — это выражение, построенное по определённым правилам из символов языка.
Поэтому, если бы это было задание с выбором ответа или нужно было вписать одно слово, наиболее вероятным ответом будет «формула».
Ответ: формула