Бескванторная формула сигнатуры :
(Отметьте один правильный вариант ответа.)
Варианты ответа
не приводима к системам вида P>0
приводима к системам вида P=0, P>0(Верный ответ)
не приводима к системам вида P=0