QSAT

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

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

QSAT — это обобщение SAT, когда можно использовать кванторы существования и всеобщности к каждой переменной.

Если кванторы у всех переменных, то свободных переменных нет, и можно спрашивать — истинна ли формула или нет?

Пример:

[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.