Языки и исчисления

Верно утверждение для произвольных литералов, конъюнктов и дизъюнктов:

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

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

дизъюнктивная нормальная форма - конъюнкция дизъюнктов

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

дизъюнктивная нормальная форма - дизъюнкция литералов

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

Верно утверждение для произвольных литералов, конъюнктов и дизъюнктов:

Верно утверждение:

Вопрос о выводимости произвольных формул языка первого порядка:

Для произвольных формул А, В:

Верно утверждение для любой булевой функции

от

аргументов:

Верно правило для некоторых конечных множеств формул А, В, С, Д: