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