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

2010-12-17T00:47:01Z

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

Новая страница

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

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

Пример:
<m>\forall x\ \exists y\ \exists z\ ((x \lor z) \land y)</m>

QSAT - История изменений

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