QSAT
Материал из DISCOPAL
Версия от 00:47, 17 декабря 2010; StasFomin (обсуждение | вклад) (Новая страница: «QSAT — это обобщение SAT, когда можно использовать кванторы существования и всеобщности ...»)
QSAT — это обобщение SAT, когда можно использовать кванторы существования и всеобщности к каждой переменной.
Если кванторы у всех переменных, то свободных переменных нет, и можно спрашивать — истинна ли формула или нет?
Пример:
[ Хронологический вид ]Комментарии
Войдите, чтобы комментировать.