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)