165
правок
Изменения
USAT
,Новая страница: «'''USAT''' (Unique SAT) это множество формул <tex>\phi(x_1 \ldots x_n)</tex>, имеющих ровно один удовлетворяющий (в…»
'''USAT''' (Unique SAT) это множество формул <tex>\phi(x_1 \ldots x_n)</tex>, имеющих ровно один удовлетворяющий (выполняющий) набор <tex>x_1 \ldots x_n</tex>.
