Алгоритмы и теория вычислений

Аббревиатура КНФ в контексте логических исчислений - это

(Отметьте один правильный вариант ответа.)

Варианты ответа

конъюнктивной нормальная форма(Верный ответ)

конечная нормальная форма

конечная неполная форма

Похожие вопросы

Аббревиатура ДНФ в контексте логических исчислений - это

В контексте формальной грамматики слова алфавита называются:

В выводе в контексте формальной системы каждое слово - это либо

Может ли быть выводимым один и тот же язык в контексте формальной грамматики разными грамматиками?