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