Основы программирования на языке Пролог

Формула в конъюнктивной нормальной форме состоит из:

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

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

дизъюнкции конечного числа конъюнктов

конъюнкции конечного числа дизъюнктов(Верный ответ)

конъюнкции конечного числа литералов

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

Формула в сколемовской нормальной форме не содержит:

Формула представлена в предваренной нормальной форме, если вынесены в ее начало все:

Вопрос состоит:

Правило состоит:

Факт состоит:

Правило - это предложение, которое состоит

Вопрос - это предложение, которое состоит

Факт - это предложение, которое состоит

Крона дерева tr(3,tr(1,empty,tr(2,empty,empty)),tr(5,empty,empty)) состоит из вершин: