Просмотр исходного текста страницы QSAT

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

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

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