True quantified boolean formula

From Free net encyclopedia