Jump to content

Talk:True quantified Boolean formula

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by 129.240.71.6 (talk) at 16:40, 28 March 2011. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

The example given at the beginning is somewhat unsuitable because the boolean part is already valid, and therfore true for any combination of Quantifiers 134.2.102.191 (talk) 14:29, 6 April 2009 (UTC)[reply]

and

It would be nice to have a comparison with and ( and , respectively) too. 129.240.71.6 (talk) 16:40, 28 March 2011 (UTC)[reply]