Talk:True quantified Boolean formula
Appearance
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)
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)